1、例子
发现：
1）、操作契约也是用例模型的一部分。 2）、SSD+用例文本+领域模型----》操作契约
2、定义
1）、契约有哪些部分？
操作：操作的名称和参数（就是SSD中的系统操作） 交叉引用：发送此操作的用例 前置条件：执行操作前，对系统或领域模型对象状态的重要假设。比如：终态的订单不能修改。 后置条件：最重要的部分。完成操作后，领域模型对象的状态。后续会详细讨论。
2）、什么是系统操作？
就是SSD中的操作名称（相当于类中的方法），由此定义操作契约。
3）、后置条件
- 定义：描述了领域模型内对象状态的变化。该状态变化包含：
A、创建或删除实例 B、属性值的变化 C、形成或消除关联（领域模型中的关联）
- 后置条件如何与领域模型相关？
可以创建什么实例？（来自领域模型） 可以形成什么关联？（来自领域模型） 属性值如何变化？（来自领域模型）
- 如何编写后置条件？
A、采用过去时态。
较好：创建了XXX
较差：创建XXX或XXX被创建
B、后置条件不必尽善尽美，只做轻量分析即可
由此可知，后置条件是操作契约的重点，其来自领域模型。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 [email protected] 举报，一经查实，本站将立刻删除。
