1、用例模型 -用操作合约添加细节徐迎晓复旦大学软件学院用例模型 -用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结什么是系统操作 UML中，整个系统可以表示成一个类 系统行为描述系统做什么，而不解释其如何做 -黑箱 系统操作处理系统事件 系统操作是处理输入的系统事件的公共接口 下 图 把系统看作单个构件或类，所有用例得到的整个系统操作集合定义了系统的公共接口。用例模型 -用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结什么是操作合约 合约是描述系统行为的有用文档 系统操
2、作合约描述执行系统操作时整个系统的状态改变 合约是描述系统操作答应完成的事情l 声明风格，面向状态改变，而非动作l 重点在于 WHAT will happen，而不是 howl UML通过定义前置条件和后置条件定义系统合约l 针对单个操作，或更广泛的系统操作 用例 Process Sale的操作合约用例模型 -用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结为什么要创建系统合约 用例是 UP中描述系统行为的主要机制，但有时需要更详细的描述 系统顺序图显示了外部参与者生成的系统事件 但缺乏理解系统行为所需要的细节，即系统如何响应 操作合约有助于定义系统行为
