OCL
Sigle de Object Constraint Language
Qu'est-ce que c'est ?
Langage formel de l’OMG qui complète les diagrammes UML par des règles précises, comme « l’âge d’un client est supérieur à 18 ».
En détail
Un diagramme de classes ne dit pas tout. OCL permet d’écrire des invariants, des préconditions et des postconditions sans ambiguïté. Ce n’est pas un langage de programmation : il décrit des contraintes, sans rien modifier.