契约

契约的关键因素是后置条件。

契约的组成

操作：操作的名称和参数

交叉引用：会发生的此操作的用例

前置条件：执行操作之前，对系统或者领域模型对象状态的重要假设。

后置条件：最重要的部分。完成操作后，领域模型对象的状态。

后置条件

后置条件描述了领域模型内对象状态的变化，领域模型状态变化包括：创建实例，形成或者消除关联以及改变属性。

后置条件是一种观察结果。使用过去时态来描述后置条件。

笔记

契约是针对细粒度软件类的操作，契约是双方应承担的责任和利益

每个函数都有前置条件和后置条件

操作契约多用在用例模型中，来更加详细地描述用例中用例模型的一部分

前置条件：提供了更友好的细节和精确在声明操作的产出专注于什么必须要发生，而非如何实现

类型：实例的创造与销毁，属性的改变，联系的建立和破坏

使用被动语态过去式，别忘了添加联系的形式。