Qu'est-ce que OCL ?
OCL-Object Constraint Language est un langage formel de contraintes défini par l'OMG[1] en complément à UML.
Le langage OCL a comme objectif de permettre au modélisateur de rendre les modèles UML plus riches en ajoutant des spécifications que la sémantique des seuls modèles ne permet pas.
OCL ne permet pas de modifier l'état des occurrences d'entités et d'associations du modèle. OCL est garanti "sans effet de bord".
[1] OMG - Object Mangement Group, http://www.omg.org/
