| 编辑推荐: |
在本文中主要介绍了什么是模型验证？怎么配置模型验证，如何运行验证？以及基于EA的模型验证示例。
来自于sparx官网,由火龙果软件Anna译、推荐。 |
|
什么是模型验证？
模型验证-根据已知的UML规则（在配置验证时识别）以及使用对象约束语言（Objectconstraint
Language，OCL）在模型中定义的任何约束检查UML模型。可以对单个UML元素、图表或整个包进行模型验证。
您可以使用包含自定义的Add - in或MDG Technology(如BPMN)添加到系统提供的验证规则。
怎么配置模型验证
在执行模型验证之前，请启用或禁用模型验证器应用的规则。您可以从除Enterprise
Architect之外能安装的任何其他附加组件中定义其他规则。
如下是具体的操作步骤：
在EA菜单中选择Design > Model >
Manage > Validate > Configure Validation Rules，在“Model
Validation Configuration”对话框中，每个验证规则可以应用于执行模型验证，选定验证规则设置确定就可以应用的这些验证规则了。
如何运行验证？
配置要执行的验证并设置要应用的验证规则后，可以对从浏览器窗口或关系图中选择的对象执行验证。
在EA菜单中选择Design > Model >
Manage > Validate > Validate Current Package，这样就可以对包进行验证了。
接下来就是验证执行时，它会显示一个进度窗口，验证完成后，结果将显示“System
Output”窗口，通过双击System Output窗口中的错误行，这样就可以突出显示所指的错误元素了。
基于EA的模型验证示例
验证对象
验证uml，主要考虑有如下几点：
- 元素验证:主要验证元素及子元素、特性（属性、方法）及其关系（连接）
- 图验证：图本身的正确性以及图中的所有元素及连接关系
- 包验证：包以及所有的子包、元素、连接关系和图
示例 - 模型违规
如下 图所示， UML 图包含了一些对 UML 规则的基本违反：
如果在这个图上运行模型验证，这些违规将在系统输出窗口中被识别：
1.UML
ExpansionRegion (ExpansionRegion1)缺少它的子输入ExpansionNode
2.Class2 上存在无效的自泛化（UML 元素不能自泛化）
3.在 Class2 和 Object1 之间存在 OCL 违规
4.UML ExceptionHandler (ExceptionHandler1) 缺少其子输入
ObjectNode
|
火龙果软件提供团队协同建模环境的咨询服务，可以帮助用户搭建完整的团队建模和MBSE解决方案，详细信息请见
http://tool.uml.com.cn/ToolsEA/service.asp
希望本文对您的建模工作有帮助。更多的有关EA建模资料如下：
视频：http://tool.uml.com.cn/ToolsEA/jswd-ysm.asp?partname=sp
文章：
http://tool.uml.com.cn/ToolsEA/docea.asp?partname=wk
如果您希望了解更多信息：
本文使用的建模工具为EA，可以下载试用版http://tool.uml.com.cn/ToolsEA/download.asp
| 
