Package de.mid.innovator.srv2api.icw2ia
The Interaction package describes the concepts needed to express interactions.
-
Interface Summary Interface Description IAActionExecSpec ActionExecutionSpecification is a kind of ExecutionSpecification that represents the execution of an action.IAAlt The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.IAAssert The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.IABehaviorExecSpec BehaviorExecutionSpecification is a kind of ExecutionSpecification that represents the execution of a behavior.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.IACallMessage The message is generated by a call to an operation.IACombined A combined fragment defines an expression of interaction fragments.IAConsider The interactionOperator 'consider' designates which messages should be considered within this combined fragment.IAConstraint An InteractionConstraint is a Boolean expression that guards an operand in a CombinedFragment.IAContinuation A Continuation is a syntactic way to define continuations of different branches of an Alternative CombinedFragment.IACovered This is a utility class for IACovered that provides static methods for creation or other purposes.IACovering An element which can cover anIALifeline.IACreateMessage The message that designates the creation of another lifeline object.IACritical The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.IADestructMessage The message that designates the termination of another lifeline.IAExecOccSpec IAExecSpec An ExecutionSpecification is a specification of the execution of a unit of behavior or action within the lifeline.IAFragment InteractionFragment is an abstract notion of the most general interaction unit.IAGate A gate is a connection point for relating a message outside an InteractionFragment with a message inside an InteractionFragment.IAIgnore The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.IAInteraction An interaction is a unit of behavior that focuses on the observable exchange of information between ConnectAbleElements.IALifeline A lifeline represents an individual participant in the iteraction.IALoop The interactionOperator 'loop' designates that the CombinedFragment represents a loop.IALostAndFound IAMessage A message is a NamedElement that defines one specific kind of communication in an interaction.IAMessageEnd A MessageEnd is an abstract NamedElement that represents what can occur at the end of a message.IAMessageOccSpec Specifies the occurrence of message events, such as sending and receiving of signals or invoking or receiving of operation calls.IANeg The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.IAOccSpec An OccurrenceSpecification is the basic semantic unit of interactions.IAOperand An InteractionOperand is contained in a CombinedFragment.IAOpt The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.IAOrdering A GeneralOrdering represents a binary relation between two OccurrenceSpecifications to describe that one OccurrenceSpecification must occur before the other in a valid trace.IAPar The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.IAReplyMessage The message is a reply message to an operation call.IASeq The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.IASignalMessage The message was generated by the asynchronous sending of a signal.IAStateInvariant A StateInvariant is a runtime constraint on the participants of the interaction.IAStrict The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.IAUse An InteractionUse refers to an interaction. -
Class Summary Class Description ARG_IAOperandInsertAtSelection IAActionExecSpecHelper ActionExecutionSpecification is a kind of ExecutionSpecification that represents the execution of an action.IAAltHelper The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.IAAssertHelper The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.IABehaviorExecSpecHelper BehaviorExecutionSpecification is a kind of ExecutionSpecification that represents the execution of a behavior.IABreakHelper 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.IACallMessageHelper The message is generated by a call to an operation.IAConsiderHelper The interactionOperator 'consider' designates which messages should be considered within this combined fragment.IAConstraintHelper An InteractionConstraint is a Boolean expression that guards an operand in a CombinedFragment.IAContinuationHelper A Continuation is a syntactic way to define continuations of different branches of an Alternative CombinedFragment.IACreateMessageHelper The message that designates the creation of another lifeline object.IACriticalHelper The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.IADestructMessageHelper The message that designates the termination of another lifeline.IAIgnoreHelper The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.IAInteractionHelper An interaction is a unit of behavior that focuses on the observable exchange of information between ConnectAbleElements.IALifelineHelper A lifeline represents an individual participant in the iteraction.IALoopHelper The interactionOperator 'loop' designates that the CombinedFragment represents a loop.IALostAndFoundHelper This is a utility class for IALostAndFound that provides static methods for creation or other purposes.IANegHelper The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.IAOperandHelper An InteractionOperand is contained in a CombinedFragment.IAOptHelper The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.IAOrderingHelper A GeneralOrdering represents a binary relation between two OccurrenceSpecifications to describe that one OccurrenceSpecification must occur before the other in a valid trace.IAParHelper The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.IAReplyMessageHelper The message is a reply message to an operation call.IASeqHelper The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.IASignalMessageHelper The message was generated by the asynchronous sending of a signal.IAStateInvariantHelper A StateInvariant is a runtime constraint on the participants of the interaction.IAStrictHelper The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.IAUseHelper An InteractionUse refers to an interaction.