Nei modelli
UML, il valore di un vincoli è un'istruzione che definisce una condizione o una limitazione
che il vincolo impone sull'elemento del modello al quale è collegato.
L'istruzione
deve essere un'espressione Booleana e deve restituire un valore
true quando viene valutata, per
il corretto formato del modello.