验证模型

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

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

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

访问

功能区	设计>包>管理>验证>验证当前包

Concept	Detail	See also
验证对象	验证UML ：元素验证元素及其子元素、它的特征（属性和操作）和它的关系（连接器）图表验证图表本身（为了正确性）以及图表中的任何元素和连接器包验证包和其中的所有子包、元素、连接器和图表
示例-模型违规	这个UML图包含几个基本违反UML规则的行为：如果您在此图表上运行模型验证，则会在系统输出窗口中识别出这些违规行为： UML ExpansionRegion (ExpansionRegion1) 缺少其A输入 ExpansionNode Class2 上存在无效的自概括（ UML元素不能自概括）匿名关联存在 OCL 违规（在 Class2 和 Object1 之间） A UML ExceptionHandler (ExceptionHandler1) 缺少它的子输入物件节点

Concept

Detail

See also

验证对象

验证UML ：

示例-模型违规

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

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

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