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