Issue 11120: Property::isAttribute() query needs no argument (uml2-rtf) Source: Eclipse Foundation (Mr. Kenneth Hussey, kenn.hussey(at)gmail.com) Nature: Uncategorized Issue Severity: Summary: The Property::isAttribute() OCL query (see p. 133 of 07-02-03) is currently defined to take an argument: [4] The query isAttribute() is true if the Property is defined as an attribute of some classifier context Property::isAttribute(p : Property) : Boolean post: result = Classifier.allInstances->exists(c| c.attribute->includes(p)) This argument (p) is not necessary, as the query should be based on the context property. Note that the OCL body for this query does not appear to be correct either. Resolution: Revised Text: Actions taken: July 4, 2007: received issue Discussion: End of Annotations:===== c: Branislav Selic , James Bruck Subject: Property::isAttribute() query needs no argument X-Mailer: Lotus Notes Release 7.0 HF277 June 21, 2006 From: Kenneth Hussey Date: Wed, 4 Jul 2007 15:59:24 -0400 X-MIMETrack: Serialize by Router on D25ML03/25/M/IBM(Release 7.0.2HF446 | March 16, 2007) at 07/04/2007 15:59:27, Serialize complete at 07/04/2007 15:59:27 The Property::isAttribute() OCL query (see p. 133 of 07-02-03) is currently defined to take an argument: [4] The query isAttribute() is true if the Property is defined as an attribute of some classifier context Property::isAttribute(p : Property) : Boolean post: result = Classifier.allInstances->exists(c| c.attribute->includes(p)) This argument (p) is not necessary, as the query should be based on the context property. Note that the OCL body for this query does not appear to be correct either. Cheers, Kenn Hussey Senior Software Developer Rational Software, IBM Software Group 770 Palladium Drive Kanata, Ontario, K2V 1C8 T: (613) 599-3980 F: (613) 599-3912 Subject: Issue 11120 in ballot 5 To: uml2-rtf@omg.org X-Mailer: Lotus Notes Release 7.0 HF277 June 21, 2006 From: Maged Elaasar Date: Wed, 17 Mar 2010 23:22:58 -0400 X-MIMETrack: Serialize by Router on D25ML03/25/M/IBM(Release 8.0.1|February 07, 2008) at 03/17/2010 23:22:54 One of the corrected constraints in this issue is found in section 17.5.19: [1] A binding of a property template parameter representing an attribute must be to an attribute (isAttribute() and (templateParameterSubstitution->notEmpty() implies (templateParameterSubstitution->forAll(ts | ts.isAttribute())) This constraint's OCL expression is very incorrect as it refers to non-existing "templateParameterSubstitution" attribute of Property, and the final "ts.isAttrubute()" is also wrong as ts is of type TemplateParameter (not Property as implied). Although the resolution was just trying to address the isAttribute() operation call, it still leaves the constraint in a bad shape. So I suggest either fixing the constraint (not sure exactly what should be the fix) or taking the issue off the ballot. I also noticed that Templates::Property is defined in section 17.5.19 as specializing bpth Kernel::Proprety and Templates::ParameterableElement, but in the metamodel it is only specializing the latter. Thanks, Maged Elaasar, PhD Candidate Senior Software Engineer, Rational Modeling Tools IBM Representative@OMG, CAS Research Staff Member IBM Canada, Ottawa Lab, +1 613 270 4651 From: Steve Cook To: "juergen@omg.org" Subject: FW: Issue 11120 in ballot 5 Thread-Topic: Issue 11120 in ballot 5 Thread-Index: AQHKxkrImLrYa+UiEkamGs1LZtLhl5H3WjSAgAAJv3CACIXiYA== Date: Tue, 23 Mar 2010 19:04:40 +0000 Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Juergen There.s an issue in the message below which I think fell through the cracks. Could you log this issue please? >Templates::Property is defined in section 17.5.19 as specializing both Kernel::Property and Templates::ParameterableElement, but in the metamodel it is only specializing the latter. Thanks -- Steve From: Steve Cook [mailto:Steve.Cook@microsoft.com] Sent: 18 March 2010 08:57 To: Bran Selic; Maged Elaasar; issues@omg.org; juergen@omg.org Cc: uml2-rtf@omg.org Subject: RE: Issue 11120 in ballot 5 I.ve removed 11120 from ballot 5. Juergen, could you log a new UML 2 issue please: Templates::Property is defined in section 17.5.19 as specializing both Kernel::Property and Templates::ParameterableElement, but in the metamodel it is only specializing the latter. Thanks -- Steve PS Voting on ballot 5 is under way. The following companies have not yet voted: 88Solutions, Atego, Adaptive, Armstrong Process Group, CEA, Fujitsu, HP, Lockheed Martin, MDS, NASA, No Magic, Oracle, Oslo Software, SINTEF, Softeam, Sparx Systems, Thales, Unisys, oose. From: bran.selic@gmail.com [mailto:bran.selic@gmail.com] On Behalf Of Bran Selic Sent: 18 March 2010 08:17 To: Maged Elaasar Cc: uml2-rtf@omg.org Subject: Re: Issue 11120 in ballot 5 Good eye, Maged, and thanks. My bad. Steve, please pull resolution 11120 from the ballot. Do you want to raise another issue to deal with the missing attribute? Apologies to all for not doing a thorough enough job on this. Bran On Thu, Mar 18, 2010 at 4:22 AM, Maged Elaasar wrote: One of the corrected constraints in this issue is found in section 17.5.19: [1] A binding of a property template parameter representing an attribute must be to an attribute (isAttribute() and (templateParameterSubstitution->notEmpty() implies (templateParameterSubstitution->forAll(ts | ts.isAttribute())) This constraint's OCL expression is very incorrect as it refers to non-existing "templateParameterSubstitution" attribute of Property, and the final "ts.isAttrubute()" is also wrong as ts is of type TemplateParameter (not Property as implied). Although the resolution was just trying to address the isAttribute() operation call, it still leaves the constraint in a bad shape. So I suggest either fixing the constraint (not sure exactly what should be the fix) or taking the issue off the ballot. I also noticed that Templates::Property is defined in section 17.5.19 as specializing bpth Kernel::Proprety and Templates::ParameterableElement, but in the metamodel it is only specializing the latter. Thanks, Maged Elaasar, PhD Candidate Senior Software Engineer, Rational Modeling Tools IBM Representative@OMG, CAS Research Staff Member IBM Canada, Ottawa Lab, +1 613 270 4651 Date: Tue, 19 Feb 2013 14:19:12 +0000 From: Dave Hawkins User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 To: "Manfred R. Koethe" CC: "uml25-ftf@omg.org" Subject: [UML 2.5 FTF] Ballot 2 - Issue 11120 X-Source-IP: ucsinet22.oracle.com [156.151.31.94] X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAA== X-Brightmail-Tracker: AAAAAA== Property::binding_to_attribute also needs to be updated for the signature change. Dave On 17/02/13 22:27, Manfred R. Koethe wrote: Dear Colleagues, Thank you all for reading and commenting on Ballot 2 right away. As requested, and considering the early comments, I herewith change the voting period of Ballot 2 to: ==>> Poll start date: Monday, 25 February 2013 (01:00 AM EDT - 06:00 GMT) ==>> Poll closing date: Sunday, 03 March 2013 (7:00 PM EDT - 24:00 GMT) Please review the attached REVISED preview, which has changes to 12167, 17854, 17890 and 18071. Important: If you have comments on resolutions in Ballot 2, try to be on the call next Tuesday 11:00 - 12:00 EST or delegate your comments to a call participant for discussion. Thank you. Kind regards, Manfred --------------------------------------------------------------- Manfred R. Koethe 88solutions Corporation tel: +1 (617) 848 0525 fax: +1 (815) 550 2086 mailto: koethe@88solutions.com web: http://www.88solutions.com --------(Model-Driven Modeling Solutions)-------- -- Dave Hawkins | Principal Software Engineer | +44 118 924 0022 Oracle JDeveloper Development Oracle Corporation UK Ltd is a company incorporated in England & Wales. Company Reg. No. 1782505. Reg. office: Oracle Parkway, Thames Valley Park, Reading RG6 1RA.