Définir des modes exclusifs et parallèles à l’aide de la décomposition des états
Chaque état (ou diagramme) présente une décomposition qui dicte quel type de sous-états l’état (ou diagramme) peut contenir. Tous les sous-états d’un super-état doivent être du même type que la décomposition du super-état. La décomposition des états peut être exclusive (OR) ou parallèle (AND).
Décomposition des états exclusive (OR)
Les sous-états à bords solides indiquent une décomposition des états exclusive (OR). Utilisez cette décomposition pour décrire des modes de fonctionnement mutuellement exclusifs. Quand un état présente une décomposition exclusive (OR), un seul sous-état peut être actif à la fois.
Par exemple, dans ce diagramme, soit l’état A soit l’état B peut être actif. Si l’état A est actif, soit l’état A1 soit l’état A2 peut être actif à un moment donné.
Décomposition des états parallèle (AND)
Les sous-états à bords en pointillés indiquent une décomposition parallèle (AND). Utilisez cette décomposition pour décrire des modes de fonctionnement concurrents. Quand un état présente une décomposition parallèle (AND), tous les sous-états sont actifs en même temps.
Dans l’exemple suivant, quand l’état A est actif, A1 et A2 sont tous les deux actifs au même moment.
Cette activité dans les états parallèles est essentiellement indépendante, comme démontré dans l’exemple suivant.
Dans l’exemple suivant, quand l’état A devient actif, B et C deviennent tous les deux actifs au même moment. Quand l’état C devient actif, soit l’état C1 soit l’état C2 peut être actif.
Spécifier la décomposition des sous-états
Vous spécifiez si un sous-état contient des états parallèles (AND) ou des états exclusifs (OR) en définissant sa décomposition. Un état dont les sous-états sont tous actifs, quand il est actif, présente une décomposition parallèle (AND). Un état dans lequel un seul sous-état est actif, quand il est actif, présente une décomposition exclusive (OR).
Pour modifier la décomposition d’un état, sélectionnez l’état, faites un clic droit sur l’état pour afficher le menu contextuel Decomposition et sélectionnez OR (Exclusive) ou AND (Parallel) depuis le menu.
Vous pouvez également spécifier la décomposition des états d’un diagramme. Dans ce cas, le diagramme Stateflow® traite ses états de niveau supérieur comme des sous-états. Le diagramme crée des états à décomposition exclusive. Pour spécifier la décomposition d’un diagramme, désélectionnez tout objet sélectionné, faites un clic droit sur le diagramme pour afficher le menu contextuel Decomposition et sélectionnez OR (Exclusive) ou AND (Parallel) depuis le menu.
L’apparence des sous-états indique la décomposition de leur super-état. Les sous-états exclusifs ont des bords solides, les sous-états parallèles, des bords en pointillés. Un sous-état parallèle contient également un nombre dans son coin supérieur droit. Ce nombre indique l’ordre d’activation du sous-état par rapport à ses sous-états frères.
