预订演示
前页 后页

规则参考

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

规则组

团体

描述

也见

结构良好

验证器应用这些规则来检查元素、关系、特征或图表是否格式正确；例如， object是否是有效的UML项，或者图表中是否包含有效的元素。

如错误信息格式中所述，这些规则生成带有代码的消息：

  • MVR01...（元素：选中了 Well Formedness 复选框）
  • MVR05...（关系：选中了 Well Formedness 复选框）
  • MVR08 ...（特征：选中了良好的形成性复选框）
  • 图表...（Figure: Well Formedness checkbox selected）
 格式良好

元素组合

验证器应用这些规则来检查UML元素是否包含有效的子元素，它是否包含正确数量的有效子元素，以及该元素是否缺少任何必需的子元素。

这些规则使用以下代码生成消息：

  • MVR02...（元素：组合复选框已选中）
 元素组合

属性有效性

验证器应用这些规则来检查元素、关系或特征是否定义了正确的UML属性，以及是否属性不正确或冲突的值。

这些规则生成带有代码的消息：

  • MVR03...（元素：属性Validity checkbox选中）
  • MVR06...（关系：属性Validity checkbox selected）
  • MVR09...（特征：选中属性有效性复选框）
 属性有效性

自定义属性

验证器应用这些规则来检查元素关系或特征是否符合 OCL 中定义的任何约束。

这些规则生成带有代码的消息：

  • MVR04...（元素：OCL 一致性复选框已选中）
  • MVR07...（关系：选中 OCL 一致性复选框）
  • MVR0A...（特征：选择了 OCL 一致性复选框）
 OCL 一致性

错误信息格式

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

MVRxxnnnn

  • MVR代表模型验证规则
  • xx 是一个十六进制数，对应于“模型验证配置”对话框中验证规则的位置，从而指示应用和违反了哪个规则
  • nnnn 是违规消息的编号
例如：
  • 带有 ID MVR01nnnn 的消息表明“元素：格式良好”复选框已选中，并且已检测到违反该规则
  • 带有 ID MVR0Annnn 的消息表明“特征：OCL 一致性”复选框（对话框中的第 10 位，或十六进制的 Ath）被选中，并且已检测到违反该规则
前页 后页