Issue 12783: Unspecified constraint [1] 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: [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 Resolution: 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. Revised Text: Actions taken: August 15, 2008: received issue Discussion: End of Annotations:===== te: Fri, 15 Aug 2008 23:53:17 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: uml2-rtf@omg.org Subject: Unspecified constraint [1] 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: [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. -- Nicolas. X-MailScanner-Watermark: 1219496875.71911@Sgb2p6Hwn2yeTr+o++VY2A Reply-To: From: "Conrad Bock" To: "'Nicolas Rouquette'" , Subject: RE: Unspecified constraint [1] on ActivityEdge Date: Sat, 16 Aug 2008 09:07:54 -0400 X-Mailer: Microsoft Office Outlook 11 thread-index: Acj/bhcn6JfKjIuYQo69+8d9eF/uTwAMqFNQ X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-MailScanner-ID: m7GD7s5g032126 X-MailScanner: Found to be clean X-MailScanner-SpamCheck: X-MailScanner-From: conrad.bock@nist.gov X-Spam-Status: No Hi Nicolas, Thanks for writing these. > [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 Not all edges are directly in an activities, some are directly in structured nodes that are in activities, transitively. Conrad Date: Sat, 16 Aug 2008 11:16:23 -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 [1] 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 Perhaps the third time will be a charm. Here's the OCL > 101 version of the constraint per Conrad's suggestion. --------------------------- 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. --------------------------- -- Nicolas. Nicolas Rouquette wrote: Conrad Bock wrote: Hi Nicolas, Thanks for writing these. > [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 Not all edges are directly in an activities, some are directly in structured nodes that are in activities, transitively. Mea culpa. Below is the correct revised text. I've tested this with IBM RSD 7.0.5.2 --------------------------- 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.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity and self.target.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity Change the Superstructure XMI accordingly. --------------------------- Conrad Date: Sun, 17 Aug 2008 17:53:15 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: Juergen Boldt Subject: Re: Unspecified constraint [1] on ActivityEdge X-Source-IP: vpn-149-246-067.jpl.nasa.gov [128.149.246.67] X-Source-Sender: nicolas.rouquette@jpl.nasa.gov X-AUTH: Authorized Hi Juergen, Yes, it is an issue. The suggested correction is below. --------------------------- 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.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity and self.target.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity Change the Superstructure XMI accordingly. --------------------------- Ed suggested me to report issues to issues@omg.org instead of the umlrtf mailing list. Is there a message template available that I can use to get you all of the info you need? I don't like to use the web interface (http://www.omg.org/technology/issuesform.htm) because it looses all of the text formatting and this makes the issue very hard to read. -- Nicolas. Juergen Boldt wrote: soo...still an issue? -Juergen At 01:44 PM 8/16/2008, you wrote: Conrad Bock wrote: Hi Nicolas, Thanks for writing these. > [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 Not all edges are directly in an activities, some are directly in structured nodes that are in activities, transitively. Mea culpa. Below is the correct revised text. I've tested this with IBM RSD 7.0.5.2 --------------------------- 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.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity and self.target.oclAsType(Element)->closure(owner)->select(oclIsKindOf(Activity))->asSequence()->first() = self.activity Change the Superstructure XMI accordingly. --------------------------- Conrad Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org Date: Sat, 23 Aug 2008 15:41:30 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: issues@omg.org Subject: Re: issue 12783 -- UML 2 RTF issue X-Source-IP: vpn-149-240-063.jpl.nasa.gov [128.149.240.63] X-Source-Sender: nicolas.rouquette@jpl.nasa.gov X-AUTH: Authorized X-AUTH: Authorized Please update this issue to include the resolution that I sent to the UML RTF mailing list based on Conrad Bock's feedback: 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. -- Nicolas. Juergen Boldt wrote: Date: Fri, 15 Aug 2008 23:53:17 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: uml2-rtf@omg.org Subject: Unspecified constraint [1] 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: [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. -- Nicolas. * Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org *