（）可以用于帮助设计人员在UML模型为模型定义约束信息，创建更为精确的设计模型