Issue 15761: OCL 2.3 Ballotted: Retracting resolutions for Issue 10439/13076 (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: I am no longer happy with my resolution of 10439/13076 which provides a very high resolution LALR grammar. This is inefficient to emulate with LL and cannot provide the flexibility of configurable precedence. It will also be very difficult to accommodate a template parameter parse with similarly high precision. I now favour a low precision syntactic parse augmented by high precision disambiguation/semantic checks. If the high precision LALR grammar may need retraction, it seems undesirable to put it into 2.3 only to remove it in 2.4. Suggest retract the resolutions for OCL 2.3 and rewrite for OCL 2.4 once UML-alignment of templates has been accommodated Resolution: Revised Text: Do not apply the text revisions in the resolution of Issue 10439. Issues 10439 and 13076 remain Deferred. Actions taken: October 9, 2010: received issue April 25, 2011: closed issue Discussion: As suggested, exclude the LALR grammar from OCL 2.3, deferring resolution of issues 10439 and 13076 until UML-alignment issues such as templates (Issue 15425) have been accommodated in a practical grammar. End of Annotations:===== ronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroGAJb4vEzUnw4U/2dsb2JhbACTbo0oUnG+GoVJBA Date: Tue, 19 Oct 2010 09:47:10 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4 To: juergen@omg.org Subject: Fwd: OCL 2.3 Ballotted: Retracting resolutions for Issue 10439/13076 Hi Juergen This message needed to become a new issue so that it can have a proposed resolution that can be ballotted to retract existing resolutions. Ed -------- Original Message -------- Subject: OCL 2.3 Ballotted: Retracting resolutions for Issue 10439/13076 Date: Sat, 09 Oct 2010 15:04:44 +0100 From: Ed Willink To: issues@omg.org Hi I am no longer happy with my resolution of 10439/13076 which provides a very high resolution LALR grammar. This is inefficient to emulate with LL and cannot provide the flexibility of configurable precedence. It will also be very difficult to accommodate a template parameter parse with similarly high precision. I now favour a low precision syntactic parse augmented by high precision disambiguation/semantic checks. If the high precision LALR grammar may need retraction, it seems undesirable to put it into 2.3 only to remove it in 2.4. Suggest retract the resolutions for OCL 2.3 and rewrite for OCL 2.4 once UML-alignment of templates has been accommodated. Regards Ed Willink From: "Willink, Ed" To: ocl2-rtf@omg.org Subject: Re: Issue 15761 - Retracting resolutions for Issue 10439/13076 Date: Wed, 27 Oct 2010 16:14:49 +0100 X-Mailer: Internet Mail Service (5.5.2657.72) Hi Mariano Attached is my final contribution for OCL 2.3. [I have just raised a UML issue to support a resolution of Issue 15870. If '*' and '-*' are made valid values of Integer and Real, this will change the requirement in the resolution of Issue 14196 to convert UnlimitedNatural '*' to invalid in an Integer or Real context. We could change Issue 14196 to anticipate a UML change, but perhaps it's easiest to wait for UML and just resolve Issue 15870 in due course.] Please set a 'final' OCL 2.3 ballot in train, so that we have a new specification text from which to start auto-generating. Regards Ed Willink ------------------------------------------------------------------------ E.D.Willink, Email: mailto:EdWillink@iee.org Thales Research and Technology (UK) Ltd, Tel: +44 118 923 8278 (direct) Worton Drive, or +44 118 986 8601 (ext 8278) Worton Grange Business Park, Fax: +44 118 923 8399 Reading, RG2 0SB ENGLAND ------------------------------------------------------------------------ Please consider the environment before printing a hard copy of this e-mail. The information contained in this e-mail is confidential. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained in this e-mail. Such unauthorised use may be unlawful. If you have received this e-mail in error, please inform us immediately on +44 (0)118 986 8601 and delete it and all copies from your system. Thales Research and Technology (UK) Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 774298 Thales UK Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 868273 15761-LALRGrammarRetraction.odt 15761-LALRGrammarRetraction.pdf Subject: RE: Issue 15761 - Retracting resolutions for Issue 10439/13076 Date: Wed, 27 Oct 2010 18:15:21 +0200 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Issue 15761 - Retracting resolutions for Issue 10439/13076 Thread-Index: Act16jmfWC6KAG9NQC+ptVqJOGLESAABzJYg From: To: , X-OriginalArrivalTime: 27 Oct 2010 16:15:16.0060 (UTC) FILETIME=[243B69C0:01CB75F2] X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id o9RGnMEC008190 Hi Ed and all, Thanks Ed for your contribution. I will prepare and launch a new ballot in the coming days based on received contributions. If you have any comments on proposed resolutions posted up to now to the OCL list, please react as soon as possible. Best Regards, Mariano -----Message d'origine----- De : Willink, Ed [mailto:Ed.Willink@thalesgroup.com] Envoyé mercredi 27 octobre 2010 17:15 À: ocl2-rtf@omg.org Objet : Re: Issue 15761 - Retracting resolutions for Issue 10439/13076 Hi Mariano Attached is my final contribution for OCL 2.3. [I have just raised a UML issue to support a resolution of Issue 15870. If '*' and '-*' are made valid values of Integer and Real, this will change the requirement in the resolution of Issue 14196 to convert UnlimitedNatural '*' to invalid in an Integer or Real context. We could change Issue 14196 to anticipate a UML change, but perhaps it's easiest to wait for UML and just resolve Issue 15870 in due course.] Please set a 'final' OCL 2.3 ballot in train, so that we have a new specification text from which to start auto-generating. Regards Ed Willink ------------------------------------------------------------------------ E.D.Willink, Email: mailto:EdWillink@iee.org Thales Research and Technology (UK) Ltd, Tel: +44 118 923 8278 (direct) Worton Drive, or +44 118 986 8601 (ext 8278) Worton Grange Business Park, Fax: +44 118 923 8399 Reading, RG2 0SB ENGLAND ------------------------------------------------------------------------ Please consider the environment before printing a hard copy of this e-mail. The information contained in this e-mail is confidential. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained in this e-mail. Such unauthorised use may be unlawful. If you have received this e-mail in error, please inform us immediately on +44 (0)118 986 8601 and delete it and all copies from your system. Thales Research and Technology (UK) Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 774298 Thales UK Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 868273