操作契约使用前置和后置条件，描述领域模型里对象的详细变化，作为系统操作的结果。
操作契约可以作为有用的OOA相关的制品。
操作契约可以视为UP用例模型的一部分，它是对用例之处的系统操作的效用提供更详细的分析。
契约的主要输入是SSD中确定的系统操作、领域模型和领域专家的见解。
契约也可以作为对象设计的输入。
//TODO
UML和模式应用5：细化阶段（6）---操作契约
原文：http://www.cnblogs.com/smartjourneys/p/7096740.html
