Well-Formedness

This group of rules checks whether or not an element, relationship, feature or diagram is well-formed. The rules includes checks such as whether the item is a valid UML item and whether a diagram contains valid elements within it.

Reported violations:

Violation ID

Description

Information

MVR010001

«Element» is not a valid UML Element

The element is not a recognized UML 2.3 element

MVR050001

«Relationship» is not a valid UML Relationship

The relationship is not a recognized UML 2.3 relationship

MVR050002

«Relationship» is not legal for «Start Element» --> «End Element»

The relationship between the given start and end elements is not valid for those elements

MVR050003

«Parent Element»:isLeaf=true and cannot be generalized by «Child Element»

The Generalization relationship cannot exist between parent and child elements because the parent element is defined as a leaf element

MVR050004

«Child Element»:isRoot=true and cannot generalize «Parent Element»

The Generalization relationship cannot exist between parent and child elements because the child element is defined as a root element

MVR050005

«Element» cannot generalize self

The element cannot be self-generalized

MVR0B0001

Statechart violation: «extended information»

The State diagram contains a UML violation; see the extended information for more information about the detected violation