复旦大学：《面向对象分析和设计》课程资料_UML&GRASP_3.3 Iteration 1 用例模型——操作合约添加细节

用例模型一用操作合约添加细 方 徐迎晓 xuyingxiao@126.com 复旦大学软件学院

用例模型--用操作合约添加细 节 徐迎晓 xuyingxiao@126.com 复旦大学软件学院

用例模型一用操作合约添加细芹 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 ●如何创建系统操作合约 ●好处 ●总结

用例模型--用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结

付么是系统操作 ●UML中,整个系统可以表示成一个类 系统行为描述系统做什么,而不解释其 如何做-黑箱 ●系统操作处理系统事件 ●系统操作是处理输入的系统事件的公共 接口一下图

什么是系统操作 UML中，整个系统可以表示成一个类 系统行为描述系统做什么，而不解释其 如何做--黑箱 系统操作处理系统事件 系统操作是处理输入的系统事件的公共 接口—下图

System knEw Sale enterltem(itemID, quantity 系统事件一执行系统操 类似于 description total 消息--执行方法 *Imore items andsales System total with taxes makeNewsale0 addLineltem(itemID, quantity akePayment(amount andsales make( change due, receipt

●把系统看作单个构件或类,所有用例得 到的整个系统操作集合定义了系统的公 共接口

把系统看作单个构件或类，所有用例得 到的整个系统操作集合定义了系统的公 共接口

用例模型一用操作合约添加细芹 什么是系统操作 什么是系统操作合 为何要创建系统操作合约 ●如何创建系统操作合约 ●好处 ●总结

用例模型--用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结

什么是操作合约 合约是描述系统行为的有用文档 ●系统操作合约描述执行系统操作时整个系统的 状态改变 合约是描述系统操作答应完成的事情 ●声明风格,面向状态改变,而非动作 重点在于 WHAT Will happen,而不是hoW ●UML通过定义前置条件和后置条件定义系统合约 ●针对单个操作,或更广泛的系统操作

什么是操作合约 合约是描述系统行为的有用文档 系统操作合约描述执行系统操作时整个系统的 状态改变 合约是描述系统操作答应完成的事情 ⚫ 声明风格，面向状态改变，而非动作 ⚫ 重点在于WHAT will happen，而不是how ⚫ UML通过定义前置条件和后置条件定义系统合约 ⚫ 针对单个操作，或更广泛的系统操作

●用例 Process Sale的 操作合约 Operation: make New Sale( Cross References: Use Cases: Process Sale Preconditions: none Postconditions: sale实例s被创建(创建实例) s被关联到 Register(形成关联 s的属性被初始化

用例Process Sale的 操作合约

用例模型一用操作合约添加细芹 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 ●如何创建系统操作合约 ●好处 ●总结

用例模型--用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结

为什么要创建系统合约 ●用例是UP中描述系统行为的主要机制,但有 时需要更详细的描述 系统顺序图显示了外部参与者生成的系统事件 ●但缺乏理解系统行为所需要的细节,即系统如 何响应 ●操作合约有助于定义系统行为

为什么要创建系统合约 用例是UP中描述系统行为的主要机制，但有 时需要更详细的描述 系统顺序图显示了外部参与者生成的系统事件 但缺乏理解系统行为所需要的细节，即系统如 何响应 操作合约有助于定义系统行为