| Contrainte d'invariant |
EmployeeConstraints, PersonConstraints |
Contraintes de précondition, de postcondition et de corps d'opération - Notation @pre dans les postconditions
- Notation des résultats dans les postconditions et les conditions de corps
|
CompanyConstraints, EmployeeConstraints, PersonConstraints |
| Expressions d'itérateur :
|
CompanyConstraints |
Transtypage de type :- oclIsKindOf()
- oclAsType()
|
CompanyConstraints, Stéréotypes |
| Référencement de littéraux d'énumération |
EmployeeConstraints |
| Navigation d'association |
EmployeeConstraints |
| Navigation d'association qualifiée |
CompanyConstraints |
Classes d'association- Navigation à travers la classe d'association
- Navigation vers la classe d'association depuis chaque extrémité
- Navigation depuis la classe d'association vers une extrémité
|
CompanyConstraints, EmployeeConstraints |
| Expressions let |
CompanyConstraints, PersonConstraints, Stéréotypes |
| Expressions de message indiquant qu'un message a été envoyé |
CompanyConstraints |
| Expressions de message bouclant sur les messages envoyés |
PersonConstraints |
| Utilisation d'OCL pour les contraintes dans des profils UML |
Stéréotypes |
| Référencement de types dans d'autres packages |
Stéréotypes |
| Expressions allInstances() |
Stéréotypes |
| Expressions if-then-else-endif |
Stéréotypes |
| Expressions de valeurs non spécifiées |
PersonConstraints |
| Opération oclIsInState() |
CompanyConstraints |
| Contraintes de métamodèle ad hoc |
Diagramme de classes |