5.5.3 Événement, condition et action d’une transition

• Syntaxe complète
  • événement[condition]/action
• La transition est déclenchée par un événement
• La transition est effectivement franchie si la condition (sur l’état de l’objet) est valide
• Le franchissement déclenche l’exécution de l’action de la transition
  • Cette action est considérée comme immédiate et atomique
• Si plusieurs transitions sont franchissables, alors la transition effectivement franchie est choisie aléatoirement

    précédent     suivant 

Si un événement est indiqué sur une transition et qu’il n’y a pas de condition, alors la transition est franchie dès que l’événement est généré par le système. Si une condition est spécifiée, alors la transition est franchie uniquement si la condition est valide. Enfin, si aucun événement n’est spécifié, alors la transition est franchie dès que la condition est valide.

Dans certains cas, l’analyste et le concepteur peuvent ainsi spécifier soit un événement soit une condition, la différence entre événement et condition étant dans ces cas ténue (l’événement est la validité de la condition). Enfin, s’il existe plusieurs transitions pouvant être franchies, la transition effectivement franchie est choisie aléatoirement.

D. Conan, C. Taconet, C. Bac, Télécom SudParis, CSC 4002, Octobre 2014