Object Constraint Language (OCL)
OCL es un lenguaje para expresar invariantes en Modelos de Dominio con UML.
Ventajas al usarlo
- la restriccion se puede especificar precisamente
- pueden ser procesadas automaticamente
Desventajas
- el lenguaje puede ser un poco complejo
- requiere aprender las construcciones del lenguaje
Lenguaje tipado
- Cada clase definida en el modelo representa un tipo en OCL.
- Las propiedades de los objetos se acceden mediante ‘.’
- Tiene Integer, String y operaciones de colecciones
- Una propiedad es un atributo, extremo de asociacion (se usa el rol), operacion sin efectos.
Operaciones sobre Collections (Set, Bag, Sequence)
collection->size() : Integer
collection->includes(o:OclAny) : Boolean
collection->isEmpty() : Boolean
collection->exists(e:OclExpression) :Boolean
Ejemplos
Unicidad de atributos
“No hay dos productos con el mismo codigo”
context Product inv:
Product.allInstances->forAll(p1,p2:Producto | p1<>p2 implies p1.codigo<>p2.codigo)
Dominio de atributos
“En la empresa no puede haber vendedores mayores de 65 anios”
context Empresa inv:
self.Vendedor->select(v:Vendedor | v.edad >65)->isEmpty()
Integridad circular
“Un vendedor no puede vender productos de una empresa en la que no trabaja”
context Vendedor inv:
self.empresa.producto->includes(self.producto)
Atributos calculados
“El atributo cantEmp es la cantidad de empleados de la empresa”
context Empresa inv:
self.cantEmp = self.vendedor->size()
Reglas de negocio
“Ningun vendedor menor de 30 anios puede vender el producto de codigo X”
context Empresa inv:
let vends:Sets(vendedor) = self.vendedor -> select(v:vendedor | v.edad >30)
in vends->forAll(v:Vendedor | v.producto.codigo<>X)
