Class UML 2.4.1::PartDecomposition
Description:
A part decomposition is a description of the internal interactions of one
lifeline relative to an interaction.
Direct Superclasses: InteractionUseDirect Subclasses: Class Precedence List: PartDecomposition,
InteractionUse,
InteractionFragment,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
actualGate :
Gate (0 *); -- source
InteractionUse![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
argument :
ValueSpecification (0 *); -- source
InteractionUse![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
refersTo :
Interaction (1 1); -- source
InteractionUse![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
returnValue :
ValueSpecification (0 1); -- source
InteractionUse![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
returnValueRecipient :
Property (0 1); -- source
InteractionUse![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
covered :
Lifeline (0 *); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
enclosingInteraction :
Interaction (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
enclosingOperand :
InteractionOperand (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
generalOrdering :
GeneralOrdering (0 *); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=22762%3A077B8366DD2C25FDBBC8E871A9277B68)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: parts_of_internal_structures() : Boolean;
Description: PartDecompositions apply only to Parts that are Parts of Internal Structures
not to Parts of Collaborations.
Expression: true
Signature: commutativity_of_decomposition() : Boolean;
Description: Assume that within Interaction X, Lifeline L is of class C and decomposed
to D. Assume also that there is within X an InteractionUse (say) U that
covers L. According to the constraint above U will have a counterpart CU
within D. Within the Interaction referenced by U, L should also be decomposed,
and the decomposition should reference CU. (This rule is called commutativity
of decomposition)
Expression: true
Signature: assume() : Boolean;
Description: Assume that within Interaction X, Lifeline L is of class C and decomposed
to D. Within X there is a sequence of constructs along L (such constructs
are CombinedFragments, InteractionUse and (plain) OccurrenceSpecifications).
Then a corresponding sequence of constructs must appear within D, matched
one-to-one in the same order. i) CombinedFragment covering L are matched
with an extra-global CombinedFragment in D ii) An InteractionUse covering
L are matched with a global (i.e. covering all Lifelines) InteractionUse
in D. iii) A plain OccurrenceSpecification on L is considered an actualGate
that must be matched by a formalGate of D
Expression: true
Operations:
No additional operations.
Send questions or comments to
[email protected].