Software Disclaimer

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: InteractionUse

Direct Subclasses:

Class Precedence List: PartDecomposition, 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: 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].