Les diagrammes états-transitions

Dans le langage de modélisation SysML, il est appelé State Machine Diagram (stm).

Concrètement, un diagramme d’états-transitions est un graphe qui représente une machine dont le comportement des sorties ne dépend pas seulement de l’état de ses entrées, mais aussi d’un historique des sollicitations passées.

Une machine à états finis est graphiquement représentée par un graphe qui comporte des états, matérialisés par des rectangles aux coins arrondis, et des transitions, matérialisées par des arcs orientés qui lient les états entre eux.

Exemple
La figure ci-dessous montre un exemple simple de diagramme états-transitions.

Une ampoule électrique possède deux états : elle peut être allumée ou éteinte.

Le passage d’un état à l’autre se fait à partir d’une même action : l’appui sur un bouton poussoir.

Lorsque l’on appuie sur un bouton d’éclairage, la réaction de l’éclairage associé dépend de son état courant (de son historique) : si la lumière est allumée, elle s’éteindra, si elle est éteinte, elle s’allumera.

Voici ci-dessous un exemple de diagramme états-transitions.

Voici la description des différents éléments qui composent un diagramme états-transitions.

Un état d’un objet est une situation stable dans la vie de l’objet. Il peut être en train d’effectuer une activité ou d’attendre un événement.

L’état initial est activé au démarrage de la machine.

Il peut y en avoir plusieurs car différents scénarios peuvent être possibles pour mettre fin à un comportement.

On peut décrire l’enchainement de différentes activités dans l’état.

• Activités exécutées en entrant dans l’état (repérées par le terme « entry »).
• Activités exécutées tant que l’on reste dans l’état (repérées par le terme « do »).
• Activités exécutées en sortant de l’état (repérées par le terme « exit »).

On l’identifie grâce au symbole en bas à droite du rectangle. Il peut être décomposé en sous-états. Cela permet d’occulter certains détails pour une meilleure lisibilité du diagramme.

Une transition possède, au maximum :

• un événement déclencheur ;
• une condition appelée « condition de garde » ou « garde ». C’est une condition booléenne ;
• Exemple
  Vérification de l’état des variables associées à des capteurs (m==1 pour vérifier que la variable m est à 1).
• un effet associé.

Commentaire	Test (ou pseudo-état de choix)

Exemple de l’utilisation d’un test
Le diagramme suivant décrit une bouilloire.

L’utilisateur enfonce le bouton « ON », la bouilloire se met à chauffer l’eau et à tester la température de celle-ci.

Dès que la température atteint 100 °C, l’action de chauffer l’eau s’arrête et le bouton est relâché pour qu’il revienne sur la position « OFF ».