Extensions.StateMachineProcedure.Transition

Classification

Name	Transition
Short Description	A transition is a possible switch from one state to another.
Class	Named And Specified
Base Data Type
Default Value	Empty
Provide a Literal	No
SpecifiedBy	ISO 13209-4
Standard Compliant	Yes

Description

A transition is a possible switch from one state to another. If the condition in a transition evaluates to true, no further transitions will be checked, if available the flow of this transition is executed, it leaves the current state and switches to the target state. The target state can be an arbitrary state inside this ProcedureRealisation as well as the same state. All conditions of the transitions collection should be checked according to Core_Chk055 "unreachable nodes" .

Sample

	transition({Trigger1}) : Transition1 target State1
	{
	}

Checker rules

Core_Chk055	Unreachable nodes
StateMachineProcedure_Chk002	Mandatory target state
StateMachineProcedure_Chk003	No target state for completed state
StateMachineProcedure_Chk009	Correct nesting of transition target state
StateMachineProcedure_Chk011	unreachable states