UML22 — Unspecified constraint [1] on ActivityEdge

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: Unspecified OCL constraint

Summary:

The following constraint on ActivityEdge (12.3.5) is unspecified:

[1] The source and target of an edge must be in the same activity as the edge.

Discussion:

OCL 101.

Revised Text:

Change the specification of the constraint to the following:

[1] The source and target of an edge must be in the same activity as the edge.
self.source.activity = self.activity and self.target.activity = self.activity

Change the Superstructure XMI accordingly

Change the specification of the constraint to the following:

[1] The source and target of an edge must be in the same activity as the edge.
let edgeActivity:Set(Activity) = self.inGroup->closure(inGroup).inActivity->asSet()>union(self.activity>asSet()) in
let sourceActivity:Set(Activity) = self.source.inGroup->closure(inGroup).inActivity->asSet() in
let targetActivity:Set(Activity) = self.source.inGroup->closure(inGroup).inActivity->asSet() in
edgeActivity->symmetricDifference(sourceActivity)->isEmpty() and
edgeActivity->symmetricDifference(targetActivity)->isEmpty()

Change the Superstructure XMI accordingly.