Contrainte OCL recursive

Bonjour,

J'ai le modèle de classes suivant, voir le diagramme joint, et j'aurai voulu écrire une contrainte OCL permettant de traduire le fait que toutes les objets O2 de type class2 liés à un objet O3 de type class3 via des objets O4 de type class4 doivent être liés impérativement à O3 via des objets de type class4 directement ou par récursivité.

Merci d'avance pour votre aide.

Je pense que tu as une erreur dans ta question...

tous les class2 liés à class3 via class4 => doivent être liés à =>
class3 via des class4 .

Non si te reprends :

toutes les class2 liés à class3 via class4 => doivent être liés à =>
class3 via des class1 .

ok, je comprend mieux.
Je suppose qu'on doit pouvoir "descendre" dans la hiérarchie des class1..

J'avoue que j'ai un doute là.. pas sur que tu puisse dire de naviguer autant que possible/utile dans la hiérarchie des class1.
Je fais des recherche. La contrainte ne te pose pas de soucis si la hiérarchie n'existe pas ?

Je pense que tu ne pourras t'en sortir qu'en rédigeant un iterateur, et encore, pas sur que cela suffise...

Peux-tu me dire comment se formaliserai l'itérateur ?

Voici la spécification des itérateurs en général :

Code:

---

1 2 3

collection->iterate(element : Type1; result : Type2 = <expression> | <expr-with-element-and-result)

---

Il existe des iterateurs tous faits (exists, select, any, etc..)

Par exemple, on pourrait réécrire l'itérateur select ainsi :

Code:

---

1 2 3 4 5

source->select(iterator | body) = source->iterate(iterator; result : Set(T) = Set{} | if body then result->including(iterator) else result

---

Code:

---

1 2

endif)

---

Où body est un bloc d'instruction retournant vrai/faux

Mais j'ai du mal à voir comment y mettre de la récursivité, désolé...

J'ai essayé et j'ai perdu. Donc j'ai mis une note à la place.