Issue 12788: Unspecified constraint [3] on Activity (uml2-rtf)
Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov)
Nature: Uncategorized Issue
Severity: 
Summary: 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 Activity (12.3.4) is unspecified:

[3] The groups of an activity have no supergroups.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

[3] The groups of an activity have no supergroups.
self.group->forAll(superGroup->isEmpty())

Change the Superstructure XMI accordingly.

Resolution: 
Revised Text: 
Actions taken:
August 15, 2008: received issue
Discussion: 

End of Annotations:=====
te: Sat, 16 Aug 2008 01:23:34 -0700
From: Nicolas Rouquette <nicolas.rouquette@jpl.nasa.gov>
User-Agent: Thunderbird 2.0.0.16 (Windows/20080708)
To: uml2-rtf@omg.org
Subject: Unspecified constraint [3] on Activity
X-Source-IP: vpn-149-246-038.jpl.nasa.gov [128.149.246.38]
X-Source-Sender: nicolas.rouquette@jpl.nasa.gov
X-AUTH: Authorized


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 Activity (12.3.4) is unspecified:

[3] The groups of an activity have no supergroups.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

[3] The groups of an activity have no supergroups.
self.group->forAll(superGroup->isEmpty())

Change the Superstructure XMI accordingly.

-- Nicolas.