Well-Formedness (Element, Relationship, Feature, Diagram) [EA User Guide]

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 include:

Violation ID	Description	Information
MVR010001	<<Element>> is not a valid UML Element	The element is not a recognized UML 2.0 element.
MVR050001	<<Relationship>> is not a valid UML Relationship	The relationship is not a recognized UML 2.0 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.