Description dynamique (l'information se transforme)

1. Définition

C’est un concept UML destiné à mémoriser :

L’ensemble des états d’un objet du métier s’appelle cycle de vie. La machine à états (state machine) énumère l’ensemble de ces états, et les transitions autorisées entre ces états. Elle est attachée à la classe, ce qui signifie que tous les objets instances de cette classe ont le même cycle de vie.

Pour un analyste du métier, tous les états ne sont pas significatifs. En particulier, un objet peut passer par des états temporaires qui n’apportent pas de réelle valeur ajoutée au métier : la machine à états représente un cycle de vie perçu par un acteur précis.

Enfin, certains états intéressent des acteurs et pas d’autres : vus par l’accueil, les états d’un véhicule au garage ne sont pas intéressants, si ce n’est que le véhicule est indisponible. En revanche, les différents états du véhicule en cours d’entretien intéressent le garagiste.

Par exemple, le certificat de restitution fourni au client M. XYZ est une instance de la classe Document, tout comme le contrat de location souscrit par le client Mme ABC. Le cycle de vie de ces deux instances (certificat de restitution XYZ, contrat de location ABC) est décrit par une machine à états attachée à la classe Document.

2. Le diagramme de la machine à états...

1. La transition et le comportement

a. L’autotransition

Lorsqu’un objet est dans un état donné, que peut-il lui arriver ? Ainsi, lorsque la facture est émise, peut-elle recevoir et traiter des événements, tout en restant dans l’état émise ?

Un comportement est commandé par un événement ; lorsque l’objet est dans un certain état, un certain événement va provoquer une transition et une action associée va être lancée ; tandis qu’un autre événement ne va pas provoquer de transition, mais va déclencher néanmoins une action.

Ainsi, l’objet est capable d’une dynamique tout en restant dans le même état.

Soit une facture émise, à laquelle est imputé un versement partiel ; le total des versements partiels déjà imputés est inférieur au montant total dû. La facture restera dans l’état émise, elle ne pourra pas rejoindre l’état soldée, mais une action sera quand même lancée : la décrémentation du montant dû (décrémentation du solde).

C’est lorsque le montant total versé annulera le montant total dû que la facture passera dans l’état soldée.

Un événement capté par un objet provoque :

• une action si l’objet est dans l’état qui lui permet de traiter l’événement ;

• éventuellement une transition vers un autre état si les conditions le lui permettent. 

Cette situation peut se représenter de la manière suivante :

Figure 7 : Une autotransition

Une autotransition est une transition dont la cible est la source.

Ainsi, le même événement réception paiement provoquera toujours le même comportement (décrémentation du solde de la facture), mais ne provoquera pas toujours...

1. Les comportements déterministes et non déterministes

Les machines à états étudiées dans ce chapitre impliquent que les instances passent par un nombre fini d’états ; ce comportement est obligatoirement déterministe.

Il serait intéressant d’évoquer les objets à comportement continu, ayant un nombre d’états non finis, et dont le comportement ne serait donc pas déterministe.

Cela ne veut pas dire que le comportement de tels objets est imprévisible. Cela signifie que leur comportement ne peut pas être formalisé avec les outils déployés jusqu’à présent ; en tout cas, UML n’est pas outillé pour formaliser cette situation.

2. À quels objets UML attacher une machine à états ?

La documentation UML de l’OMG précise que les classifiers (classeurs) peuvent posséder une machine à états.

Qu’est-ce qu’un classifier (classeur) ? C’est tout ce qui peut être instanciable (« A classifier is a set of instances ; it describes a set of instances that have features in common : UML infrastructure. »). Concrètement, cela signifie qu’une instance de classe, d’acteur, de cas d’utilisation, de composant, d’interface, etc. peut posséder une machine...