预订演示
前页 后页

验证模型

Model validation banner

您使用模型验证来对照已知的UML规则检查UML模型。可以通过启用和禁用某些规则和规则类别来定制要验证的规则集。您可以针对单个UML元素、图表或整个包运行模型验证。您可以使用插件

添加到系统提供的验证规则插件

或包含自己的规则的MDG 技术(例如 BPMN)。基于模型的插件是创建新的和特定的规则集的有效工具,这些规则集实施与单个项目、客户端或域特别相关的自定义规则。

访问

功能区

设计>包>管理>验证>验证当前包

验证概念

概念

细节

也见

验证对象

验证UML :

  • 元素验证元素及其子元素、它的特征(属性和操作)和它的关系(连接器)
  • 图表验证图表本身(为了正确性)以及图表中的任何元素和连接器
  • 包验证包和其中的所有子包、元素、连接器和图表

示例-模型违规

这个UML图包含几个基本违反UML规则的行为:

An example UML diagram for demonstrating model validation functionality in Sparx Systems Enterprise Architect.

如果您在此图表上运行模型验证,则会在系统输出窗口中识别出这些违规行为:

  • UML ExpansionRegion (ExpansionRegion1) 缺少其A输入 ExpansionNode
  • Class2 上存在无效的自概括( UML元素不能自概括)
  • 匿名关联存在 OCL 违规(在 Class2 和 Object1 之间)
  • A UML ExceptionHandler (ExceptionHandler1) 缺少它的子输入物件节点

了解更多