Figure 7– Example of a StateMachineType using inheritance

In Figure 7an example of a StateMachineis given using the Notation defined in OPC 10000-3. First, a new StateMachineTypeis defined, called "MyStateMachineType", inheriting from the base FiniteStateMachineType. It contains two States, "State1" and "State2" and a Transition"Transition1" between them. The Transitionpoints to a Method"MyMethod" as the Causeof the Transitionand an EventType"EventType1" as the Effectof the Transition.

Instances of "MyStateMachineType" can be created, for example "MyStateMachine". It has a Variable"CurrentState" representing the current State. The "MyStateMachine" Objectonly includes the Nodeswhich expose information specific to the instance.