Qu'est-ce qu'une contrainte au format UML ?

En UML, une contrainte formelle est une chaîne de texte entre accolades adossée à un élément de modélisation (entité, association, attribut...):

Contraintes au format UML proposées: