Nei modelli UML, è possibile specificare il linguaggio da utilizzare per scrivere il corpo di un vincolo, in modo da
consentire a chiunque legga il vincolo la relativa condizione o limitazione.
Il linguaggio può essere scritto utilizzando diversi linguaggi, tra cui linguaggi naturali come l'inglese, linguaggi di
programmazione come Java, annotazioni matematiche
o OCL (Object Constraint
Language). Per ulteriori informazioni su OCL, consultare la specifica Unified Modeling
Language 2.1 Superstructure disponibile sul sito Web OMG (Object Management Group).
Per specificare il linguaggio per un vincolo: