UniversalBehavior
The Any Action UniversalBehavior operator (_) stands for the invocation of any single atomic action in the context signature. Note that two of these operators are required to represent a call and its return. The Any Sequence UniversalBehavior operator (...) represents zero or more repetitions of any actions in the context signature. It is equivalent to _*.
Syntax Definition
UniversalBehavior ::= ( ... | _ ) .
Remarks
It can be syntactically reduced as follows: ... -> _*
Example
The following Cord code shows the use of the UniversalBehavior operators. This code is extracted from the stand-alone Operators sample (see Finding the Code Samples).
machine AnyAction() : PartyActivities
{
Eat; _ ; _
}
machine RepetitionOfAnyAction() : PartyActivities
{
Eat; ...
}
The example also shows use of the Tight SequencingBehavior operator (;).