The current ACM state machine works but it is incosistent in the way it handles error states or failed transitions. A composition and its elements can get "stuck" in transition states.

We need to

• Specify what the current state machine is for both compositions and elements and describe what the state machine for both should be
• Specify what the behaviour of the runtime and participants should be in each state
• Specify what the behaviour should be for the runtime and participants should be in transitions

State Machine for Automation Compositions

Current State Machine

TBC

Proposed State Machine

State Machine for Automation Composition Elements

Current State Machine

TBC

Proposed State Machine