Pseudo-états de « choice » et de « junction »
Définition :
D'autres représentations sont possibles, en utilisant des pseudo-états.
Les pseudo-états sont des éléments graphiques permettant de préciser certaines règles de comportement d'une machine d'états. Il ne s'agit pas d'états dans la mesure où ces symboles ne correspondent pas à un état possible du composant étudié.
Choice :
Ce pseudo-état :
possède au moins une entrée et deux sorties ;
n'est atteint que lorsque l'évènement en amont apparaît..
Les conditions de garde sont toutes évaluées simultanément. L'évolution du système se poursuit si l'une condition située en aval est vraie. Les conditions de gardes doivent être exclusives. Le mot clé « else » peut être utilisé pour englober tout ce qui n'est pas décrit dans les autres expressions booléennes.
Junction :
Ce pseudo-état est généralement utilisés pour relier plusieurs états en amont à plusieurs états en aval.
Le comportement est semblable au pseudo-état « Choice », à la différence que pour qu'un chemin soit emprunté, l'une des conditions situées en aval de la jonction doit être vraie pendant que l'un des événements situés en amont se produit.
L'évaluation des conditions de garde situées en aval du point de jonction est réalisée avant que le pseudo-état (point de jonction) ne soit atteint.
