Bonjour à tous,

Je débute au niveau de l'écriture des contraintes OCL et j'aimerais votre aide.
Tout d'abord, la partie du diagramme de classes concernée par la contrainte :



PS : j'ai utilisé StarUML mais je n'ai pas réussi à faire d'association réflexive mais il y en a une sur "Catégorie" et elle représente le fait qu'une catégorie contient elle même d'autres catégories (en fait les sous-catégories).

Et la contrainte à écrire : "Un modérateur ne peut publier que dans les catégories qu'il gère ou dans leurs sous-catégories".

Ce que j'ai écrit : context : Catégorie
invariant : self.à_gérer.Includes(self.en_charge)

Est-ce que cette contrainte est juste et comment y intégrer la notion "ou dans leurs sous-catégories" ?

J'ai une autre contrainte à écrire.
La partie du diagramme de classes :



La contrainte : "Pour un objet donné, les enchères sont ordonnées selon leur montant et chaque nouvelle enchère doit être supérieure au montant de la précédente".

Là par contre je ne vois pas du tout comment faire...

Merci d'avance pour votre aide.