Propriétaires :Classe sémantique Règle de gestion
Définition de l'association "obéit"
Une classe obéit à une règle : toutes les instances de cette classe doivent vérifier la règle, à tous les moments de leur existence.
L'ensemble des règles auxquelles est soumise la classe constitue l'invariant de classe.
Au niveau logiciel, l'invariant sera traduit sous la forme d'une opération qu'appelleront les autres opérations de la classe.
Rôles :
Contraintes :