规则参考

验证模型通过对选定object应用一组验证规则来工作。这些规则按组排列。

规则组

团体	描述	也见
格式良好	验证器应用这些规则来检查元素、关系、特征或图表是否格式良好；例如， object是否是有效的UML项，或者图表中是否包含有效元素。如错误信息格式中所述，这些规则生成带有以下代码的消息： MVR01...（元素：已选中“良好格式”复选框） MVR05...（关系：已选中格式良好复选框） MVR08...（特征：选中良好成形复选框） MVR0B...（图表：选中“格式良好”复选框）	格式良好
元素组合	验证器应用这些规则来检查UML元素是否包含有效子元素、是否包含正确数量的有效子元素以及元素是否缺少任何必需的子元素。这些规则使用以下代码生成消息： MVR02...（元素：组合复选框已选中）	元素组合
属性有效性	验证器应用这些规则来检查元素、关系或特征是否定义了正确的UML属性，以及属性是否包含不正确或冲突的值。这些规则生成带有以下代码的消息： MVR03...（元素：选中属性有效性复选框） MVR06...（关系：选中属性有效性复选框） MVR09...（特征：选中属性有效性复选框）	属性有效性
自定义属性	验证器应用这些规则来检查元素或关系特征是否符合 OCL 中定义的约束。这些规则生成带有以下代码的消息： MVR04...（元素：选中 OCL 一致性复选框） MVR07...（关系：选中 OCL 一致性复选框） MVR0A...（特征：选中 OCL 一致性复选框）	OCL 一致性

错误信息格式

执行验证时，所有违反规则的情况都会列在系统输出窗口中。每个违规行为都有一个违规 ID，格式如下：

MVRxxnnnn

MVR代表验证模型规则
xx 是十六进制数，对应于验证模型模型配置对话框中验证规则的位置，从而指示应用和违反了哪条规则
nnnn 是违规消息的编号

例如：

ID 为 MVR01nnnn 的消息表示已选中“元素：格式良好”复选框，并且检测到违反该规则的情况
ID 为 MVR0Annnn 的消息表示“特征：OCL 一致性”复选框（对话框中的第 10 位，或十六进制中的第 A 位）被选中，并且检测到违反该规则的情况