前页 后页

规则参考

模型验证通过将一组验证规则应用于所选对象来工作。这些规则按组排列。

规则组

描述

也可以看看

格式良好

验证器应用这些规则来检查元素,关系,特征或图是否格式正确;例如,对象是否为有效的UML项,或者图中是否包含有效的元素。

错误消息格式中所述 ,这些规则生成带有以下代码的消息:

  • MVR01 ...(元素:格式正确性复选框已选中)
  • MVR05 ...(关系:格式正确复选框已选中)
  • MVR08 ...(功能:选中格式正确复选框)
  • MVR0B ...(图:格式正确复选框已选中)
格式良好

元素组成

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

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

  • MVR02 ...(元素:组成复选框已选中)
元素组成

财产有效性

验证器将应用这些规则来检查元素,关系或要素是否定义了正确的UML属性,以及这些属性是否包含不正确或冲突的值。

这些规则生成带有以下代码的消息:

  • MVR03 ...(元素:选中“属性有效性”复选框)
  • MVR06 ...(关系:选中“属性有效性”复选框)
  • MVR09 ...(功能:选中属性有效性复选框)
财产有效性

自定义属性

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

这些规则生成带有以下代码的消息:

  • MVR04 ...(元素:选中“ OCL符合性”复选框)
  • MVR07 ...(关系:选中“ OCL一致性”复选框)
  • MVR0A ...(功能:已选中“ OCL一致性”复选框)
OCL符合性

错误讯息格式

执行验证时,所有违反规则的行为都会列在“系统输出”窗口中。每个违规都有一个格式的违规ID:

MVRxxnnnn

  • MVR代表模型验证规则
  • xx是与“模型验证配置”对话框中验证规则的位置相对应的十六进制数字,从而指示应用和违反了哪个规则
  • nnnn是违反消息的编号
例如:
  • 标识为MVR01nnnn的消息表明已选中“元素:格式正确”复选框,并且已检测到违反该规则的情况
  • 标识为MVR0Annnn的消息表明已选中“功能:OCL符合性”复选框(对话框中顺序为10,或十六进制为Ath),并且已检测到违反该规则的情况