interface |
IAActionExecSpec |
|
interface |
IAAlt |
The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.
|
interface |
IAAssert |
The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.
|
interface |
IABehaviorExecSpec |
|
interface |
IABreak |
The interactionOperator 'break' designates that the CombinedFragment represents a breaking scenario in the sense that the operand is a scenario that is performed instead of the remainder of the enclosing InteractionFragment.
|
interface |
IACombined |
|
interface |
IAConsider |
The interactionOperator 'consider' designates which messages should be considered within this combined fragment.
|
interface |
IAContinuation |
|
interface |
IACritical |
The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.
|
interface |
IAExecOccSpec |
An ExecutionOccurrenceSpecification represents moments in time which actions or behaviors start or finish at.
|
interface |
IAExecSpec |
An ExecutionSpecification is a specification of the execution of a unit of behavior or action within the lifeline.
|
interface |
IAIgnore |
The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.
|
interface |
IAInteraction |
|
interface |
IALoop |
The interactionOperator 'loop' designates that the CombinedFragment represents a loop.
|
interface |
IAMessageOccSpec |
|
interface |
IANeg |
The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.
|
interface |
IAOccSpec |
An OccurrenceSpecification is the basic semantic unit of interactions.
|
interface |
IAOperand |
|
interface |
IAOpt |
The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.
|
interface |
IAPar |
The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.
|
interface |
IASeq |
The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.
|
interface |
IAStateInvariant |
A StateInvariant is a runtime constraint on the participants of the interaction.
|
interface |
IAStrict |
The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.
|
interface |
IAUse |
|