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.