Diagramme États-Transitions
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates. Il fait partie du modèle UML et s'inspire principalement du formalisme state-charts.
Éléments graphiques :
- Le cercle rempli dénote l'état de début; il est facultatif
- Le cercle creux dénote l'état de fin; il est facultatif
- Le rectangle à coins arrondis dénote un état. Il peut être nommé. Les actions internes à l'état peuvent être notées dans la partie inférieure du rectangle, séparée du nom par une barre horizontale
- La flèche dénote la transition entre deux états
- Les sous-états non concurrents peuvent être dessinés à l'intérieur de l'état
- Des traits pointillés peuvent être utilisés pour séparer en zones d'exécution concurrentes un état. Les sous-états d'une même zone restent non concurrents
Transitions
En plus des états de départ (au moins un) et d'arrivée (nombre quelconque), une transition peut comporter les éléments facultatifs suivants :
- Un évènement
- Une condition de garde
- Une liste d'actions
Quand l'événement se produit alors que les états de départ sont actifs et que la condition de garde est vraie alors les actions seront déclenchées.
États
Cette exécution est enrichie lorsque les états définissent une action d'entrée et une action de sortie : l'action de sortie de l'état de départ est exécutée d'abord, puis l'action de la transition, puis l'action de l'état d'arrivée.