Dans
les modèles UML, la valeur d'une contrainte est une instruction qui définit une condition
ou une restriction imposée par la contrainte à l'élément de modèle auquel elle est rattachée. L'instruction doit être une expression booléenne et renvoyer une valeur
true
lorsqu'elle est évaluée, afin de de garantir que le modèle est bien formé.