Validation des contraintes OCL dans les modèles UML

Dans les modèles UML, vous pouvez valider la syntaxe d'une contrainte définie en OCL (Object Constraint Language). Vous pouvez également exprimer le corps d'une contrainte à l'aide d'un langage naturel tel que l'anglais, un langage de programmation ou une notation mathématique. Pour plus d'informations sur le langage OCL, consultez la spécification UML (Unified Modeling Language) disponible sur le site Web Object Management Group (OMG).
A propos de cette tâche

La syntaxe et l'expression d'une contrainte sont validées si le stéréotype «metaConstraint» est appliqué à la contrainte ou si elle est définie dans un profil. Seule la syntaxe d'une contrainte est validée si le stéréotype «metaConstraint» ne lui est pas appliqué et qu'elle n'est pas définie dans un profil.

Pour valider une contrainte OCL, dans la vue Explorateur de projets, cliquez avec le bouton droit sur une contrainte, puis cliquez sur Valider.
Résultats
Les résultats de la validation s'afficheront dans la vue Console.

Vos commentaires