本文为《UML和模式应用(原书第3版)》读书笔记
操作契约使用前置和后置条件的形式，描述领域模型里对象的详细变化，并作为系统操作的结果。
契约的组成部分
系统操作
系统操作时作为黑盒构件的系统在其公共接口中提供的操作。SSD展示了系统事件，即涉及系统的时间或I/O消息，输入的系统事件意味着系统具有用来处理该事件的系统操作。
后置条件
描述了领域模型内对象状态的变化，领域模型状态变化（后置条件类型）包括创建实例，形成或消除关联以及改变属性。后置条件时对领域模型对象的观察结果，当操作完成后，便会出现这样的结果。用过去时态表达后置条件，例如创建了XXX，而不是XXX被创建。
