验证 UML 模型中的 OCL 约束

在 UML 模型中,可以验证使用“对象约束语言”(OCL)定义的约束的语法是否正确。也可以使用自然语言(例如,英语)、编程语言或数学表示法来表达约束的主体。有关 OCL 的更多信息,请阅读对象管理组(OMG)Web 站点上提供的“统一建模语言”(UML)规范。

如果对约束应用了 «metaConstraint» 构造型或者约束是在概要文件中定义的,那么会验证该约束的语法和表达式是否正确。如果没有对约束应用 «metaConstraint» 构造型并且它也不是在概要文件中定义的,那么将只验证该约束的语法是否正确。

要验证一个 OCL 约束,在项目资源管理器视图中,右键单击该约束,然后单击运行验证
验证结果显示在控制台视图中。
相关概念
UML 约束

反馈