Package de.mid.innovator.srv2api.icw2ia

The Interaction package describes the concepts needed to express Interactions.

See:
          Description

Interface Summary
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 an IALifeline.
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 An ExecutionOccurrenceSpecification represents moments in time which actions or behaviors start or finish at.
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
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.
 

Enum Summary
IAActionExecSpec.VAttr  
IABehaviorExecSpec.VAttr  
IACallMessage.VAttr  
IACombined.VAttr  
IAConsider.VAttr  
IAConstraint.VAttr  
IAContinuation.VAttr  
IACovered.VAttr  
IACovering.VAttr  
IACreateMessage.VAttr  
IADestructMessage.VAttr  
IAExecOccSpec.VAttr  
IAExecSpec.VAttr  
IAFragment.VAttr  
IAGate.VAttr  
IAIgnore.VAttr  
IAInteraction.VAttr  
IALifeline.VAttr  
IALoop.VAttr  
IALostAndFound.VAttr  
IAMessage.VAttr  
IAMessageEnd.VAttr  
IAMessageOccSpec.VAttr  
IAOccSpec.VAttr  
IAOperand.VAttr  
IAOrdering.VAttr  
IAReplyMessage.VAttr  
IASignalMessage.VAttr  
IAStateInvariant.VAttr  
IAUse.VAttr  
 

Package de.mid.innovator.srv2api.icw2ia Description

The Interaction package describes the concepts needed to express Interactions.