Bonjour,

Je réalise actuellement un projet qui a pour but de créer un protocole réseau, à partir d'un modèle prédéfini.
Le protocole est traduit par un automate à état fini.

Le modèle est basé sur un diagramme UML États/Transitions (State-Machine).

Ensuite je veux générer les classes Java Client / Serveur via Acceleo (un générateur de code) en prenant le modèle en paramètre.

Pour modéliser l'automate j'utilise le module Eclipse Papyrus.
Celui-ci respecte la norme UML2 et garantie le bon fonctionnement de la génération du code par d'Acceleo.

Mon problème :

Dans la constitution du diagramme Etat/transition avec Papyrus, je dois ajouter des Gardes aux transitions : Une transition d'un état à un autre doit être effectuée dans une condition particulière.

=> D'après ce que j'ai compris il faut que j'ajoute des contraintes dans lesquelles je spécifie la valeur qu'un attribut doit avoir.
Cependant, malgré les quelques documents que j'ai pu trouver sur le Web, je n'ai toujours pas réussi à ajouter une contrainte sur une transition.

Quelqu'un saurait-il m'expliquer comment faire ?

Merci d'avance pour votre aide.