Qu'est-ce qu'une contrainte sous forme d'invariant OCL ?

Lorsqu’une contrainte ne peut être spécifiée par une contrainte déclarative (format UML, opération UML, ensembliste), il y a lieu de recourir à une description de sa réalisation.

Pour ce faire, UML nous offre deux mécanismes que nous allons mettre en œuvre :

• Des notes, dans lesquelles il est possible de décrire des contraintes.
• Un langage de description de contraintes : OCL – Object Constraint Language.

Les contraintes sont décrites sous forme d’invariants OCL au sein de notes.