4.2.5 State transitions

A standard set of state transitions is defined for the Program Finite State Machine. These transitions define the valid changes to the Program’s current state in terms of an initial state and a resultant state. The transitions are formally defined in Table 3.

Table 3 – Program state transitions
Transition no.Transition nameInitial stateResultant state
1HaltedToReadyHaltedReady
2ReadyToRunningReadyRunning
3RunningToHaltedRunningHalted
4RunningToReadyRunningReady
5RunningToSuspendedRunningSuspended
6SuspendedToRunningSuspendedRunning
7SuspendedToHaltedSuspendedHalted
8SuspendedToReadySuspendedReady
9ReadyToHaltedReadyHalted