Manual OCL

OCL
Object Constrain Language

FRLP

UTN – FRLP - 2010
Cátedra Ingeniería de Software

1

Necesidad de restricciones más formales…

cd UsoDeRestriccion

restricción

Representaciónnombre: string;

{ deben ser únicos para una temporada de teatro }

• La restricción en la clase Representación intenta asegurar
que los nombres de las representaciones sean únicas (no serepitan).

Necesidad de restricciones más formales…
Ahora tenemos, para el banco que estamos modelando, cajas de ahorro
y cuentas corrientes, que tienen el mismo comportamiento que las
cuentas queteníamos antes, con la excepción de que las cajas de
ahorro nunca pueden tener su saldo menor a 0.

{saldo > 0}

2

Necesidad de restricciones más formales…
•¿Qué es una nota?
Es un símbolo paramostrar restricciones y comentarios
junto a un elemento o una colección de elementos.

•Ejemplo

{ Persona.trabajo = Persona.jefe.trabajo }

jefe
1

Persona

empleado

trabajo

*

1Compañia

1..* empleados

/**
* {Persona.trabajo=Persona.jefe.trabajo}
*/
public class Persona {
public Compañia trabajo;
public java.util.Collection empleados = new java.util.TreeSet();//código
}

Necesidad de restricciones más formales…
Empresa

{ OR }

CuentaBancaria
Persona
sexo: {hombre, mujer}
0..1
esposa
0..1
marido

{ self.esposa.sexo = mujer ;self.marido.sexo = hombre }

•Restricciones: especifican condiciones que deben cumplirse
para que el modelo esté bien formado.

3

Object Constraint Language [ OCL ]
Lenguaje formal para expresarrestricciones sin
efectos laterales sobre objetos
Posibilita expresar restricciones semánticas de un sistema, que no
puede expresarse de otra manera.
Es un lenguaje de expresión puro
No modifica el estadoni la
estructura del modelo (exceptuando el metamodelo OCL 2).
Toda expresión OCL se basa en tipos primitivos y tipos definidos
por el classifier UML:
>
InterfazAdmCuenta

BD Clientes

4...