1. L'expéditeur veut recevoir le message.
~énératIon ~~s ~~agrammes 4'LLM1 à
yartIr ~~ yrogrammes DT
C~~pItre 2 : LLMJ
2. L'expéditeur veut être omis de l'ensemble
des bénéficiaires. Les messages peuvent être :
1. Asynchrones : dans ce cas la flèche est
vide.
2. Synchrones : dans ce cas la flèche est
pleine.
Figure 2.16: Notation des messages synchrones
et asynchrones [Mic05]
L'acte de communication est annoté dans le diagramme de
séquence AUML sur la flèche dont l'expéditeur est
l'origine de la flèche et le récepteur est à sa pointe
[Mic05]. Ainsi, le langage et l'ontologie sont écrits
dans un commentaire lié au diagramme. Ainsi, en raison de clarté
le contenu du message n'est pas toujours inclus, mais peut être
ajouté à la droite de la flèche
[Mic05].
Les échanges de message peuvent comporter des contraintes,
et celles ci se notent prés de l'origine entre crochets « [] »
[Mic05].
[condition] <<blocking>>
[condition]
(a) (b)
a)- pour noter une contrainte non bloquante
[Gen03].
b)- pour noter une contrainte bloquante
[Gen03].
Les contraintes de temps permettent d'imposer un certain rythme
dans le protocole [Mic05]. Deux notations existent dans le
diagramme de séquence AUML:
~énératIon ~~s ~~agrammes 21'LLM1 à
yartIr ~~ yrogrammes DT
C~~pItre 2 : LLM~
Les bornes inférieures et supérieures peuvent
être soit des nombres naturels tels que {0..3} (le message doit
être reçu après 3 unités de temps) ou bien sur le
temps d'observation tels que {0..t+3} (le message doit être reçu
entre maintenant et le temps d'observation plus 3 unités de temps)
[Gen03]. Les contraintes de temps absolues sont écrites
sous une forme libre c'est-à-dire ça peut être une date
comme 23/04/2003 14:00 ou une heure ou toute combinaison de ces deux
contraintes [Gen03].
Figure 2. 17: la notation de la contrainte de
temps en AUML [Gen03]
Figure 2. 18: la notation de la contrainte du
temps alternative en AUML [Gen03]
Generation des diagrammes YlliitiL d partir de
programmes JYlDE
| 
