Dans
les modèles UML, vous pouvez préciser le langage employé pour écrire le corps d'une
contrainte, pour que ceux qui liront la contrainte puissent mieux comprendre
sa condition ou sa restriction.
Les contraintes peuvent être écrites dans plusieurs langages,
dont les langages naturels comme le français, les langages de programmation comme Java,
les notations mathématiques ou l'OCL (Object Constraint Language). Pour plus d'informations sur le langage OCL, consultez la spécification Unified Modeling Language 2.1 Superstructure disponible sur le site Web Object
Management Group (OMG).
Pour spécifier un langage pour une contrainte :