财产有效性

使用属性有效性规则来检查元素，关系或特征是否具有为其定义的正确的UML属性，以及它们是否包含不正确或冲突的值。

违规举报

错误编号	描述	也可以看看
MVR030001	«Element»：«Property»属性未定义信息：element属性不包含任何值。
MVR030002	«Element»：«Property»属性的值无效：“«Value»” 信息：element属性包含无效值。
MVR030003	«Element»：isLeaf = true，不能抽象信息：元素的isLeaf和isAbstract属性都设置为True，这是无效的。
MVR060001	«关系»：«属性»属性未定义信息：关系属性不包含任何值。
MVR060002	«关系»：«属性»属性具有无效值：“«值»” 信息：关系属性包含无效的值。
MVR090001	属性/关联结束不匹配，《属性》：《不匹配描述》，... 信息：给定的属性具有相同名称的associationEnd，但是它们在列出的详细信息上有所不同。