Database Reference
In-Depth Information
Figure 9: Second Intermediate Snapshot Diagram
Table 1: Maps
T
0
T
(
M
:
StateMachine
) ⇒
MMM
D
:
SnapshotStateMachine
Snapshot
StateMachine
T
0
create
MMM
D
as copy of
M
with
MMM
D
do
activeStateConfi guration.activeState←top.stateConfi guration( )
TTT
(
MMM
:
SnapshotStateMachine, currentEvent : Event
) ⇒
MMM
:
IntermediateStateMachine1
create
MMM
1
1
as copy of
MMM
with
MMM
do
enabled.CompoundTransition←computeEnabled(currentEvent,
MMM .
activeStateConfi guration)
TTT
(
MMM
:
IntermediateStateMachine1
) ⇒
MMM
:
IntermediateStateMachine2
create
MMM
as copy of
2
as copy of
MMM
with
MMM
2
2
do
step←computeStep(
MMM .
enabledCompoundTransition)
TTT
(
MMM
:
IntermediateStateMachine2
) ⇒
M
'
D
:
SnapshotSt
SnapshotS ateMachine
SnapshotS
t
create
M
'
D
as copy of
D
as copy of
MMM
with
M
'
D
do
MMM .
step.execute( )
