chapter11-操作契约.ppt.pptVIP

Chapter 11 操作契约 我们在哪儿 目标 确定系统操作 为系统操作创建契约 为什么需要操作契约 用例和SSD是用来描述系统行为的主要方式，在大多数情况下足以满足需求。 有时需要对系统行为进行更为详细和精确的描述 操作契约用于描述领域模型里对象的详细变化，作为系统操作的结果。 什么是系统操作 在SSD中定义了系统事件，而一个系统事件可以通过一个系统操作来实现。 将所有用例的系统操作的完整集合封装到一个类中，这个类定义了系统对外界的公共接口。 系统操作处理输入的系统事件 系统操作契约示例 操作： enterItem(itemID: ItemID, quantity: integer) 交叉引用：处理销售用例 前置条件：有一个正在进行的销售 后置条件： 创建了SaleLineItem的实例sli（创建实例） sli与当前的Sale关联(形成关联) sli.quantity赋值为quantity(修改属性) 基于itemID的匹配，将sli关联到ProductionDescription(形成关联) 操作契约 系统操作可以进一步通过操作契约来说明。 操作契约包括前置条件和后置条件。 前置条件表述了操作前系统应该处于的状态 后置条件 表述了操作后，领域模型内对象状态的变化。领域模型状态的变化包括创建实例，形成或消除关联以及改变属性。 后置条件不是在操作过程中执行的活动，它们是对领