Convalida di vincoli OCL nei modelli UML

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.
Concetti correlati
Vincoli UML

Feedback