Buena-Formación

Las reglas de Buena-Formación son aplicadas para revisar si un elemento, relación, característica o diagrama está o no bien-formado. Por ejemplo, si el ítem destino en un ítem UML válido, o si un diagrama contiene elementos válidos dentro de él.

ID de Violación	Descripción	Error
MVR010001	«Element» no es un Elemento UML válido	El elemento no es un elemento UML 2.4.1 reconocido.
MVR050001	«Relationship» no es una Relación UML válida	La relación no es una relación UML 2.4.1 reconocida.
MVR050002	«Relationship» no es legal para «Start Element» --> «End Element»	La relación entre los elementos de inicio y final dados no es válida para esos elementos.
MVR050003	«Parent Element»:isLeaf=true y no puede ser generalizada por «Child Element»	La relación de Generalización no puede existir entre elementos padres e hijos ya que el elemento padre es definido como un elemento hoja.
MVR050004	«Child Element»:isRoot=true y no puede generalizar «Parent Element»	La relación de Generalización no puede existir entre elementos padres e hijos ya que el elemento hijo es definido como un elemento raíz.
MVR050005	«Element» no se puede auto-generalizar.	El elemento no puede ser auto-generalizado.
MVR0B0001	Violación de Gráfica de Estado: «extended information»	El diagrama de Estado contiene una violación UML; «extended information» proporciona más detalles sobre la violación específica.
MVR0C0001	Violación de Secuencia: «extended information»	El diagrama de Secuencia contiene una violación, «extended information» proporciona más detalles sobre la violación específica. (Esta regla valida operaciones siendo llamadas por Mensajes - como se seleccionada de la caja de combo de despliegue de la ventana de Propiedades de Mensajes - y reportará una violación si la operación no pertenece a la Línea de Vida.)
MVR7F0001	«Requirement» No realizado	Un elemento de Requisito debe estar en el extremo destino de un conector de Realización, Asociación (incluyendo Agregación y Composición) o Generalización.