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.