Message Flow: message label syntax (cont'd.)

Guard-condition:

'[' condition-clause ']' 
e.g.: [mode = evaluate]

Sequence-expression:

[integer | name] [recurrence] ':'
e.g.: 2 *[n := 1..z]:

[integer | name]
e.g.: 1.2.3.7:
      1.1a, 1.1b/1.2:

[recurrence]
conditional: '[' condition-clause ']'
e.g.: [x<0]
iteration: '*' '[' iteration-clause ']'
e.g.: *[x=1..10]     (

Return-value := Signature:

return-value := signature
eg.g.: x := calc(n)
       prim := nextPrim(prim)