Nei modelli UML, è possibile convalidare la sintassi di un vincolo definito
utilizzando OCL (Object Constraint Language). È inoltre possibile specificare il corpo di un vincolo
utilizzando un linguaggio naturale, ad esempio l'inglese, un linguaggio di programmazione o un'annotazione
matematica. Per ulteriori informazioni relative a OCL, consultare la specifica UML (Unified Modeling
Language) disponibile sul sito Web OMG (Object
Management Group).
La sintassi e l'espressione di un vincolo vengono convalidate se al vincolo
è applicato lo stereotipo «metaConstraint» o se è definito in un profilo. Se al vincolo non è applicato
lo stereotipo «metaConstraint» e tale vincolo non è definito in un
profilo, viene convalidata solo la sintassi del vincolo.
Per convalidare un vincolo OCL,
nella vista
Esplora progetto fare clic con il
pulsante destro del mouse su un vincolo; quindi fare clic su
Esegui convalida.
I risultati della convalida vengono visualizzati nella vista Console.