Bien Conformado (Elemento, Relación, Característica, Diagrama)

Este grupo de reglas es responsable de verificar si un elemento, relación, característica o diagrama está bien-conformado o no. Este grupo de reglas incluye verificaciones como por ejemplo, si un ítem es un ítem válido del UML o no y si un diagrama contiene elementos válidos dentro de este o no. Las violaciones reportadas incluyen:

Violación ID	Descripción	Información
MVR010001	<<Elemento>> no es un elemento del UML válido.	El elemento no es un elemento de UML 2.0 reconocido.
MVR050001	<<Relación>> no es una relación del UML válida.	La relación no es una relación del UML 2.0 reconocida.
MVR050002	<<Relación>> no es legal para <<Elemento Inicio>> --> <<Elemento final>>	La relación entre el inicio dado y los elementos finales no es válido para esos elementos.
MVR050003	<<Elemento Padre>>:isLeaf=true y no se puede generalizar por <<Elemento Hijo>>	La relación de generalización no puede existir entre los elementos padre e hijo ya que el elemento padre se define como un elemento hoja.
MVR050004	<<Elemento Hijo>>:isRoot=true y no puede generalizar <<Elemento Padre>>	La relación de generalización no puede existir entre los elementos padre e hijo ya que el elemento hijo se define como un elemento Raíz.
MVR050005	<<Elemento>> no se puede generalizar el mismo	El elemento no se puede autogeneralizar.
MVR0B0001	violación de DiagramaDeEstado: <<información extendida>>	El diagrama de estado contiene una violación del UML. Para más información referirse a la información extendida acerca de la violación detectada.