Chapitre 5  Diagramme d’états-transitions
(State machine diagram)

• Introduction au formalisme
  • Présentation
  • Notion d’automate à états finis
  • Diagrammes d’états-transitions
• État
  • Les deux acceptions du terme état
  • État initial et final
• Événement
  • Notion d’évènement
  • Événement de type signal (signal)
  • Événement d’appel (call)
  • Événement de changement (change)
  • Événement temporel (after ou when)
• Transition
  • Définition et syntaxe
  • Condition de garde
  • Effet d’une transition
  • Transition externe
  • Transition d’achèvement
  • Transition interne
• Point de choix
  • Point de jonction
  • Point de décision
• États composites
  • Présentation
  • Transition
  • État historique
  • Interface : les points de connexion
  • Concurrence