Dettagli su Esempio OCL

Questo modello di esempio, che si basa su un sottoinsieme del dominio Azienda/Dipendente, illustra le funzionalità OCL elencate nella tabella riportata di seguito.
Funzionalità Posizione all'interno del modello di esempio
Vincoli invarianti EmployeeConstraints, PersonConstraints
Vincoli condizione antecedente, condizione successiva e condizione corpo delle operazioni
  • Notazione @pre nelle condizioni successive
  • Notazione risultato nelle condizioni successive e nelle condizioni corpo
CompanyConstraints, EmployeeConstraints, PersonConstraints
Espressioni dell'iterator:
  • select, forAll
CompanyConstraints
Cast del tipo:
  • oclIsKindOf()
  • oclAsType()
CompanyConstraints, Stereotypes
Letterali di enumerazione di riferimento EmployeeConstraints
Navigazione dell'associazione EmployeeConstraints
Navigazione dell'associazione qualificata CompanyConstraints
Classi di associazione
  • Navigazione attraverso la classe di associazione
  • Navigazione alla classe di associazione da qualsiasi estremità
  • Navigazione dalla classe di associazione a una estremità
CompanyConstraints, EmployeeConstraints
Espressioni let CompanyConstraints, PersonConstraints, Stereotypes
Espressioni di messaggio che dichiarano che un messaggio è stato inviato CompanyConstraints
Espressioni di messaggio che iterano i messaggi inviati PersonConstraints
Utilizzo di OCL per vincoli in profili UML Stereotypes
Tipi di riferimento in altri package Stereotypes
Espressioni allInstances() Stereotypes
Espressioni if-then-else-endif Stereotypes
Espressioni di valori non specificati PersonConstraints
Operazione oclIsInState() CompanyConstraints
Vincoli di metamodello ad hoc Diagramma di classi

Feedback