Qu'est-ce qu'une contrainte ensembliste entre 2 associations ?

Nous utilisons le symbolisme natif du langage UML pour spécifier des contraintes ensemblistes entre deux associations. Les contraintes ensemblistes fixent les modalités d'instanciation des différentes occurrences de deux associations entre entités identiques.

Nous utilisons la relation de contrainte UML (ci-dessous) pour représenter les contraintes ensemblistes commutatives.

Nous utilisons la relation de dépendance UML (ci-dessous) pour représenter les contraintes ensemblistes non commutatives.

Nous avons défini deux contraintes ensemblistes :

• disjoint - contrainte commutative de disjonction ;
• subset - contrainte non commutative d'inclusion.