76
Chapitre 3. Les diagrammes comportementaux
Dans cet exemple, l’état contrôlé est un état composite qui fait l’objet d’une description individualisée à un second niveau que l’on appelle aussi sous-machine d’état.
Point d’entrée et de sortie
Sur une sous-machine d’état, il est possible de repérer un point d’entrée et un point
de sortie particuliers.
Formalisme et exemple
Le formalisme de représentation d’une sous-machine d’état avec point d’entrée et de
sortie est donné à la figure 3.17.
Figure 3.17 — Exemple d’une sous-machine d’état avec point d’entrée et de sortie
Point de jonction
Lorsque l’on veut relier plusieurs états vers d’autres états, un point de jonction
permet de décomposer une transition en deux parties en indiquant si nécessaire les
gardes propres à chaque segment de la transition.
À l’exécution, un seul parcours sera emprunté, c’est celui pour lequel toutes les
conditions de garde seront satisfaites.
Formalisme et exemple
Le formalisme de représentation d’états-transitions avec point de jonction est donné
à la figure 3.18.
Point de choix
Le point de choix se comporte comme un test de type : si condition faire action1
sinon faire action2.
Formalisme et exemple
Le formalisme de représentation d’états composites est donné à la figure 3.19.
Sous-machine d'état
Anomalie
État amont
État aval
Entrée
standard
Sortie
standard
Point d'entrée (particulier ou standard)
Point de sortie (particulier)
Chapitre 3. Les diagrammes comportementaux
Dans cet exemple, l’état contrôlé est un état composite qui fait l’objet d’une description individualisée à un second niveau que l’on appelle aussi sous-machine d’état.
Point d’entrée et de sortie
Sur une sous-machine d’état, il est possible de repérer un point d’entrée et un point
de sortie particuliers.
Formalisme et exemple
Le formalisme de représentation d’une sous-machine d’état avec point d’entrée et de
sortie est donné à la figure 3.17.
Figure 3.17 — Exemple d’une sous-machine d’état avec point d’entrée et de sortie
Point de jonction
Lorsque l’on veut relier plusieurs états vers d’autres états, un point de jonction
permet de décomposer une transition en deux parties en indiquant si nécessaire les
gardes propres à chaque segment de la transition.
À l’exécution, un seul parcours sera emprunté, c’est celui pour lequel toutes les
conditions de garde seront satisfaites.
Formalisme et exemple
Le formalisme de représentation d’états-transitions avec point de jonction est donné
à la figure 3.18.
Point de choix
Le point de choix se comporte comme un test de type : si condition faire action1
sinon faire action2.
Formalisme et exemple
Le formalisme de représentation d’états composites est donné à la figure 3.19.
Sous-machine d'état
Anomalie
État amont
État aval
Entrée
standard
Sortie
standard
Point d'entrée (particulier ou standard)
Point de sortie (particulier)