Package de.mid.innovator.srv2api.icw2ia
package de.mid.innovator.srv2api.icw2ia
The Interaction package describes the concepts needed to express interactions.
-
ClassDescriptionActionExecutionSpecification is a kind of ExecutionSpecification that represents the execution of an action.ActionExecutionSpecification is a kind of ExecutionSpecification that represents the execution of an action.The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.BehaviorExecutionSpecification is a kind of ExecutionSpecification that represents the execution of a behavior.BehaviorExecutionSpecification is a kind of ExecutionSpecification that represents the execution of a behavior.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.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.The message is generated by a call to an operation.The message is generated by a call to an operation.A combined fragment defines an expression of interaction fragments.The interactionOperator 'consider' designates which messages should be considered within this combined fragment.The interactionOperator 'consider' designates which messages should be considered within this combined fragment.An InteractionConstraint is a Boolean expression that guards an operand in a CombinedFragment.An InteractionConstraint is a Boolean expression that guards an operand in a CombinedFragment.A Continuation is a syntactic way to define continuations of different branches of an Alternative CombinedFragment.A Continuation is a syntactic way to define continuations of different branches of an Alternative CombinedFragment.This is a utility class for IACovered that provides static methods for creation or other purposes.An element which can cover an
IALifeline.The message that designates the creation of another lifeline object.The message that designates the creation of another lifeline object.The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.The message that designates the termination of another lifeline.The message that designates the termination of another lifeline.An ExecutionSpecification is a specification of the execution of a unit of behavior or action within the lifeline.InteractionFragment is an abstract notion of the most general interaction unit.A gate is a connection point for relating a message outside an InteractionFragment with a message inside an InteractionFragment.The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.An interaction is a unit of behavior that focuses on the observable exchange of information between ConnectAbleElements.An interaction is a unit of behavior that focuses on the observable exchange of information between ConnectAbleElements.A lifeline represents an individual participant in the iteraction.A lifeline represents an individual participant in the iteraction.The interactionOperator 'loop' designates that the CombinedFragment represents a loop.The interactionOperator 'loop' designates that the CombinedFragment represents a loop.This is a utility class for IALostAndFound that provides static methods for creation or other purposes.A message is a NamedElement that defines one specific kind of communication in an interaction.A MessageEnd is an abstract NamedElement that represents what can occur at the end of a message.Specifies the occurrence of message events, such as sending and receiving of signals or invoking or receiving of operation calls.The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.An OccurrenceSpecification is the basic semantic unit of interactions.An InteractionOperand is contained in a CombinedFragment.An InteractionOperand is contained in a CombinedFragment.The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.A GeneralOrdering represents a binary relation between two OccurrenceSpecifications to describe that one OccurrenceSpecification must occur before the other in a valid trace.A GeneralOrdering represents a binary relation between two OccurrenceSpecifications to describe that one OccurrenceSpecification must occur before the other in a valid trace.The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.The message is a reply message to an operation call.The message is a reply message to an operation call.The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.The message was generated by the asynchronous sending of a signal.The message was generated by the asynchronous sending of a signal.A StateInvariant is a runtime constraint on the participants of the interaction.A StateInvariant is a runtime constraint on the participants of the interaction.The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.An InteractionUse refers to an interaction.An InteractionUse refers to an interaction.