61 ).
The condition is a Boolean expression that can be stated in any language.
For example, you could use a formal language, such as OCL, or a programming
language, or a natural language such as English or German. Which one you use
depends on the runtime environment that will execute the state machine: man or
machine. There is no symbol for conditions. It can be denoted only in text form
near the transition.
The fl ow within a region is often infl uenced by the state that is active in another
region, particularly with orthogonal states. States can be polled by the OCL expression
oclInState(
) , which can be used as a condition. For example,
you could add a state poll, warmFront[oclInState(Day)] , to the transition
from the state cold to the state warm in Figure 3.60 .
The details of the behavior syntax depend on action language of the
model. Rather than in text form, actions can be denoted in rectangles on the
transition arrow. One of the frequent actions for sending signals is denoted
inside the symbol that is also used for send signal actions in the activity diagram
( Figure 3.
Pages:
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384