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
|