Langage de contrainte objet OCL
Langage formel pour décrire les contraintes dans les modèles UML. Ce langage de contrainte permet d'exprimer comment la sémantique s'applique au composant commun en contexte pour produire le composant transversal. Les contraintes d'assemblage et les raffinements sémantiques sont exprimées séparément dans deux parties du langage de contraintes, ce qui est pratique dans le déploiement pour distinguer entre l'assemblage par les développeurs d'application et les ajustements sémantiques selon les besoins ou préférences des utilisateurs de l'application.