Accueil
 Sommaire
 1  Objectifs de ce cours de modélisation orientée objet
 2  Généralités sur la modélisation orienté objet et sur UML
 3  Analyse, vues cas d'utilisation et processus
 4  Analyse et conception, aspects statiques de la vue logique
 5  Analyse et conception, aspects dynamiques de la vue logique
 5.1  Rappel: diagrammes communs à l'analyse et à la conception
 5.2  Modélisation des aspects dynamiques
 5.3  Diagramme de séquence
 QCM
 5.4  Diagramme de communications
 slidetitletoc
 5.5  Diagramme de machine à états
 5.5.1  Modéliser l'état des objets d'une classe
 5.5.2  Types d'états, événement et transition
 5.5.3  Événement, condition et action d'une transition
 5.5.4  Transition implicite
 5.5.5  Exemple de diagramme de machine à états de la classe \textsf Scrutin
 5.5.6  Actions liées à un état
 5.5.7  Éléments de méthodologie
 5.5.8  État composite~*
 QCM
 6  Conception, aspects langage et technique
 7  Conception, vues développement et physique
 8  Conclusion
 9  Bibliographie

 Contacts

W3C validator

Département INF  
 Conception et programmation orientées objet


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