Class UML 2.3::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:
actualGate :
Gate (0 *); -- source
InteractionUse The actual gates of the InteractionUse
{
composite}
Subsets: Element.ownedElement
argument :
Action (0 *); -- source
InteractionUse refersTo :
Interaction (1 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
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].