1.前言
操作契约使用前置和后置条件,描述领域模型里对象的详细变化,作为系统操作的结果。
操作契约可以作为有用的OOA相关的制品。
操作契约可以视为UP用例模型的一部分,它是对用例之处的系统操作的效用提供更详细的分析。
契约的主要输入是SSD中确定的系统操作、领域模型和领域专家的见解。
契约也可以作为对象设计的输入。
//TODO
时间: 2024-10-24 11:58:19
操作契约使用前置和后置条件,描述领域模型里对象的详细变化,作为系统操作的结果。
操作契约可以作为有用的OOA相关的制品。
操作契约可以视为UP用例模型的一部分,它是对用例之处的系统操作的效用提供更详细的分析。
契约的主要输入是SSD中确定的系统操作、领域模型和领域专家的见解。
契约也可以作为对象设计的输入。
//TODO