Conformidad OCL [Guía de Usuario de Enterprise Architect]

Top Previous Next

Conformidad OCL

button_main button_prev button_next

Las reglas de Conformidad OCL son aplicadas para validar un elemento, relación o atributo contra cuales quiera restricciones definidas en el Lenguaje de Restricción de Objeto (OCL). OCL es utilizado para describir expresiones en modelos UML, y para expresar restricciones libres de efectos secundarios. Puede agregar restricciones OCL a cualquier elemento, relación o atributo en Enterprise Architect.

Violaciones Reportadas

Error de ID

Descripción

Información

MVR040001

Violación OCL: «violated OCL»

El elemento viola la restricción OCL especificada.

 

MVR070001

Violación OCL: «violated OCL»

La relación viola la restricción OCL especificada.

 

MVR0A0001

Violación OCL: «violated OCL»

El atributo viola la restricción OCL especificada.

 

Definir Restricciones de OCL

Puede agregar una restricción OCL a un objeto modelo al configurar OCL como el tipo de Restricción en la ventana de Propiedades del objeto.

Para

Detalle

Ver También

Un Elemento

Seleccione Elemento | Propiedades > Restricciones; en el campo Tipo haga clic en la flecha de despliegue y seleccione OCL.

Para realizar una Validación OCL:

1.

Seleccione la casilla Proyecto | Validación Modelo | Configurar y seleccione el Elemento: Conformidad (OCL)

2.

Haga clic en el elemento y seleccione Proyecto | Validación Modelo | Validar Seleccionado

 

Cualquier violación OCL es registrada en la pestaña de Validación de Modelo en la ventana de Salida del Sistema.

 

 

 

 

Configuración de Validación de Modelo

Validación de Modelo

Una Relación

En un diagrama, haga clic derecho en el conector y seleccione la opción del menú contextual Propiedades <tipo>; seleccione la página de Restricciones, y en el campo Tipo haga clic en la flecha de despliegue y seleccione OCL.

Para realizar una Validación OCL:

1.

Seleccione la casilla Proyecto | Validación Modelo | Configurar y seleccione la Relación: Conformidad (OCL)

2.

Haga clic en el conector y seleccione Proyecto | Validación Modelo | Validar Seleccionado

 

Cualquier violación OCL es registrada en la pestaña de Validación de Modelo en la ventana de Salida del Sistema.

 

 

Un Atributo

Seleccione Elemento | Atributos > Restricciones; en el campo Tipo haga clic en la flecha de despliegue y seleccione OCL.

Para realizar una Validación OCL:

1.

Seleccione la casilla Proyecto | Validación Modelo | Configurar y seleccione la Característica: Conformidad (OCL)

2.

Haga clic en el elemento y seleccione Proyecto | Validación Modelo | Validar Seleccionado

 

Cualquier violación OCL es registrada en la pestaña de Validación de Modelo en la ventana de Salida del Sistema.

 

 

Notas

Para tener una restricción OCL válida, la sintaxis debe ser formada correctamente; si la expresión no es correcta, se muestra un mensaje indicando que la restricción OCL no es válida

 

Aprender más

Referencia de Reglas