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: InteractionFragmentDirect Subclasses: PartDecompositionClass Precedence List: InteractionUse,
InteractionFragment,
NamedElement,
ElementProperties:
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
NamedElementThe string expression used to define the name of this named element.
{
composite}
Subsets: Element.ownedElement
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
ElementConstraints:
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].