OCL
De l'anglais : Object Constraint Language
Traduction : Langage de Contrainte d'Objet
Langage formel standardisé par l'O.M.G pour l'expression des contraintes dans un modèle U.M.L. Ces contraintes sont des informations supplémentaires qui ne peuvent pas être spécifiées directement à l'aide de la modélisation U.M.L.