Machines d'état

En modélisation UML, une machine d'état est une spécification du comportement dynamique d'objets de classe individuels, de cas d'utilisation et de systèmes entiers. Lorsque vous créez une machine d'état, l'objet auquel vous attachez la machine d'état devient le propriétaire de celle-ci (ceci n'est pas valable pour les opérations). Lorsque vous créez une machine d'état pour une opération, l'opération devient le propriétaire de la machine d'état. Un diagramme de machine d'état vierge s'ouvre lorsque vous créez une machine d'état. Un diagramme de machine d'état est une représentation graphique de la séquence d'états d'un objet, des événements qui provoquent une transition d'un état à l'autre et des actions qui résultent d'un changement d'état. Vous pouvez ajouter des diagrammes à une machine d'état pour décrire différents aspects comportementaux d'un objet.

Vous pouvez créer des machines d'état pour décrire des classes et des systèmes qui ont un comportement significatif. Tous les objets ne nécessitent pas des machines d'états. Si le comportement d'un objet est basique et s'il stocke ou extrait simplement des données, le comportement de l'objet peut ne pas avoir d'importance et sa machine d'état risque d'avoir peu d'intérêt. Les machines d'état peuvent également contenir des états imbriqués qui représentent différents niveaux d'état hiérarchiques. Vous pouvez utiliser des états imbriqués pour examiner des changements d'état complexes dans les objets.

Vous pouvez ajouter des diagrammes à une machine d'état pour décrire différentes perspectives du comportement d'un objet. Chaque diagramme s'ouvre sous la forme d'une fenêtre séparée mais les mêmes éléments de modèle sont affichés dans tous les diagrammes. Les diagrammes au sein d'une machine d'état sont synchronisés par défaut. Les changements apportés à une région dans la vue Explorateur de projets sont reflétés dans les autres diagrammes de la même machine d'état et les changements apportés à une région dans un diagramme sont reflétés dans la vue Explorateur de projets. Vous pouvez changer les paramètres d'édition d'une région pour que les changements apportés à cette région dans la vue Explorateur de projets ne soient pas reflétés dans les diagrammes de machine d'état correspondants, et pour que la région puisse être éditée indépendamment des autres diagrammes de la même machine d'état en attribuant la valeur false aux propriétés canoniques de la région.

Les machines d'état sont des aides à la modélisation très utiles pour développer des systèmes en temps réel ou déclenchés par des événements, car elles ont un comportement dynamique. Vous pouvez développer des machines d'état pendant toutes les phases d'un projet logiciel et pour la modélisation métier. Vous pouvez utiliser des machines d'état dans les situations suivantes :

Vous pouvez créer une machine d'état pour les objets suivants :

Comportement déclenché par des événements

Vous pouvez utiliser des machines d'état pour modéliser un comportement déclenché par des événements. Des événements tels que le temps, les signaux ou les opérations peuvent entraîner un changement d'état. Un événement n'a pas de durée et peut précéder ou suivre un autre événement. Les états qui modélisent un comportement déclenché par des événements restent dans le même état jusqu'à la survenue d'un événement. Une fois que l'état a répondu à un événement, le processus revient à un état stable et est prêt à recevoir le prochain événement.


Vos commentaires