Issue 12786: Unspecified constraint [1 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:

[1] The nodes of the activity must include one ActivityParameterNode for each parameter.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

[1] The nodes of the activity must include one ActivityParameterNode for each parameter.
self.node->select(oclIsKindOf(ActivityParameterNode)).oclAsType(ActivityParameterNode).parameter->asSet()->symmetricDifference(self.ownedParameter->asSet())->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:02:58 -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 Activity
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 Activity (12.3.4) is unspecified:

[1] The nodes of the activity must include one ActivityParameterNode for each parameter.

Discussion: 

OCL 101.

Revised Text: 

Change the specification of the constraint to the following:

[1] The nodes of the activity must include one ActivityParameterNode for each parameter.
self.node->select(oclIsKindOf(ActivityParameterNode)).oclAsType(ActivityParameterNode).parameter->asSet()->symmetricDifference(self.ownedParameter->asSet())->isEmpty()

Change the Superstructure XMI accordingly.

-- Nicolas.