Chapitre 4  Langage de contraintes objet
(Object Constraint Langage : OCL)

• Expression des contraintes en UML
  • Introduction
  • Écriture des contraintes
  • Représentation des contraintes et contraintes prédéfinies
• Intérêt d’OCL
  • OCL – Introduction
  • Illustration par l’exemple
• Typologie des contraintes OCL
  • Diagramme support des exemples illustratifs
  • Contexte (context)
  • Invariants (inv)
  • Préconditions et postconditions (pre, post)
  • Résultat d’une méthode (body)
  • Définition d’attributs et de méthodes (def et let…in)
  • Initialisation (init) et évolution des attributs (derive)
• Types et opérations utilisables dans les expressions OCL
  • Types et opérateurs prédéfinis
  • Types du modèle UML
  • OCL est un langage typé
  • Collections
• Accès aux caractéristiques et aux objets
  • Accès aux attributs et aux opérations (self)
  • Navigation via une association
  • Navigation via une association qualifiée
  • Navigation vers une classe association
  • Navigation depuis une classe association
  • Accéder à une caractéristique redéfinie (oclAsType())
  • Opérations prédéfinies sur tous les objets
  • Opération sur les classes
• Opérations sur les collections
  • Introduction : «.», «->», «::» et self
  • Opérations de base sur les collections
  • Opération sur les éléments d’une collection
  • Règles de précédence des opérateurs
• Exemples de contraintes