© Éditions Eyrolles
49
chapitre n° 1
Le niveau conceptuel : face à face Merise/UML
Contrainte de totalité
Selon la contrainte de totalité, toutes les occurrences d’une entité (ou classe) participent au
moins à une association.
Considérons :
●
qu’un pilote peut être affecté simultanément à une mission sanitaire et à un exercice
d’entraînement ;
●
que tous les pilotes participent au moins à une mission.
On peut dire ainsi que les pilotes forment la totalité du contingent.
Merise/2
Il faut utiliser la lettre T dans le schéma 1-37.
Notation UML
La note à programmer et à rattacher à la classe Pilote (de la même manière qu’à l’exemple 1-41)
est la suivante.
inv:
((detachement->isEmpty() and operation->notEmpty()) or
(detachement->notEmpty() and operation->isEmpty()) or
(detachement->notEmpty() and operation->notEmpty()))
Absence de contrainte
Dans notre exemple, l’absence de contrainte (illustrée à l’exemple 1-42) signifie qu’il peut exister des pilotes n’étant affectés à aucune mission ou participant simultanément à une mission
sanitaire et à un exercice d’entraînement.
Le schéma Merise serait identique à l’exemple 1-38 sans contrainte. Le diagramme UML serait
identique à l’exemple 1-41 sans l’utilisation de la note.
Figure 1-42 Exemple sans contrainte
entraînement
sanitaire
49
chapitre n° 1
Le niveau conceptuel : face à face Merise/UML
Contrainte de totalité
Selon la contrainte de totalité, toutes les occurrences d’une entité (ou classe) participent au
moins à une association.
Considérons :
●
qu’un pilote peut être affecté simultanément à une mission sanitaire et à un exercice
d’entraînement ;
●
que tous les pilotes participent au moins à une mission.
On peut dire ainsi que les pilotes forment la totalité du contingent.
Merise/2
Il faut utiliser la lettre T dans le schéma 1-37.
Notation UML
La note à programmer et à rattacher à la classe Pilote (de la même manière qu’à l’exemple 1-41)
est la suivante.
inv:
((detachement->isEmpty() and operation->notEmpty()) or
(detachement->notEmpty() and operation->isEmpty()) or
(detachement->notEmpty() and operation->notEmpty()))
Absence de contrainte
Dans notre exemple, l’absence de contrainte (illustrée à l’exemple 1-42) signifie qu’il peut exister des pilotes n’étant affectés à aucune mission ou participant simultanément à une mission
sanitaire et à un exercice d’entraînement.
Le schéma Merise serait identique à l’exemple 1-38 sans contrainte. Le diagramme UML serait
identique à l’exemple 1-41 sans l’utilisation de la note.
Figure 1-42 Exemple sans contrainte
entraînement
sanitaire