Associations qualifiées et implémentation

Bonjour,

j'aimerai que des gourous d'UML m'expliquent une chose assez obscure dans ma tête : les associations qualifiées...

Je sais qu'une association peut être qualifiée en précisant un attribut qui servira de "filtre" pour déterminer lesquels des objets de la classe comportant l'attribut pourront participer à la relation.

Voici mes questions :

1. Peut-on qualifier la "cible" d'une association orientée (via un attribut de la cible) ?
2. Peut-on qualifier chaque extrémité d'une association ?
3. Comment utiliser les qualifications avec des classes-association ?
4. Concrètement, ça donne quoi lors de l'implémentation tout ça ?

Merci d'avance pour vos future réponses.

En attendant vos réponses, je vais tenter d'y réponde moi-même (forcément maladroitement, vous m'en excuserez s'il vous plaît).

Citation:

---

1. Peut-on qualifier la "cible" d'une association orientée (via un attribut de la cible) ?

---

Etant donné que la qualification d'une association permet de filtrer les objets qui vont y participer via un de leurs attributs, je dirais OUI : si j'ai un écureuil qui mange des noisettes, je peux qualifier les noisettes qu'il grignote dans son stock par l'attribut [estMûre=vrai] !?

Citation:

---

2. Peut-on qualifier chaque extrémité d'une association ?

---

A priori OUI aussi ici : si on a une bande d'écureuils qui mangent des noisettes, on peut en plus du qualificatif précédant ajouté [estAffamé is vrai] du côté écureuil !?

Citation:

---

3. Comment utiliser les qualifications avec des classes-association ?

---

Là j'avoue j'ai plus de mal...

Admettons que l'on ait un groupe de marsupiaux femelles qui sont censé donneer naissance à des petits (car ça doit marcher avec les associations réflexives aussi) ; on pourrait avoir une classe d'association "donneNaissance" qui aurait pour qualificatif [estFécond is vrai, sexe is femelle] pour le rôle "genitrice" et pour qualificatif [dateNaissance is not vide]...

Donc la réponse serait OUI !?

Citation:

---

4. Concrètement, ça donne quoi lors de l'implémentation tout ça ? ?

---

Là je ne vois pas vraiment comment transposer cette notion...

Je ne connais pas les associations qualifiées, personnellement j'emploie OCL pour ce genre de choses :


En partant du schéma :

Code:

---

A-myA-----------------myB--B

---

Citation:

---

Peut-on qualifier la "cible" d'une association orientée (via un attribut de la cible) ?

---

context A :
inv : self.myB.UnAttributDeB = 2 -- pour spécifier que tous les B de A doivent avoir UnAttributDeB = 2

Citation:

---

Peut-on qualifier chaque extrémité d'une association ?

---

Sans problème, avec le même genre de contrainte, il suffit de changer de context.

Citation:

---

Comment utiliser les qualifications avec des classes-association ?

---

Schéma :

Code:

---

1 2 3 4

A--theA-----------------------theB--B | C

---

Depuis la classe d'asso :
context C :
inv : self.theA.AttributDeA = self.theB.AttributDeB

Vers la classe d'association :
context A :
inv C[theA]->notEmpty() -- verifie que C est lié à A.

Citation:

---

Concrètement, ça donne quoi lors de l'implémentation tout ça ?

---

Les invariants donnent souvent des assertions, ensuite les pre/post conditions se traduisent par des if/throw Exception.

Ce ne sont bien sur que des exemples très légers.

Merci :D

Je considère que c'est une réponse satisfaisante.

Si d'autres veulent ajouter leur grain de sel, pourquoi pas, si ça peut servir à d'autre ;)