The InitialStateTypeis a subtype of the StateTypeand is formally defined in Table B.8. An Objectof the InitialStateTyperepresents the Statethat a FiniteStateMachineenters when it is activated. Each FiniteStateMachinecan have at most one Stateof type InitialStateType, but a FiniteStateMachinedoes not have to have a Stateof this type.

A SubStateMachinegoes into its initial state whenever the parent state is entered. However, a state machine may define a transition that goes directly to a state of the SubStateMachine. In this case the SubStateMachinegoes into that Stateinstead of the initial State. The two scenarios are illustrated in Figure B.6. The transition from State5 to State6 causes the SubStateMachineto go into the initial State(State7), however, the transition from State4 to State8 causes the parent machine to go to State6 and the SubStateMachinewill go to State8.

image017.png

Figure B.6– Example of an initial State in a sub-machine

If no initial state for a SubStateMachineexists and the Statehaving the SubStateMachineis entered directly, then the Stateof the SubStateMachineis server-specific.

Table B.8– InitialStateType Definition

Attribute

Value

BrowseName

InitialStateType

IsAbstract

False

References

NodeClass

BrowseName

DataType

TypeDefinition

ModellingRule

Subtype of the StateTypedefined in B.4.8