| 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:
|
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 |