Hinweis
Für den Zugriff auf diese Seite ist eine Autorisierung erforderlich. Sie können versuchen, sich anzumelden oder das Verzeichnis zu wechseln.
Für den Zugriff auf diese Seite ist eine Autorisierung erforderlich. Sie können versuchen, das Verzeichnis zu wechseln.
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 (;).