Software Disclaimer

Class UML 2.4.1::InteractionUse


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


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

The Elements owned by this element.
{composite, readonly}
Derived union with sources: (ownedComment, nameExpression, generalOrdering, returnValue, argument, actualGate)
Opposite: Element.owner

owner : Element (0 1); -- source Element


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


No additional operations.

Send questions or comments to