用例模型一用操作合约添加细芹 什么是系统操作 什么是系统操作合 为何要创建系统操作合约 ●如何创建系统操作合约 ●好处 ●总结
用例模型--用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结
什么是操作合约 合约是描述系统行为的有用文档 ●系统操作合约描述执行系统操作时整个系统的 状态改变 合约是描述系统操作答应完成的事情 ●声明风格,面向状态改变,而非动作 重点在于 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的 操作合约
用例模型一用操作合约添加细芹 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 ●如何创建系统操作合约 ●好处 ●总结
用例模型--用操作合约添加细节 什么是系统操作 什么是系统操作合约 为何要创建系统操作合约 如何创建系统操作合约 好处 总结