前页 后页

模型验证

Model validation banner

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

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

访问

色带

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

验证概念

概念

详情

也可以看看

验证对象

验证UML :

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

示例-违反模型

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

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

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

  • UML ExpansionRegion(ExpansionRegion1)缺少其子输入ExpansionNode
  • 在Class2上存在无效的自概括( UML元素无法自概括)
  • 匿名关联存在OCL冲突(在Class2和Object1之间)
  • UML ExceptionHandler(ExceptionHandler1)缺少其子输入ObjectNode

学到更多