OPC 10000-16: OPC Unified Architecture

Part 16: State Machines

Release 1.05.00
2021-10-12

Copyright (c) 2021 OPC Foundation
Generated on 10/26/2021 4:48:10 PM.

This document is subject to the license terms described here.

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

Table of Contents

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