Annex B (normative) StateMachines ToC Previous Next

B.4 Representation of state machines in the AddressSpace ToC Previous Next

B.4.9 InitialStateType ToC Previous Next index

The InitialStateType is a subtype of the StateType and is formally defined in Table B.8. An Object of the InitialStateType represents the State that a FiniteStateMachine enters when it is activated. Each FiniteStateMachine can have at most one State of type InitialStateType, but a FiniteStateMachine does not have to have a State of this type.

A SubStateMachine goes 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 SubStateMachine goes into that State instead of the initial State. The two scenarios are illustrated in Figure B.6. The transition from State5 to State6 causes the SubStateMachine to go into the initial State (State7), however, the transition from State4 to State8 causes the parent machine to go to State6 and the SubStateMachine will go to State8.

readme_files/image016.png Figure B.6 – Example of an initial State in a sub-machine

If no initial state for a SubStateMachine exists and the State having the SubStateMachine is entered directly, then the State of the SubStateMachine is server-specific.

Table B.8 – InitialStateType Definition

Attribute Value
BrowseName InitialStateType
IsAbstract False

Subtype of the StateType defined in B.4.8

Previous Next