4.后置条件：该部分最为重要。用来记录执行完该操作后，系统或者对象模型 中的对象将会发生的变化。 后置条件并非用以说明执行该操作中要完成的任务，而是记录了该操作执行 完毕后，系统中发生的各种变化。这种变化可以分为三种类型： ●引起了对象的创建或者删除： ●引起了某些对象内部属性值得改变： 。在某些对象之间形成了关联关系或者原有的关联关系消除了。 以申请使用教室用例为例，该用例中的一个系统操作为提交申请 (submitApplication),契约描述如下： 契约C0l:submitApplication ●操作：submitApplication(applier:Applier,applyDate:Date,applyTime:Time, applyPurpose:String,numberOfUsers:integer,classroomID:ClassroomID) ●交叉引用：申请使用教室 ●前置条件：正在进行的教室使用申请 ● 后置条件： >创建了ClassroomApplication的实例ca >基于applier.applierID的匹配，将ca与Teacher或Student 关联 >ca.applyDate赋值为applyDate >ca.applyTime赋值为applyTime >ca.applyPurpose赋值为applyPurpose ca.number0fUsers赋值为numberOfUsers >基于classroomID的匹配，将Classroom关联到ca 定义操作契约带来的好处就是为我们构造交互图给以了明确指导。4. 后置条件：该部分最为重要。用来记录执行完该操作后，系统或者对象模型 中的对象将会发生的变化。 后置条件并非用以说明执行该操作中要完成的任务，而是记录了该操作执行 完毕后，系统中发生的各种变化。这种变化可以分为三种类型：  引起了对象的创建或者删除；  引起了某些对象内部属性值得改变；  在某些对象之间形成了关联关系或者原有的关联关系消除了。 以 申 请 使 用 教 室 用 例 为 例 ， 该 用 例 中 的一 个 系 统 操 作 为 提 交 申 请 （submitApplication），契约描述如下： 契约 CO1：submitApplication  操 作 ： submitApplication(applier:Applier, applyDate:Date, applyTime:Time, applyPurpose:String, numberOfUsers:integer, classroomID:ClassroomID)  交叉引用：申请使用教室  前置条件：正在进行的教室使用申请  后置条件：  创建了 ClassroomApplication 的实例 ca  基于 applier.applierID 的匹配，将 ca 与 Teacher 或 Student 关联  ca.applyDate 赋值为 applyDate  ca.applyTime 赋值为 applyTime  ca.applyPurpose 赋值为 applyPurpose  ca.numberOfUsers 赋值为 numberOfUsers  基于 classroomID 的匹配，将 Classroom 关联到 ca 定义操作契约带来的好处就是为我们构造交互图给以了明确指导