1、例子
发现：
1）、操作契约也是用例模型的一部分。
2）、SSD+用例文本+领域模型----》操作契约
2、定义
1）、契约有哪些部分？
操作：操作的名称和参数（就是SSD中的系统操作）
交叉引用：发送此操作的用例
前置条件：执行操作前，对系统或领域模型对象状态的重要假设。比如：终态的订单不能修改。
后置条件：最重要的部分。完成操作后，领域模型对象的状态。后续会详细讨论。
2）、什么是系统操作？
就是SSD中的操作名称（相当于类中的方法），由此定义操作契约。
3）、后置条件
- 定义：描述了领域模型内对象状态的变化。该状态变化包含：
A、创建或删除实例
B、属性值的变化
C、形成或消除关联（领域模型中的关联）
- 后置条件如何与领域模型相关？
可以创建什么实例？（来自领域模型）
可以形成什么关联？（来自领域模型）
属性值如何变化？（来自领域模型）
- 如何编写后置条件？
A、采用过去时态。
较好：创建了XXX
较差：创建XXX或XXX被创建
B、后置条件不必尽善尽美，只做轻量分析即可
由此可知，后置条件是操作契约的重点，其来自领域模型。