Issue 12784: Unspecified constraint [2] on ActivityEdge (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: [2] Activity edges may be owned only by activities or groups. Discussion: OCL 101. Revised Text: Change the specification of the constraint to the following: [2] Activity edges may be owned only by activities or groups. self.source.activity = self.activity and self.target.activity = self.activity Change the Superstructure XMI accordingly. Resolution: Revised Text: Actions taken: August 15, 2008: received issue Discussion: End of Annotations:===== te: Fri, 15 Aug 2008 23:57:42 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: uml2-rtf@omg.org Subject: Unspecified constraint [2] on ActivityEdge 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: [2] Activity edges may be owned only by activities or groups. Discussion: OCL 101. Revised Text: Change the specification of the constraint to the following: [2] Activity edges may be owned only by activities or groups. self.source.activity = self.activity and self.target.activity = self.activity Change the Superstructure XMI accordingly. -- Nicolas. Date: Sat, 16 Aug 2008 02:42:42 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: uml2-rtf@omg.org Subject: Re: Unspecified constraint [2] on ActivityEdge X-Source-IP: vpn-149-242-034.jpl.nasa.gov [128.149.242.34] X-Source-Sender: nicolas.rouquette@jpl.nasa.gov X-AUTH: Authorized Cut & paste typo. The revised text should be: Change the specification of the constraint to the following: [2] Activity edges may be owned only by activities or groups. self.activity=self.owner xor self.inGroup->includes(self.owner.oclAsType(ActivityGroup)) -- Nicolas. Nicolas Rouquette wrote: 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: [2] Activity edges may be owned only by activities or groups. Discussion: OCL 101. Revised Text: Change the specification of the constraint to the following: [2] Activity edges may be owned only by activities or groups. self.source.activity = self.activity and self.target.activity = self.activity Change the Superstructure XMI accordingly. -- Nicolas. X-MailScanner-Watermark: 1219497134.38527@c4bnmbjNZ+2xSGLg0pl1Kg Reply-To: From: "Conrad Bock" To: "'Nicolas Rouquette'" , Subject: RE: Unspecified constraint [2] on ActivityEdge Date: Sat, 16 Aug 2008 09:12:10 -0400 X-Mailer: Microsoft Office Outlook 11 thread-index: Acj/bXPW53tiBnPuTJWX5DtdW9pdvgANBZSQ X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-MailScanner-ID: m7GDCA8F032378 X-MailScanner: Found to be clean X-MailScanner-SpamCheck: X-MailScanner-From: conrad.bock@nist.gov X-Spam-Status: No P.S. Same here, except for groups. > [2] Activity edges may be owned only by activities or groups. > self.source.activity = self.activity and > self.target.activity = self.activity The constraint in my previous message ([1] on ActivityEdge) should use groups (/inGroup) to find the top-level activity, rather than structuredNodes. Conrad Date: Sat, 16 Aug 2008 11:24:28 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: conrad.bock@nist.gov Cc: uml2-rtf@omg.org Subject: Re: Unspecified constraint [2] on ActivityEdge X-Source-IP: vpn-149-246-034.jpl.nasa.gov [128.149.246.34] X-Source-Sender: nicolas.rouquette@jpl.nasa.gov X-AUTH: Authorized This is a cut&paste typo. The intended constraint is, as indicated earlier, the following which constrains immediate ownership by a group instead of the transitive ownership by an activity. [2] Activity edges may be owned only by activities or groups. self.activity=self.owner xor self.inGroup->includes(self.owner.oclAsType(ActivityGroup)) -- Nicolas. Conrad Bock wrote: P.S. Same here, except for groups. > [2] Activity edges may be owned only by activities or groups. > self.source.activity = self.activity and > self.target.activity = self.activity The constraint in my previous message ([1] on ActivityEdge) should use groups (/inGroup) to find the top-level activity, rather than structuredNodes. Conrad