前页 | 后页 |
规则参考
模型验证通过将一组验证规则应用于所选对象来工作。这些规则按组排列。
规则组
组 |
描述 |
也可以看看 |
---|---|---|
格式良好 |
验证器应用这些规则来检查元素,关系,特征或图是否格式正确;例如,对象是否为有效的UML项,或者图中是否包含有效的元素。 如错误消息格式中所述 ,这些规则生成带有以下代码的消息:
|
格式良好 |
元素组成 |
验证器应用这些规则来检查UML元素是否包含有效的子代,它是否包含正确数量的有效子代以及该元素是否缺少任何必需的子代。 这些规则使用以下代码生成消息:
|
元素组成 |
财产有效性 |
验证器将应用这些规则来检查元素,关系或要素是否定义了正确的UML属性,以及这些属性是否包含不正确或冲突的值。 这些规则生成带有以下代码的消息:
|
财产有效性 |
自定义属性 |
验证器将应用这些规则来检查元素,关系或特征是否符合OCL中任何已定义的约束。 这些规则生成带有以下代码的消息:
|
OCL符合性 |
错误讯息格式
执行验证时,所有违反规则的行为都会列在“系统输出”窗口中。每个违规都有一个格式的违规ID:
MVRxxnnnn
- MVR代表模型验证规则
- xx是与“模型验证配置”对话框中验证规则的位置相对应的十六进制数字,从而指示应用和违反了哪个规则
- nnnn是违反消息的编号
- 标识为MVR01nnnn的消息表明已选中“元素:格式正确”复选框,并且已检测到违反该规则的情况
- 标识为MVR0Annnn的消息表明已选中“功能:OCL符合性”复选框(对话框中顺序为10,或十六进制为Ath),并且已检测到违反该规则的情况