Class UML 2.4.1::InteractionUse

Description:

An interaction use refers to an interaction. The interaction use is a shorthand for copying the contents of the referenced interaction where the interaction use is. To be accurate the copying must take into account substituting parameters with arguments and connect the formal gates with the actual ones.

Direct Superclasses: InteractionFragment

Direct Subclasses: PartDecomposition

Class Precedence List: InteractionUse, InteractionFragment, NamedElement, Element

Properties:

actualGate : Gate (0 *); -- source InteractionUse
argument : ValueSpecification (0 *); -- source InteractionUse
refersTo : Interaction (1 1); -- source InteractionUse
returnValue : ValueSpecification (0 1); -- source InteractionUse
returnValueRecipient : Property (0 1); -- source InteractionUse
covered : Lifeline (0 *); -- source InteractionFragment
enclosingInteraction : Interaction (0 1); -- source InteractionFragment
enclosingOperand : InteractionOperand (0 1); -- source InteractionFragment
generalOrdering : GeneralOrdering (0 *); -- source InteractionFragment
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: returnValue_type_recipient_correspondence() : Boolean;
Description: The type of the returnValue must correspond to the type of the returnValueRecipient.
Expression: true

Signature: returnValueRecipient_coverage() : Boolean;
Description: The returnValueRecipient must be a Property of a ConnectableElement that is represented by a Lifeline covered by this InteractionUse.
Expression: true

Signature: gates_match() : Boolean;
Description: Actual Gates of the InteractionUse must match Formal Gates of the referred Interaction. Gates match when their names are equal.
Expression: true

Signature: arguments_correspond_to_parameters() : Boolean;
Description: The arguments of the InteractionUse must correspond to parameters of the referred Interaction
Expression: true

Signature: arguments_are_constants() : Boolean;
Description: The arguments must only be constants, parameters of the enclosing Interaction or attributes of the classifier owning the enclosing Interaction.
Expression: true

Signature: all_lifelines() : Boolean;
Description: The InteractionUse must cover all Lifelines of the enclosing Interaction that represent the same properties as lifelines within the referred Interaction.
Expression: true

Operations:

No additional operations.

---

Send questions or comments to [email protected].