Validation des contraintes OCL

Dans les modèles UML, vous pouvez valider la syntaxe d'une contrainte définie en langage OCL (Object Constraint Language). Vous pouvez exprimer le corps d'une contrainte en langage naturel comme l'anglais, en langage de programmation ou en notation mathématique. Pour plus d'informations sur le langage OCL, lisez la spécification UML disponible sur le site Web du groupe OMG (Object Management Group).

La syntaxe et l'expression d'une contrainte sont validées si la contrainte possède le stéréotype «metaConstraint» appliqué ou est définie dans un profil. Seule la syntaxe d'une contrainte est validée si celle-ci ne possède pas le stéréotype «metaConstraint» appliqué et n'est pas définie dans un profil.

Pour valider une contrainte OCL dans la vue Explorateur de modèles ou dans l'éditeur de diagrammes, cliquez avec le bouton droit de la souris sur une contrainte, puis cliquez sur Exécuter validation.
Les résultats de la validation apparaissent dans l'affichage de la Console.
Concepts associés
Contraintes
Conditions d'utilisation | Retours d'informations
(C) Copyright IBM Corporation 2004, 2005. All Rights Reserved.