Well-Formedness

Well-formedness rules are applied to check whether or not an element, relationship, feature or diagram is well-formed. For example, whether the target item is a valid UML item, or whether a diagram contains valid elements within it.

Reported violations

Violation ID

Description

Error

MVR010001

«Element» is not a valid UML Element

The element is not a recognized UML 2.4.1 element.

 

MVR050001

«Relationship» is not a valid UML Relationship

The relationship is not a recognized UML 2.4.1 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; «extended information» provides more details on the specific violation.

 

Learn more