UML 1.4 MAILINGLIST Avatar
  1. OMG Issue

UML14 — Conflicting constraint between ActivityGraph and StateMachine.

  • Key: UML14-52
  • Legacy Issue Number: 4083
  • Status: closed  
  • Source: MotionPoint ( Eugenio Alvarez)
  • Summary:

    Since an ActivityGraph is derived from a StateMachine its
    constraints must be consistent with that of a StateMachine. If an
    ActivityGraph has a Package as its context it violates the constraint
    inherited from StateMachine.

    ActivityGraph Constraint (Semantics 2.13.3, Pg. 2-188):
    (self.context.oclIsTypeOf(Package) xor
    self.context.oclIsKindOf(Classifier) xor
    self.context.oclIsKindOf(BehavioralFeature))

    StateMachine Constraint (Semantic 2.12.3, Pg. 2-165) :
    self.context.oclIsKindOf(BehavioralFeature) or
    self.context.oclIsKindOf(Classifier)

    One way to avoid this problem is to change the StateMachine constraint to be
    applicable when self is oclIsTypeOf(StateMachine) so the constraint is not
    applied to it children.

    A general mechanism to disable inherited constraints could also solve the
    problem.

  • Reported: UML 1.3 — Wed, 29 Nov 2000 05:00 GMT
  • Disposition: Resolved — UML 1.4.2
  • Disposition Summary:

    No Data Available

  • Updated: Fri, 6 Mar 2015 20:58 GMT