OCL - Ejercicios resueltos

Práctico 3 - Parte 1



context A inv:
(self.b->size() >= 2 and self.b->size() <= 4) or (self.b->size() = 33)

context B inv:
(self.a->size() >= 8 and self.a->size() <= 11) or (self.a->size() = 1)


a) context Persona inv:
Persona.allInstances()->isUnique(ci)

b) context Persona inv:
Persona.allInstances()->forAll (p1,p2 / p1 <> p2 implies p1.ci <> p2.c2)


a) context Auto inv:
self.precio = self.parte->collect (precio) -> sum()

otra forma:
context Auto inv:
self.precio = self.parte.precio-> sum()

Aqui "." no es navegacion sino abrevia a collect (no se me ocurre otra forma)

b) context Auto inv:
self.parte->forAll (self.precio>= precio)

c) context Auto inv:
self.parte->select(p/ p.precio > self.precio / 2) -> size() = 1




a) context Vendedor inv:
self.empresa.producto->includes(self.producto)
o
self.producto.empresa->includes(self.empresa)

b) context Vendedor inv:
self.empresa.producto->includesAll(self.producto)

c) context Vendedor
-- Vende uno o mas productos de la empresa para la que trabaja
inv: self.empresa.producto->includesAll(self.producto)

-- Al menos vende un producto para cada empresa
inv: self.producto->forAll(p | p.empresa -> intersection (self.empresa)->notEmpty())



context Seleccion inv:
self.jugador->select(oclIsTypeOf(Arquero))->size()=3

Ejercicio 7 ¡Nuevo!




Ejercicio 8 ¡Nuevo!






Parte 2: Modelado del Dominio

Ejercicio 1 ¡Nuevo!




Ejercicio 2 ¡Nuevo!




Ejercicio 3 ¡Nuevo!