The ElseGuardVariableTypeis a specialization of the GuardVariableTypedefining a concrete semantic for the Guard. The value of the Guardshould always be {"en", "Else"} or a translation of this. The ElseGuardVariableTypeshall only be used on pseudo states like the ChoiceStateType. That means, that it shall only be referenced from Transitions having such a StateTypeas SourceNode. The ElseGuardVariableTypeshall only be used once for each State. That means, that each State shall at most have one Transition(referenced as SourceNode) referencing an ElseGuardVariableType. The ElseGuardVariableTypeshall be the only Guardof a Transition. That means, if a Transitionreferences an instance of an ElseGuardVariableType, it shall not reference any other Guards.
The semantic of the ElseGuardVariableTypeis, that if a pseudo state is reached and no other Transition exists on the State where all its Guardsare validated to "True", this Guards validates to "True" and thus its Transitionis used.
The ElseGuardVariableTypeis formally defined in Table 22.
Table 22– ElseGuardVariableType definition
Attribute |
Value |
||||
BrowseName |
ElseGuardVariableType |
||||
DataType |
LocalizedText |
||||
ValueRank |
−1 (−1 = Scalar) |
||||
IsAbstract |
False |
||||
References |
NodeClass |
BrowseName |
DataType |
TypeDefinition |
ModellingRule |
Subtype of the GuardVariableType defined in Clause 4.6.4 |
|||||
Conformance Units |
|||||
Base Info Choice States |