UML14 — Conflicting constraint between ActivityGraph and StateMachine.

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.

No Data Available