Admin CliCours
1. La plupart des messages portent f comme nom.
f est un message sans argument.
f( 0 ) est un message qui reçoit en argument la valeur 0.
f( x ) est un message qui reçoit la valeur de x en argument.
f( x = 0 ) est un message qui reçoit un argument x ayant pour valeur 0. f( y = x ) est un message ayant un argument y qui prend la valeur de x. f( – ) est un message avec un argument non défini.
f( x, y ) est un message qui reçoit en arguments les valeurs de x et de y.
* est un message de type quelconque.
y = f est un message de réponse à un message f ; la valeur de retour est affectée à y.
y = f( 0 ) est un message de réponse à un message f( 0 ) ; la valeur de retour est affectée à y.
y = f( x = 0 ) est un message de réponse à un message f( x = 0) ; la valeur de retour est affectée à y.
y = f( x ) : 0 est un message de réponse à un message f( x ) ; la valeur de retour 0 est affectée à y.
2. La syntaxe des messages dans les diagrammes de communication est de la forme :
[<numéroSéquence>] [<expression>] : <message>
où message a la même syntaxe et la même signification que dans les diagrammes de séquence.
f est un message sans argument.
y := f( x ) est un message qui est suivi de l’exécution chez le récepteur d’une réaction
(par exemple, l’invocation d’une opération) ; le résultat de la réaction est affecté à y.
1: f est un message sans argument qui porte le numéro de séquence 1.
1.1: f est un message emboîté sans argument qui porte le numéro de séquence 1.1.
[x>0] : f est un message sans argument qui n’est émis que si la condition x > 0 est vraie.
*[x>0] : f est un message sans argument qui est émis tant que la condition x > 0 est vraie.
*[i :=0..10] : f est un message sans argument qui est émis onze fois (pour i allant de
0 à 10).
1 *[i :=0..10] : f est un message sans argument, portant le numéro de séquence 1, qui est émis onze fois (pour i allant de 0 à 10).
1.a *[i :=0..10] : f est un message sans argument, portant le numéro de séquence 1, qui est émis onze fois (pour i allant de 0 à 10) dans un flot d’exécution parallèle identifié par le caractère a.
