模型验证

Model validation banner

您可以使用模型验证来对照已知的UML规则（在配置验证时识别）以及使用对象约束语言（OCL）在模型内定义的任何约束来检查UML模型。您可以对单个UML元素，图或整个Package运行模型验证。

您可以使用包含其自身规则的Add-In或MDG技术（例如BPMN）将其添加到系统提供的验证规则中。

访问

色带	设计>模型>管理>验证>验证当前包

概念	详情	也可以看看
验证对象	验证UML ： Element验证元素及其子元素，其特征（属性和操作）及其关系（连接器）图表验证图表本身（为了正确性）以及图中的任何元素和连接器包验证包及其中的所有子包，元素，连接器和图表
示例-违反模型	此UML图包含一些基本的违反UML规则的行为：如果在此图上运行模型验证，则会在“系统输出”窗口中标识这些违规： UML ExpansionRegion（ExpansionRegion1）缺少其子输入ExpansionNode 在Class2上存在无效的自概括（ UML元素无法自概括）匿名关联存在OCL冲突（在Class2和Object1之间） UML ExceptionHandler（ExceptionHandler1）缺少其子输入ObjectNode

概念

详情

也可以看看

验证对象

验证UML ：

示例-违反模型

此UML图包含一些基本的违反UML规则的行为：

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

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