Books for you

The interaction operator break is similar to opt . They differ in that the enclosing
interaction is terminated when the break operand has been traversed. In
FIGURE 3-74
Example for the interaction operator ???alt.???
:System :Sub System1 :Sub System2
sinitialize()
alt
restart()
sd System start
Interaction
operand
Combined fragment
Interaction
operand
[s.isOk()]
initialize()
[else]
209
Figure 3.75 , the subsequent initialize( ) call is not executed if the condition of
the break operand is true.
Parallel fragments are marked with the interaction operator par . The two messages
in Figure 3.76 can occur concurrently or in any sequence.
A loop is specifi ed by the interaction operator loop . You can state a minimum
and maximum number of loop traversals as well as a termination condition. The
3.8 Interaction Diagrams
FIGURE 3-75
Example for the interaction operator ???break.???
:System :SubSystem1
sinitialize()
break
:SubSystem2
restart()
initialize()
sd System start
[s.isNotOk()]
FIGURE 3-76
Example for the interaction operator ???par.


Pages:
378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402