Admin CliCours
Correction et résumé sur opérateurs d’interaction
Remarque:
Avec l’opérateur par, la séquence des événements d’un opérande peut être interrompue par d’autres occurrences d’événement venant d’autres opérandes. À certains moments, les interruptions sont malvenues. Si l’on ajoute au robot un pilote et un moteur (figure 3.52), le pilote a un rôle prépondérant et doit pouvoir à tout moment demander l’arrêt d’urgence du robot. La demande d’arrêt doit être impérativement suivie de l’arrêt du moteur du robot. L’opérateur critical est utilisé pour définir une section critique, c’est-à-dire une région d’une interaction où les traitements sont atomiques (réalisés en un bloc insécable).
Parfois, l’entrelacement des événements provenant de plusieurs opérandes n’est pas souhaitable pour tous les participants (les lignes de vie) à une interaction. L’opérateur seq empêche l’entrelacement des occurrences d’événement sur une même ligne de vie par t agée par plusieurs opérandes (c’est l’ordre des opérandes qui fixe le séquencement). L’entrelacement n’est possible que sur des lignes de vie différentes non soumises à l’opérateur seq.
