Support de cours UML, les diagrammes d’états-transitions, tutoriel & guide de travaux pratiques UML en pdf.

Sémantique

Ce diagramme sert à représenter des automates d’états finis, sous forme de graphes d’états, reliés par des arcs orientés qui décrivent les transitions. Les diagrammes d’états-tran-sitions permettent de décrire les changements d’états d’un objet ou d’un composant, en réponse aux interactions avec d’autres objets/composants ou avec des acteurs.
Un état se caractérise par sa durée et sa stabilité, il représente une conjonction instanta-née des valeurs des attributs d’un objet. Une transition représente le passage instantané d’un état vers un autre. Une transition est déclenchée par un événement. En d’autres termes : c’est l’arrivée d’un événement qui conditionne la transition. Les transitions peuvent aussi être auto-matiques, lorsqu’on ne spécifie pas l’événement qui la déclenche.
En plus de spécifier un événement précis, il est aussi possible de conditionner une tran-sition, à l’aide de « gardes » : il s’agit d’expressions booléennes, exprimées en langage naturel (et encadrées de crochets).

Super-Etat, historique et souches

Un super-état est un élément de structuration des diagrammes d’états-transitions (il s’agit d’un état qui englobe d’autres états et transitions).
Le symbole de modélisation « historique », mémorise le dernier sous-état actif d’un super-état, pour y revenir directement ultérieurement.
Exemple :
Le diagramme d’états-transitions ci-dessous, montre les différents états par lesquels passe une machine à laver les voitures. En phase de lustrage ou de lavage, le client peut appuyer sur le bouton d’arrêt d’urgence. S’il appuie sur ce bouton, la machine se met en attente. Il a alors deux minutes pour reprendre le lavage ou le lustrage (la machine continue en phase de lavage ou de lustrage, suivant l’état dans lequel elle a été interrompue), sans quoi la machine s’arrête. En phase de séchage, le client peut aussi interrompre la machine. Mais dans ce cas, la machine s’arrêtera définitivement (avant de reprendre un autre cycle entier).

……….