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