MVC-CD - Logiciel de modélisation libre d'utilisation et gratuit
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: