Dans les modèles UML, le corps d'une contrainte est une instruction qui définit une condition ou une restriction que la contrainte impose sur l'élément de modèle rattaché. L'instruction peut être une expression booléenne et renvoyer une valeur vraie lorsqu'elle est évaluée pour que le modèle soit bien formé.