操作契约 口系统操作可以进一步通过操作契约来说明 口操作契约包括前置条件和后置条件。 口前置条件表述了操作前系统应该处于的状态 口后置条件 ■表述了操作后,领域模型内对象状态的变化。领域模 型状态的变化包括创建实例,形成或消除关联以及改 变属性。 后置条件不是在操作过程中执行的活动,它们是对领 域模型对象的观察结果。操作契约  系统操作可以进一步通过操作契约来说明。  操作契约包括前置条件和后置条件。  前置条件表述了操作前系统应该处于的状态  后置条件 ◼ 表述了操作后，领域模型内对象状态的变化。领域模 型状态的变化包括创建实例，形成或消除关联以及改 变属性。 ◼ 后置条件不是在操作过程中执行的活动，它们是对领 域模型对象的观察结果