Automates finis

En modélisation UML, un automate fini est une spécification du comportement dynamique des objets de classe individuels, des cas d'utilisation et du système entier. A l'exception des opérations, lorsque vous créez une automate fini, l'objet auquel vous associez l'automate fini devient le propriétaire de ce dernier. Si vous créez un automate fini pour une opération, cette dernière devient son propriétaire. Lors de la création d'un automate fini, un diagramme d'automate fini vide s'ouvre. Ce diagramme est une représentation graphique de la séquence des états d'un objet, des événements qui ont provoqué une transition d'un état à un autre et des actions résultant d'un modification de l'état. Vous avez la possibilité d'ajouter des diagrammes à un automate fini afin de décrire les différents aspects du comportement d'un objet.

Vous pouvez créer des automates finis pour décrire des classes et systèmes dont le comportement est significatif. Tous les objets n'ont pas besoin d'automates finis. Si le comportement d'un objet est rudimentaire, s'il enregistre ou extrait simplement des données, il n'est probablement pas important pour vous et l'intérêt de son automate fini est probablement limité. Les automates finis peuvent également contenir des états imbriqués représentant différents niveaux d'état hiérarchiques. Vous pouvez utiliser ces états imbriqués pour examiner les modifications d'état complexe des objets.

Vous avez la possibilité d'ajouter des diagrammes à un automate fini afin de décrire les différentes perspectives du comportement d'un objet. Chaque diagramme s'ouvre sous la forme d'une fenêtre distincte, mais les mêmes éléments de modèle s'affichent dans tous les diagrammes. Les diagrammes qui composent un automate fini sont synchronisés par défaut. Les modifications apportées à la vue Explorateur de modèles se reflètent dans les autres diagrammes du même automate fini, et celles apportées à une région du diagramme se reflètent dans la vue Explorateur de modèles. Vous pouvez modifier les paramètres d'édition d'une région de sorte que les modifications apportées à une région dans la vue Explorateur de modèles ne se reflètent pas dans les diagrammes d'automate fini correspondants et qu'une région puisse être éditée indépendamment des autres diagrammes du même automate fini en attribuant la valeur des propriétés canoniques "faux" à une région.

Les automates finis sont des aides à la modélisation utiles permettant de développer des systèmes en temps réel ou commandés par les événements étant donné qu'ils affichent le comportement dynamique. Vous pouvez développer des automates finis lors de toutes les phases d'un projet logiciel et pour la modélisation métier. Vous pouvez utiliser des automates finis dans les situations suivantes :

Vous pouvez créer un automate fini pour les objets ci-dessous :

Comportement commandé par les événements

Vous pouvez utiliser des automates finis pour modéliser un comportement commandé par les événements. Les événements tels que l'heure, les signaux ou les opérations peuvent être à l'origine de la modification d'un objet. Un événement ne dure pas et peut précéder ou suivre un autre événement. Les états qui modélisent un comportement commandé par les événements ne changent pas tant que qu'un autre événement n'est pas arrivé. Lorsqu'un état a répondu à un événement, le processus revient à un état stable prêt pour recevoir l'événement suivant.

Tâches associées
Modélisation du comportement d'un objet à l'aide de diagrammes d'automate fini
Création d'automates finis
Conditions d'utilisation | Retours d'informations
(C) Copyright IBM Corporation 2004, 2005. All Rights Reserved.