Sauts de séquence et boucles de séquence

Saut de séquence

Un saut de séquence est un cas particulier de divergence en OU qui permet d'ignorer plusieurs étapes d'une séquence.

Un saut de séquence peut être réalisé avec des sauts ou avec des liaisons.

Si…	Alors
Si la condition de transition `a` est vraie,	une séquence est exécutée de `S_5_10` vers `S_5_11`, `S_5_12` et `S_5_13`.
Si la condition de transition `b` est vraie,	un saut est effectué directement de `S_5_10` à `S_5_13`.
Si la condition de transition `e` est vraie,	une séquence est exécutée de `S_5_10` vers `S_5_14` et `S_5_13`.

Une séquence en boucle est un cas spécial de divergence en OU dans lequel une ou plusieurs branches reconduisent à une étape antérieure.

Une séquence en boucle peut être réalisée avec des sauts ou avec des liaisons.

Si…	Alors
Si la condition de transition `a` est vraie,	une séquence s'exécute de `S_1_11` vers `S_1_12`.
Si la condition de transition `b` est vraie,	une séquence s'exécute de `S_1_12` vers `S_1_13`.
Si la condition de transition `b` est fausse et que `c` est vraie,	une séquence s'exécute de `S_1_12` vers `S_1_14`.
Si la condition de transition `f` est vraie,	un saut est réalisé à partir de `S_1_14` pour revenir à `S_1_12`.
La boucle établie depuis `S_1_12` à l'aide des conditions de transition `c` et `f` pour revenir à `S_1_12` est réitérée jusqu'à ce que la condition de transition `b` soit vraie ou que `c` soit fausse et `d` vraie.
Si les conditions de transition `b` et `c` sont fausses et que `d` est vraie,	un saut en arrière est effectué directement de `S_1_12` à `S_1_11`.
La boucle de `S_1_11` à `S_1_12` puis de nouveau à `S_1_11` via les conditions de transition `a` et `d` se répète jusqu'à ce que la condition de transition `b` ou `c` soit vraie.

Les boucles sans fin ne sont pas admises dans une séquence en OU.

Si…	Alors
Si la condition de transition `b` est vraie,	une séquence s'exécute de `S_1_1` vers `S_1_3`.
Si la condition de transition `e` est vraie,	un saut est exécuté vers `S_1_4`.
Si la condition de transition `f` est vraie,	un saut est exécuté vers `S_1_3`.
La boucle effectuée à partir de `S_1_3` via la condition de transition `e` vers S_1_4 via la condition de transition `f` et un saut de retour à `S_1_3` se répète désormais indéfiniment.