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.