Détails de l'exemple OCL

Cet exemple de modèle, qui est basé sur un sous-ensemble du domaine Société/Employé, illustre les fonctions d'OCL qui figurent dans le tableau suivant.
Fonction Emplacement dans l'exemple de modèle
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 :
  • select, forAll
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

Vos commentaires