Fiche du terme - Langage de contrainte objet OCL

Terme

Langage de contrainte objet OCL

Définition

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.

Terme générique

• Méthodologie de développement logiciel

Termes spécifiques

• Collection
• Ensemble
• Séquence

Équivalent anglais

• Ocl : object constraint language