Issue 12785: Unspecified constraint [1] on ActivityEdge (CompleteStructuredActivities) (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 ActivityEdge (12.3.5) is unspecified:

Package CompleteStructuredActivities
[1] Activity edges may be owned by at most one structured node.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

Package CompleteStructuredActivities
[1] Activity edges may be owned by at most one structured node.
self.inStructuredNode->notEmpty() implies 
(self.inStructuredNode.oclAsType(ActivityGroup)->includesAll(self.inGroup)
 and self.inStructuredNode.oclAsType(Element)->includes(self.owner))

Change the Superstructure XMI accordingly.


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

End of Annotations:=====
te: Sat, 16 Aug 2008 00:27:46 -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 [1] on ActivityEdge (CompleteStructuredActivities)
X-Source-IP: vpn-149-242-021.jpl.nasa.gov [128.149.242.21]
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 ActivityEdge (12.3.5) is unspecified:

Package CompleteStructuredActivities
[1] Activity edges may be owned by at most one structured node.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

Package CompleteStructuredActivities
[1] Activity edges may be owned by at most one structured node.
self.inStructuredNode->notEmpty() implies 
(self.inStructuredNode.oclAsType(ActivityGroup)->includesAll(self.inGroup)
 and self.inStructuredNode.oclAsType(Element)->includes(self.owner))

Change the Superstructure XMI accordingly.

-- Nicolas.