definining a machine state
· 4 min read
Finite State machines can be easily defined with the Sterfive opcua modeler.
@startuml
1022: Initializing
1024: Running
1026: Ended
1028: Interrupted
1030: Aborted
1030 --> 1022 : Aborted\nTo\nInitializing\nTransition
1026 --> 1022 : Ended\nTo\nInitializing\nTransition
1022 --> 1030 : Initializing\nTo\nAborted\nTransition
1022 --> 1024 : Initializing\nTo\nRunning\nTransition
1028 --> 1030 : Interrupted\nTo\nAborted\nTransition
1028 --> 1024 : Interrupted\nTo\nRunning\nTransition
1024 --> 1030 : Running\nTo\nAborted\nTransition
1024 --> 1026 : Running\nTo\nEnded\nTransition
1024 --> 1028 : Running\nTo\nInterrupted\nTransition
1024 --> 1024 : Running\nTo\nRunning\nTransition
@enduml
| Attribute | Value |
|---|---|
| BrowseName | 1:ProductionStateMachineType |
| IsAbstract | No |
| SubtypeOf | FiniteStateMachineType |
| Reference | NodeClass | BrowseName | ModellingRule | TypeDefinition | DataType |
|---|---|---|---|---|---|
| Components | |||||
| HasComponent | Object | 1:Initializing | StateType | ||
| HasComponent | Object | 1:Running | StateType | ||
| HasComponent | Object | 1:Ended | StateType | ||
| HasComponent | Object | 1:Interrupted | StateType | ||
| HasComponent | Object | 1:Aborted | StateType | ||
| HasComponent | Object | 1:AbortedToInitializingTransition | TransitionType | ||
| HasComponent | Object | 1:EndedToInitializingTransition | TransitionType | ||
| HasComponent | Object | 1:InitializingToAbortedTransition | TransitionType | ||
| HasComponent | Object | 1:InitializingToRunningTransition | TransitionType | ||
| HasComponent | Object | 1:InterruptedToAbortedTransition | TransitionType | ||
| HasComponent | Object | 1:InterruptedToRunningTransition | TransitionType | ||
| HasComponent | Object | 1:RunningToAbortedTransition | TransitionType | ||
| HasComponent | Object | 1:RunningToEndedTransition | TransitionType | ||
| HasComponent | Object | 1:RunningToInterruptedTransition | TransitionType | ||
| HasComponent | Object | 1:RunningToRunningTransition | TransitionType |
States
| BrowseName | References | Target BrowseName | Value | Target Type Definition | Notes |
|---|---|---|---|---|---|
| Initializing | HasProperty | StateNumber | 0 | PropertyType | |
| FromTransition | InitializingToAbortedTransition | TransitionType | |||
| FromTransition | InitializingToRunningTransition | TransitionType | |||
| ToTransition | AbortedToInitializingTransition | TransitionType | |||
| ToTransition | EndedToInitializingTransition | TransitionType | |||
| Running | HasProperty | StateNumber | 1 | PropertyType | |
| FromTransition | RunningToAbortedTransition | TransitionType | |||
| FromTransition | RunningToEndedTransition | TransitionType | |||
| FromTransition | RunningToInterruptedTransition | TransitionType | |||
| FromTransition | RunningToRunningTransition | TransitionType | |||
| ToTransition | InitializingToRunningTransition | TransitionType | |||
| ToTransition | InterruptedToRunningTransition | TransitionType | |||
| ToTransition | RunningToRunningTransition | TransitionType | |||
| Ended | HasProperty | StateNumber | 2 | PropertyType | |
| FromTransition | EndedToInitializingTransition | TransitionType | |||
| ToTransition | RunningToEndedTransition | TransitionType | |||
| Interrupted | HasProperty | StateNumber | 3 | PropertyType | |
| FromTransition | InterruptedToAbortedTransition | TransitionType | |||
| FromTransition | InterruptedToRunningTransition | TransitionType | |||
| ToTransition | RunningToInterruptedTransition | TransitionType | |||
| Aborted | HasProperty | StateNumber | 4 | PropertyType | |
| FromTransition | AbortedToInitializingTransition | TransitionType | |||
| ToTransition | InitializingToAbortedTransition | TransitionType | |||
| ToTransition | InterruptedToAbortedTransition | TransitionType | |||
| ToTransition | RunningToAbortedTransition | TransitionType |