OPC 10000-16: UA Part 16: State Machines

---

Released 1.05.02

2022-11-01

This document is subject to the license terms described here.

The general OPC Foundation specification license agreement also applies and can be found here.

This document is a copy of the original which can be found here.

---

1 Scope 2 Normative references 3 Terms, definitions, abbreviated terms and conventions 3.1 Terms and definitions 4 State Machine Model 4.1 General 4.2 Examples of finite state machines 4.2.1 Simple state machine 4.2.2 State machine containing substates 4.3 Definition of state machine 4.4 Representation of state machines in the AddressSpace 4.4.1 Overview 4.4.2 StateMachineType 4.4.3 StateVariableType 4.4.4 TransitionVariableType 4.4.5 FiniteStateMachineType 4.4.6 FiniteStateVariableType 4.4.7 FiniteTransitionVariableType 4.4.8 StateType 4.4.9 InitialStateType 4.4.10 TransitionType 4.4.11 FromState 4.4.12 ToState 4.4.13 HasCause 4.4.14 HasEffect 4.4.15 HasSubStateMachine 4.4.16 TransitionEventType 4.4.17 AuditUpdateStateEventType 4.4.18 Special Restrictions on subtyping StateMachines 4.4.19 Specific StatusCodes for StateMachines 4.5 Examples of StateMachines in the AddressSpace 4.5.1 StateMachineType using inheritance 4.5.2 StateMachineType with a SubStateMachine using inheritance 4.5.3 StateMachineType using containment 4.5.4 Example of a StateMachine having Transition to SubStateMachine 4.5.5 Example of a StateMachine adding a SubStateMachine on a Subtype 4.6 StateMachine Extensions for ChoiceStates and Guards 4.6.1 Overview 4.6.2 ChoiceStateType 4.6.3 HasGuard 4.6.4 GuardVariableType 4.6.5 ExpressionGuardVariableType 4.6.6 ElseGuardVariableType 4.7 Example of a StateMachine using a ChoiceState and Guards