Errata exists for this version of the document.
ProgramStateMachineType Transitions are instances of the TransitionType defined in OPC 10000-5 which also includes the definitions of the ToState, FromState, HasCause, and HasEffect references used. Table 7 specifies the transitions defined for the ProgramStateMachineType. Each transition is assigned a unique TransitionNumber. The Notes column indicates when a cause is referencing Methods and when effects are optional.
|
BrowseName |
References |
Target BrowseName |
Value |
Target TypeDefinition |
Notes |
|
Transitions |
|||||
|
HaltedToReady |
HasProperty |
TransitionNumber |
1 |
PropertyType |
|
|
|
ToState |
Ready |
|
StateType |
|
|
|
FromState |
Halted |
|
StateType |
|
|
|
HasCause |
Reset |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
ReadyToRunning |
HasProperty |
TransitionNumber |
2 |
PropertyType |
|
|
|
ToState |
Running |
|
StateType |
|
|
|
FromState |
Ready |
|
StateType |
|
|
|
HasCause |
Start |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
RunningToHalted |
HasProperty |
TransitionNumber |
3 |
PropertyType |
|
|
|
ToState |
Halted |
|
StateType |
|
|
|
FromState |
Running |
|
StateType |
|
|
|
HasCause |
Halt |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
RunningToReady |
HasProperty |
TransitionNumber |
4 |
PropertyType |
|
|
|
ToState |
Ready |
|
StateType |
|
|
|
FromState |
Runnning |
|
StateType |
|
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
RunningToSuspended |
HasProperty |
TransitionNumber |
5 |
PropertyType |
|
|
|
ToState |
Running |
|
StateType |
|
|
|
FromState |
Suspended |
|
StateType |
|
|
|
HasCause |
Suspend |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
SuspendedToRunning |
HasProperty |
TransitionNumber |
6 |
PropertyType |
|
|
|
ToState |
Running |
|
StateType |
|
|
|
FromState |
Suspended |
|
StateType |
|
|
|
HasCause |
Resume |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
SuspendedToHalted |
HasProperty |
TransitionNumber |
7 |
PropertyType |
|
|
|
ToState |
Halted |
|
StateType |
|
|
|
FromState |
Suspended |
|
StateType |
|
|
|
HasCause |
Halt |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
SuspendedToReady |
HasProperty |
TransitionNumber |
8 |
PropertyType |
|
|
|
ToState |
Ready |
|
StateType |
|
|
|
FromState |
Suspended |
|
StateType |
|
|
|
HasCause |
Reset |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
|
|
|
|
|
|
|
|
ReadyToHalted |
HasProperty |
TransitionNumber |
9 |
PropertyType |
|
|
|
ToState |
Halted |
|
StateType |
|
|
|
FromState |
Ready |
|
StateType |
|
|
|
HasCause |
Halt |
|
|
Method |
|
|
HasEffect |
ProgramTransitionEventType |
|
|
|
|
|
HasEffect |
AuditProgramTransitionEventType |
|
|
|
The HaltedToReady transition specifies the transition from the Halted to Ready states. It may be caused by the Reset Method.
The ReadyToRunning transition specifies the transition from the Ready to Running states. It is caused by the Start Method.
The RunningToHalted transition specifies the transition from the Running to Halted states. It is caused by the Halt Method.
The RunningToReady transition specifies the transition from the Running to Ready states. The RunningToSuspended transition specifies the Transition from the Running to Suspended states. It is caused by the Suspend Method.
The SuspendedToRunning transition specifies the transition from the Suspended to Running states. It is caused by the Resume Method.
The SuspendedToHalted transition specifies the transition from the Suspended to Halted states. It is caused by the Halt Method.
The SuspendedToReady transition specifies the transition from the Suspended to Ready states. It is caused internally.
The ReadyToHalted transition specifies the transition from the Ready to Halted states. It is caused by the Halt Method.
Two HasEffect references are specified for each Program transition. These effects are Events of ProgramTransitionEventType and AuditProgramTransitionEventType defined in 5.2.5. The ProgramTransitionEventType notifies Clients of the Program transition and conveys result data. The AuditProgramTransitionEventType is used to audit transitions that result from Program Control Methods. The “Audit Server Facet” Profile defined in OPC 10000-7 requires support of the AuditProgramTransitionEventType.
