Trabajo MDSII OCL

INVARIANTES

Una expresión OCL puede ser parte de una Invariante, que es una Restricción estereotipada
con «invariante». Cuando una Invariante está asociada a un Clasificador, la expresión es una
invariante del tipo, y debe ser verdadera para todas las instancias de ese tipo, en todo momento.
Si el contexto es Compañía, entonces instancia se refiere a una instancia de Compañía. En laexpresión

instancia.númeroDeEmpleados

instancia es una instancia de Compañía. Podemos ver a instancia como el objeto desde el cual
comenzamos la expresión.
En este documento, el tipo de la instancia que da contexto a la expresión OCL parte de una
Invariante, es escrita con el nombre subrayado como sigue:

Compañía
instancia.númeroDeEmpleados

Muchos veces instancia puede omitirse, porque elcontexto es claro, como en el ejemplo de
arriba.
Como alternativa a instancia, puede definirse otro nombre para que haga el papel de instancia:

c : Compañía

c.númeroDeEmpleados

Este ejemplo es idéntico al previo que usaba instancia.

PRE Y POST-CONDICIONES

Las expresiones OCL pueden ser parte de pre-condiciones o post-condiciones, que son
Restricciones estereotipadas con «pre-condición» y«post-condición» respectivamente. Las precondiciones o post-condiciones se aplican tanto a Métodos como a Operaciones. En este caso la instancia que da contexto es del tipo al que pertenece la operación. La notación usada en este documento es subrayar el tipo y la declaración de la operación, y poner la frase ‘pre:’ y ‘post:’ antes de las pre-condiciones y post-condiciones.nombreDeTipo::nombreDeOperación(parametro1 : Tipo1, ... ): TipoDevolución

pre : parametero1 > …

post: resultado = ...

El nombre instancia puede ser usado en la expresión para referirse al objeto en el cual la
operación fue llamada, y el nombre resultado se usa para nombrar al objeto resultante, si es que lo hay. Los nombres de los parámetros (parámetro1, ) pueden ser combinados en la expresión OCL. En el diagrama deejemplo podemos escribir:

Persona::ingreso(f : Fecha) : Entero

post: resultado = ...alguna función de instancia y f ...

VALORES Y TIPOS BASICOS

Existen una serie de tipos básicos predefinidos en OCL que están disponibles en todo momento
para ser usados por el modelador. Estos tipos de valores predefinidos son parte de la definición del OCL, e independientes de cualquier modelo de objetos.El valor más básico en OCL es un valor de uno de los tipos básicos. Algunos de los tipos básicos
usados en los ejemplos de este documento, con sus correspondientes ejemplos, son :



El OCL define ciertas operaciones sobre los tipos predefinidos. La tabla siguiente brinda algunos ejemplos. En la sección 7 se ofrece la lista completa de operaciones.



Al final del documento está la listacompleta de operaciones de cada tipo. Colección, Conjunto,
Bolsa y Secuencia también son tipos básicos. Serán descriptos en las próximas secciones.

TIPOS ENUMERACIÓN

Como muestra el diagrama ejemplo, nuevos tipos enumeración pueden ser definidos usando:
Los valores de la enumeración (valor1, ...) pueden ser usados dentro de las expresiones.
Como puede darse un conflicto de nombres entre atributos yvalores de una enumeración,
sintácticamente el uso de un valor de una enumeración es expresado agregando el símbolo #
delante:

enum{ valor1, valor2, valor3 }

#valor1

El tipo de un atributo definido mediante una enumeración es Enumeración, con restricciones en los valores que puede tomar el atributo.

OBJETOS Y PROPIEDADES

Las expresiones OCL pueden referirse a tipos, clases, interfaces,asociaciones (actuando
como tipos) y tipos de datos. También todos los atributos, extremos de asociación, métodos y
operaciones que no tengan efectos colaterales y estén definidos en esos tipos pueden ser usados.
En un modelo de clases, una operación o método no tiene efectos colaterales si el atributo
esConsulta de la operación es verdadero. Dentro de este documento, vamos a referirnos a los...