第11章 操作契约

本文为《UML和模式应用(原书第3版)》读书笔记

---

操作契约使用前置和后置条件的形式，描述领域模型里对象的详细变化，并作为系统操作的结果。

契约的组成部分

系统操作

• 系统操作时作为黑盒构件的系统在其公共接口中提供的操作。
• SSD展示了系统事件，即涉及系统的时间或I/O消息，输入的系统事件意味着系统具有用来处理该事件的系统操作。

后置条件

• 描述了领域模型内对象状态的变化，领域模型状态变化（后置条件类型）包括创建实例，形成或消除关联以及改变属性。
• 后置条件时对领域模型对象的观察结果，当操作完成后，便会出现这样的结果。
• 用过去时态表达后置条件，例如创建了XXX，而不是XXX被创建。