O C L Object Constraint Language

LINGUAGGIO DI SPECIFICAZIONE DI OGGETTI OCL si può utilizzare in qualche contesto dove si usa il diagrama di classe che sta associato (per essempio, nel modello concettuale o disegno). È un linguaggio ibrido orientato a oggetti-funzionale, ed è tipificato, perché usa il concetto di tipi di dati. Gli utenti di UML e di altri linguaggi, possono usare l’OCL per specificare restrizioni e altri espressioni inserite nei suoi modelli. OCL ha caratteristiche di un linguaggio d’espressione, di linguaggio di modellazione e di linguaggio formale.

LINGUAGGIO D’ ESPRESSIONE È un linguaggio d’espressione puro. Garantisce che la valutazione di una espressione OCL non avrà effetti collaterali; non può cambiare niente del modello, ovvero, lo stato del sistema non cambierà mai come conseguenza di una espressione OCL. Tutti i valori degli oggetti, inclusi tutti i collegamenti, non possono cambiare durante la valutazione di una espressione OCL. Una espressione OCL ritorna semplicemente un valore.

LINGUAGGIO DI MODELLAZIONE OCL non è un linguaggio di programazione: non è possibile scrivere logica di programmazione o un flusso di controllo. Non è possibile invocare processi o attivare operazioni diverse da query in OCL. OCL è un linguaggio di modellazione in primo luogo. Dal momento che OCL è un linguaggio di modellazione, tutte le considerazioni implementative sono fuori dal suo dominio e non si possono esprimere con linguaggio OCL. Concettualmente, ogni espressione OCL è atomica.

LINGUAGGIO FORMALE OCL è un linguaggio formale dove tutti i construttori hanno un loro significato formalmente definido, OCL è formalizzato all’interno di UML. OCL non pretende di sostituire linguaggi formali come VDM o Z

PERCHÈ OCL E NON ALTRI? Lo svantaggio dei linguaggi formali tradizionali è che sono pensati per persone con una forte formazione matematica, ma sono difficili per il progettista di sistema. OCL è stato sviluppato per risolvere questo problema. È un linguaggio formale, facile da leggere e scrivere.

DOVE USARE OCL OCL si può usare con diversi scopo: - Specificare caratterische statiche delle classi e dei tipi di un modello di classe - Specificare caratterische statiche di tipo per gli Stereotipi - Specificare pre e post-condizioni sulle Operazioni e i Metodi. - Come linguaggi di navigazione di alberi (tipo X-Path). - Specificare restrizioni sulle operazioni (pre e post condizioni). Può formare parte di una caratteristica statica ovvero una restrizione stereotipata tramite <<invariant>>. Può formare parte di pre-condizioni e post-condizioni che sono restrizioni stereotipate con <<pre-condition>> e <<post-condition>>.

OGGETTI E PROPRIETÀ Le espressioni OCL si possono riferire a tipi, classi, interfacce, associazioni (come tipi) e tipi di dati. Anche a tutti gli attributi, gli end-point di una associazione, metodi e operazioni che non hanno effetti collaterali.

TIPI PREDEFINITI TIPO VALORE OPERAZIONE Boolean True, False Si definiscono all’interno di OCL i tipi di dati base, cosí come le operazioni che si possono realizare con la siguiente tabella: TIPO VALORE OPERAZIONE Boolean True, False And, Or, Not, Xor Integer 1, 2, 34,5242… +, /, abs Real 1.5, 3.14, 6.78… +, -, /, floor String To be, or, not toUpper, concat

TIPI DI DEFINIZIONI Invarianti Invarianti di metodo/responsabilità Definizione di attributi derivati Definizione di metodi/responsabilità derivate

TIPI DI DATI 1. Predefiniti b) Strutturati a) Basici Collection(T) Set(T) Bag(T) OrderedSet(T) Sequence Tuple 1. Predefiniti a) Basici Boolean Integer Real String OCLAny OCLType 2. Non Predefiniti Sono ogni classe e enumeratore del diagrama delle classi

ESEMPIO DI USO (1) Faremo un caso pratico. Nel nostro esempio, andiamo a eseguire espressioni OCL su un classico diagramma che rappresenta una impresa.

Fase 1: Carga del Modello UML 2.0 Essempio d’empresa generado con eclipse per modelo UML2.0: <?xml version="1.0" encoding="UTF-8"?> <uml:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:uml="http://www.eclipse.org/uml2/1.0.0/UML" xmi:id="_JsDyAPMHEdmre8WY4HdRjQ" name="testCase1"> <ownedMember xmi:type="uml:Package" xmi:id="_J6MUoPMHEdmre8WY4HdRjQ" name="Package" packageableElement_visibility="public"> <ownedMember xmi:type="uml:Class" xmi:id="_J7J98PMHEdmre8WY4HdRjQ" name="Empleado" isLeaf="false" isAbstract="false" isActive="false"/> <ownedMember xmi:type="uml:Class" xmi:id="_J7QEkfMHEdmre8WY4HdRjQ" name="Jefe" isLeaf="false" isAbstract="false" isActive="false"/> <ownedMember xmi:type="uml:Class" xmi:id="_J7WLMvMHEdmre8WY4HdRjQ" name="Ayudante" isLeaf="false" isAbstract="false" isActive="false"/> </ownedMember> </uml:Model>

Fase 1: Caricamento del Modello UML 2.0 Nel modello UML 2.0 i collegamenti tra classi sono allo stesso livello delle classi e dei tipi primitivi. Riassumendo, le classi sono: dipartamento, compagnia, persona, impiegato, gruppo. I tipi base che useremo nel nostro package sono: intero, lista, boolean e un tipo enumerato (tipo persona)

Fase 2: Esempi di espressioni Lavoramo in una impresa, la quale necessita di costraint per essere correttamente rappresentata ad esempio un package non deve contenere più di 3 elementi Context Package inv:ownedMember->size()<=3 Tutti I nomi di dipartamenti devono iniziare con una lettera maiuscola tra la A e la D comprese Context Department inv: Set{‘A’,’B’,’C’,’D’}>=includes(name.substring(1,1))

COLLEGAMENTI D’INTERESSE Inglese: http://www.omg.org/docs/ptc/03-10-14.pdf Spagnolo: http://www-2.dc.uba.ar/materias/isoft1/is1-2005_2/apuntes/OCL.pdf Italiano: http://www.tecnoteca.it/upgrade/aprile_2004 Francese: http://uml.free.fr/cours/p16.html