预订演示
前页 后页

规则参考

模型验证通过对选定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)被选中,并且已检测到违反该规则