軟體工程之操作契約

操作契約用來定義系統行為，根據領域模型中的對象狀態變化詳細描繪系統的行為；

用例是描述系統行為的模型，但是如果用例沒有描述清楚，則在操作契約中補充。

一般一個用例有多個操作，一個操作需要一個操作契約，比如：

SSD中有幾個向右的箭頭，就需要幾個操作契約。

 

不需要每個操作都寫契約，只需要把可能狀態會改變或不清晰的操作寫清即可；

Operation Contract模板

Operation： NameCross Reference：此操作所屬用例的名字Precondition：在執行此操作前領域模型的對象的狀態Postcondition：對象狀態的變化Postcondition中可以寫：(1)執行個體的建立；(2)關聯的形成；(3)屬性的修改；