Mappages entre les notations des éléments de modèle dans un diagramme d'état

La table de mappage relative aux éléments de modèle dans un diagramme d'état permet d'identifier les différences entre UML 1.4 et la version d'UML actuellement prise en charge.
UML 1.4 Version d'UML prise en charge
Action Activité UML (pour les actions qui apparaissent sur les transitions et les états)
Remarque : La condition (si elle existe) d'une action Rose est importée comme contrainte de garde sur une auto-transition. Sa spécification est une expression opaque (OpaqueExpression) avec un corps spécifié comme expression de condition Rose lorsque l'implémentation de l'action ou de la transition Send Event résulte de l'auto-transition de l'activité.
OnEntry (Action) Activité Entry (entrée)
Do (Action) Activité Do (faire)
OnExit (Action) Activité Exit (sortie)
Remarque : Les occurrences multiples des activités Entry, Exit et Do sont concaténées dans le corps d'une seule et même activité, car la version d'UML prise en charge n'autorise qu'une seule activité de chaque genre dans un état.
Activité État
Décision Pseudo-état dont la propriété Kind a pour valeur Choice.
Evénement

Si l'événement appartient à un état, il est mappé avec une auto-transition appartenant à un état.

Si l'événement est spécifié sur une relation d'auto-transition, il est mappé avec une garde dans la relation d'auto-transition.

Tout événement appartenant à une relation d'auto-transition est mappé avec un déclencheur UML quelconque.

Remarque : Un événement (éventuellement avec arguments) qui déclenche une action est importé comme déclencheur UML sur une auto-transition. Le nom du déclencheur reflète celui de l'événement Rose et la liste de ses arguments.
(Send Event) avec arguments sur une transition et une cible d'envoi Propriété body d'une activité sans nom appartenant à une transition
Argument d'événement Nom de tout déclencheur (AnyTrigger)
État État
(Etat initial) Pseudo-état dont la propriété Kind a pour valeur Initial
(Etat d'historique superficiel) Pseudo-état dont la propriété Kind a pour valeur shallowHistory
(Etat d'historique approfondi) Pseudo-état dont la propriété Kind a pour valeur deepHistory
Diagramme d'état Diagramme d'état-transition

Si des diagrammes sont imbriqués, ils sont déplacés plus haut dans l'arborescence de confinement et deviennent la propriété de la machine d'état.

Machine d'état (appartenant à une opération) Machine d'état (appartenant à la classe d'une opération)

L'opération référence la machine d'état comme étant sa méthode.

Barre de synchronisation Pseudo-état dont la propriété Kind a pour valeur join ou fork.
Evénement de transition Tout déclencheur
Transition Guard Contrainte dont le corps de spécification est égal au texte de la transition Guard.
Transition Send Event Le nom, la cible et les arguments de la transition Send Event sont combinés dans le corps de l'activité créée pour l'action Rose.

Vos commentaires