验证模型

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

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

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

访问

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

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

概念

细节

也见

验证对象

验证UML ：

示例-模型违规

此UML图包含几处违反UML规则的基本行为：

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

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