OCL Ejemplo descriptivo



Queremos representar las siguientes restricciones:
1) La edad de cualquier cliente es siempre mayor o igual a cero.
2) En toda cuenta debe haber al menos un titular de 18 años o más.
3) Elsaldo de toda cuenta debe ser siempre mayor o igual a cero (el saldo se calcu-
la como la suma del importe de sus movimientos).
4) El titular de toda tarjeta de crédito debe tener la nóminadomiciliada en la misma
cuenta que está asociada a la tarjeta.
5) El nombre del titular que figura en toda tarjeta es la concatenación del nombre y
apellidos del titular.
6) La cantidad gastada en ciertomes con una tarjeta de crédito es menor o igual al
crédito de la tarjeta.
Restricción 1
La clase dentro de la
cual especificamos la invariante es lo que se llama su contexto. Así, la primerainvarian-
te, que afecta al atributo mEdad de la clase Cliente, se expresa en OCL como sigue:
context Cliente inv:
mEdad>=0
Restricción 2
La segunda restricción se refiere a los titulares de lascuentas; el contexto, en este
caso, es Cuenta:
context Cuenta inv:
self.mTitulares->exists(c : Cliente | c.mEdad>=18)
En este segundo caso:
• self se refiere a la instancia de Cuenta (entiéndase selfcomo el this en Java
o C++);
• self.mTitulares representa la colección (collection) de titulares de esta
Cuenta: obsérvese que mTitulares es el nombre de rol de la clase Cliente
en la asociacióndesde Cuenta a Cliente; además, esta expresión devuelve
una colección porque la multiplicidad de este lado de la asociación es *.
• La flecha se utiliza para representar una operación que se realizasobre una
colección.
• A exists le estamos pasando como parámetro una OclExpression con la que
decimos que, en la colección de titulares de esta cuenta, existe un cliente
cuya edad es mayor o igualque 18 años.
Restricción 3
La tercera restricción se especifica navegando hacia la relacion Moviento, y utili-
zando el nombre de rol “mMovs”. Luego de navegar la relación podemos obtener el...