For the purposes of this document, the terms and definitions given in OPC 10000-1, OPC 10000-3, as well as the following apply.

programmatic task performed by a Server or device, usually accomplished by computer code execution

sequence of states and valid state transitions along with the causes and effects of those state transitions that define the actions of a Program in terms of discrete stages

type definition of a Program and is a subtype of the FiniteStateMachineType

Method having specific semantics designed for the control of a Program by causing a state transition

unique Object instance of a Program existing on a Server

Note 1 to entry: A Program Invocation is distinguished from other Object instances of the same ProgramStateMachineType by the object node’s unique browse path.