Validación del Modelo

Superior  Previo  Próximo

La Validación del Modelo se usa para validar los modelos del UML en comparación con reglas del UML conocidas., así como también cualquier limitación definida dentro del modelo, usando el Lenguaje de Limitación de Objeto (LLO). La Validación del modelo se puede ejecutar en comparación con un elemento del UML simple, un diagrama o un paquete entero, como se describe a continuación:

 

Validar un UML:

Elemento valida el elemento y los hijos del mismo, características (atributos & operaciones) y relaciones (conectores & vínculos). 
Diagrama valida el diagrama mismo (para su corrección) como así también cualquier elemento y conector dentro del diagrama.
Paquete valida el paquete y todos los subpaquetes, elementos, conectores y diagramas dentro del mismo.

 

Para usar la Validación del Modelo, proceda con los siguientes pasos:

1. Seleccionar el paquete, diagrama o elemento dentro de la Ventana del Explorador del proyecto o dentro  de un diagrama abierto.

2. Seleccionar la opción Proyecto | Validación del modelo | Validar selección, o presione [Ctrl]+[Alt]+[V].

 

Enterprise Architect realizará el proceso de validación, y mostrará los resultados en la ventana de Salida. Para abrir la ventana de Salida, seleccione la opción Ver | Salida.

 

Mientras se realiza la validación, Enterprise Architect también abre una ventana que contiene el botón Cancelar validación, la cual le permite cancelar el proceso de validación en cualquier momento.

 

modelvalidationprogressdialog

 

Alternativamente, seleccione la opción Proyecto | Validación del modelo | Cancelar validación.

 

Ejemplo de violaciones del modelo.

 

El siguiente es un diagrama del UML que contiene varias violaciones básicas.

 

modelvalidationexample

 

Si ejecuta el proceso de Validación del modelo en este diagrama, Enterprise Architect abre las siguientes violaciones en la ventana de Salida.

 

modelvalidationexampleoutput

 

Desde la lista de Salida puede ver que el diagrama:

Contiene una Región de Expansión (RegiónDeExpansión1) con un valor inválido para su propiedad de "modo" (en este caso, los valores válidos son "reiterativo, paralelo o de secuencia").  
Contiene una autogeneralización en la Clase 2 (Los Elementos del UML no se pueden autogeneralizar). 
Contiene una violación OCL para la asociación anónima (entre Clase 2 y Objeto 4).
Contiene un Gestor Excepción del UML (GestorExcepción1) que está perdiendo su NodoObjeto de ingreso de hijos.

 

Tenga en Cuenta: Haciendo doble clic en un error en la ventana de Salida, se seleccionará el elemento en el diagrama al cual el mensaje de error hace referencia.

 

Vea también

Validación del modelo
Referencia de reglas