État et ses activités associées

Définition

Un état (Représenté graphiquement par un rectangle aux bords arrondis) modélise une phase du fonctionnement du système (le bloc isolé du bdd ou de l'ibd).

Un état est dit actif lorsque le système se retrouve dans la phase de fonctionnement associée. En dehors de cette phase de fonctionnement, l'état est dit inactif. Ainsi :

  • il n'y a qu'un seul état actif à chaque instant ;

  • un état possède un titre unique dans le diagramme.

Lorsqu'un état est actif, le système :

  • accomplit une simple activité ;

  • OU accomplit une séquence (suite) d'activités ;

  • OU est en attente.

L'état initial indique l'état actif à l'entrée dans un graphe. Il est identifié par une flèche composé d'un rond, pointant l'état initial.

Unique et obligatoire, il est activé au lancement de la machine à états et marque le début de l'exécution du diagramme d'état. Il n'a aucune transition entrante.

Remarque

L'outil graphe d'état n'est pas entièrement normalisé. Aussi, il n'est pas rare de trouver des variantes dans la représentation. Ainsi, ci-contre vous pouvez voir une autre représentation d'un état (on retrouve toujours le rectangle au coin arrondi, limite de l'état et le nom de l'état qui décrit simplement ce qu'il se passe).

De même, comme nous le verrons avec les logiciels (Matlab dans notre cas), les logiciels utilisent parfois d'autres notations ou représentations que celles du cours.

Complément

Le lancement des activités à l'intérieur de l'état actif est organisé selon des mots réservés :

entry

Activité ayant une fin, qui ne peut pas être interrompue. Elle est exécutée lors de l'activation de l'état.

do

Activités n'ayant pas nécessairement une fin, qui peuvent être interrompues. Elles sont exécutées dans l'ordre de leur écriture, à partir de l'instant où l'activité associée à entry est terminée.

exit

Activité ayant une fin, qui ne peut pas être interrompue. Elle est exécutée lors de la désactivation de l'état, juste avant la sortie de l'état.

L'état final indique la sortie d'un graphe d'état. Il est identifié par une flèche composé d'un rond avec un point à l’intérieur.

Remarque

  • Par activité ayant une fin, on entend en général une activité instantanée : allumer un voyant, incrémenter un compteur, éteindre un voyant...

  • Les trois comportements entry, do et exit ne peuvent être utilisés qu'une seule fois par état, mais il est également possible de n'en utiliser qu'une partie (seulement entry par exemple) ;

  • Si aucun mot réservé n'est utilisé, cela correspond à un do ;

  • Un état vide (sans activité) indique un état d'attente.