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.