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.