org.eclipse.uml2.uml
Interface PartDecomposition
- All Superinterfaces:
- Element, EModelElement, EObject, InteractionFragment, InteractionUse, NamedElement, Notifier
- public interface PartDecomposition
- extends InteractionUse
A representation of the model object 'Part Decomposition'.
A part decomposition is a description of the internal interactions of one lifeline relative to an interaction.
- See Also:
UMLPackage.getPartDecomposition()
Methods inherited from interface org.eclipse.uml2.uml.InteractionUse |
createActualGate, createArgument, getActualGate, getActualGate, getActualGates, getArgument, getArgument, getArguments, getRefersTo, setRefersTo, validateAllLifelines, validateArgumentsAreConstants, validateArgumentsCorrespondToParameters, validateGatesMatch |
Methods inherited from interface org.eclipse.uml2.uml.InteractionFragment |
createGeneralOrdering, getCovered, getCovered, getCovereds, getEnclosingInteraction, getEnclosingOperand, getGeneralOrdering, getGeneralOrdering, getGeneralOrderings, setEnclosingInteraction, setEnclosingOperand |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
allNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership |
Methods inherited from interface org.eclipse.uml2.uml.Element |
addKeyword, allOwnedElements, applyStereotype, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedSubstereotype, getAppliedSubstereotypes, getKeywords, getModel, getNearestPackage, getOwnedComments, getOwnedElements, getOwner, getRelationships, getRelationships, getRequiredStereotype, getRequiredStereotypes, getSourceDirectedRelationships, getSourceDirectedRelationships, getStereotypeApplication, getStereotypeApplications, getTargetDirectedRelationships, getTargetDirectedRelationships, getValue, hasKeyword, hasValue, isStereotypeApplicable, isStereotypeApplied, isStereotypeRequired, mustBeOwned, removeKeyword, setValue, unapplyStereotype, validateHasOwner, validateNotOwnSelf |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
validatePartsOfInternalStructures
public boolean validatePartsOfInternalStructures(DiagnosticChain diagnostics,
Map context)
-
PartDecompositions apply only to Parts that are Parts of Internal Structures not to Parts of Collaborations.
true
validateAssume
public boolean validateAssume(DiagnosticChain diagnostics,
Map context)
-
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
true
validateCommutativityOfDecomposition
public boolean validateCommutativityOfDecomposition(DiagnosticChain diagnostics,
Map context)
-
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)
true