验证和修复 UML 模型
可以检查 UML 模型和图,以确保它们都满足由 UML 定义的约束。还可以检查是否符合您定义的或者由其他应用程序提供的约束。
验证 UML 模型和图
在构造 UML 模型或图期间,随时都可以检查它是否符合已定义的约束,以确保不存在被破坏的交叉模型引用。
查看 UML 模型验证错误和警告
验证 UML 模型或图时,错误和警告消息将显示在
问题
视图中。您可以直接浏览到
项目资源管理器
视图中的违例,这对于模型较大并且包含多个模型元素的情况是很有用的。
修复 UML 模型验证错误
可以修复在验证 UML 模型或图时所指出的错误。
验证 UML 模型中的 OCL 约束
在 UML 模型中,可以验证使用“对象约束语言”(OCL)定义的约束的语法是否正确。也可以使用自然语言(例如,英语)、编程语言或数学表示法来表达约束的主体。有关 OCL 的更多信息,请阅读对象管理组(OMG)Web 站点上提供的“统一建模语言”(UML)规范。
验证 UML 模型元素
当使用 UML 模型时,可以使用“对象约束语言”(OCL)编辑器来浏览模型元素的特征。例如,可以编写一条 OCL 语句来查询 UML 模型中的所有类所拥有的属性列表。还可以确保 OCL 语句的语法正确,而不必使用约束定义来指定 OCL 语句。
父主题:
管理 UML 模型
相关概念
UML 模型
UML 约束
反馈