UML22 — Incorrect OCL expression for constraint [1] on BehavioredClassifier

Source: UML 2.2 Superstructure document and XMI

http://www.omg.org/cgi-bin/doc?ptc/08-05-05
http://www.omg.org/cgi-bin/doc?ptc/08-05-12

Nature: incorrect OCL constraint

Summary:

The following constraint on BehavioredClassifier (13.3.4) is incorrectly specified:

[1] If a behavior is classifier behavior, it does not have a specification.
self.classifierBehavior->notEmpty() implies self.specification->isEmpty()

Discussion:

self.specification does not resolve to any attribute of BehavioredClassifier.
self.classifierBehavior resolves to a Behavior which can have 0 or 1 BehavioralFeature specification.
Hence, the correct OCL navigation expression should be self.classifierBehavior.specification instead of self.specification.

Revised Text:

Change the specification of the constraint to the following:

[1] If a behavior is classifier behavior, it does not have a specification.
self.classifierBehavior->notEmpty() implies self.classifierBehavior.specification->isEmpty()

Change the Superstructure XMI accordingly.

agreed