UML-如何画操作契约？

1、在编写契约过程中，发现之前的领域模型不对，此时是否需要修改？

需要修改。包括：概念类、属性、关联。这就是不断迭代和进化

2、用例中复杂场景里的状态变化细节，描述过多导致用例臃肿，让人看不下去，因此，这部分最好在操作契约中提现。

3、来源：

4、使用过去式

较好：创建了XXX
较差：创建XXX或XXX被创建

5、不要漏掉关联

6、例子