四、進行物件導向分析與設計時,會用三種不同的結構模型表示法:CRC 卡、類別圖(class diagram)、物件圖(object diagram)。請說明如何查核驗證這三種表示法是一致的?