The TMCStateMachineTypedescribes the finite state machine of a complex automation item including a machine module, an equipment module and a control module.
The TMCStateMachineTypeis modelled and inherits from the PackMLBaseStateMachineTypedefined in OPC 30050 - UA for PackML (OMAC) v1.01 and provides additional TMCMachineStateMachineTypeand transition information by means of guards implemented by the BooleanGuardVariableType.
The TMCStateMachineTypeis formally defined in the following table.
Table 120– TMCStateMachineType Definition
|
Attribute |
Value |
||||
|
BrowseName |
TMCStateMachineType |
||||
|
IsAbstract |
False |
||||
|
References |
Node Class |
BrowseName |
DataType |
TypeDefinition |
Other |
|
Subtype of the PackMLBaseStateMachineType defined in OPC 30050, i.e. inheriting the Instance Declarations of that Node. |
|||||
|
0:HasComponent |
Method |
3:Abort |
See OPC 30050, PackMLStateMachineType. |
O |
|
|
0:HasComponent |
Object |
Aborted |
|
0:StateType |
|
|
0:HasComponent |
Object |
AbortedSubstate |
|
StateMachineType |
O |
|
0:HasComponent |
Object |
AbortedToCleared |
|
0:TransitionType |
|
|
0:HasComponent |
Variable |
AbortedToClearedGuard |
0:LocalizedText |
BooleanGuardVariableType |
M, RW |
|
0:HasComponent |
Object |
Aborting |
|
0:StateType |
|
|
0:HasComponent |
Object |
AbortingToAborted |
|
0:TransitionType |
|
|
0:HasComponent |
Variable |
AbortingToAbortedGuard |
0:LocalizedText |
BooleanGuardVariableType |
M, RW |
|
0:HasComponent |
Method |
3:Clear |
See OPC 30050, PackMLStateMachineType. |
O |
|
|
0:HasComponent |
Object |
Cleared |
|
0:StateType |
|
|
0:HasComponent |
Object |
ClearedToAborting |
|
0:TransitionType |
|
|
0:HasComponent |
Variable |
ClearedToAbortingGuard |
0:LocalizedText |
BooleanGuardVariableType |
M, RW |
|
0:HasComponent |
Variable |
LastTransition |
0:LocalizedText |
0:FiniteTransitionVariableType |
M, RO |
|
0:HasComponent |
Object |
MachineState |
|
TMCMachineStateMachineType |
M |
|
0:GeneratesEvent |
ObjectType |
TransitionEventType |
|
|
M |
|
Conformance Units |
|||||
|
TMC Advanced Equipment Module and Control Module Status |
|||||
The components of the TMCStateMachineTypeare described in OPC 30050 UA for PackML from which the PackMLBaseStateMachineTypeis subtyped.
Each transition has a guard of type BooleanGuardVariableType which has one or more Condition components. Each Condition component is necessary to trigger the transition. When all the Condition components are True, the transition is triggered (sufficient).
The AbortedSubstateis a state machine that provides the states and transitions specific to the implementation and performed while the main state machine is in the Abortedstate. Similarly for Execute.
The component Variablesof the TMCStateMachineType have additional Attributesdefined in the following table.
Table 121– TMCStateMachineType Attribute Values for Child Nodes
|
BrowsePath |
Value Attribute |
||
|
9 |
||
|
8 |
||
|
19 |
The components of the TMCStateMachineType have additional references which are defined in the following table.
Table 122– TMCStateMachineType Additional References
|
SourceBrowsePath |
Reference Type |
Is Forward |
TargetBrowsePath |
|
Aborted |
0:HasSubStateMachine |
True |
AbortedSubstate |
|
AbortedToCleared |
0:FromState |
True |
Aborted |
0:HasGuard |
True |
AbortedToClearedGuard |
0:HasCause |
True |
3:Clear |
0:ToState |
True |
Cleared |
0:HasEffect |
True |
TransitionEventType |
|
AbortingToAborted |
0:FromState |
True |
Aborting |
0:HasGuard |
True |
AbortingToAbortedGuard |
0:ToState |
True |
Aborted |
0:HasEffect |
True |
TransitionEventType |
|
ClearedToAborting |
0:FromState |
True |
Cleared |
0:HasGuard |
True |
ClearedToAbortingGuard |
0:HasCause |
True |
3:Abort |
0:ToState |
True |
Aborting |
0:HasEffect |
True |
TransitionEventType |