Issue 19460: Error in OCL 2.4 spec (ocl2-rtf) Source: (, ) Nature: Uncategorized Issue Severity: Summary: For reference: http://www.omg.org/spec/OCL/2.4/ The concrete syntax for the rule invOrDefCS in section 12.12.6 seems to establish an infinite recursive relation without a terminal rule. Perhaps a question mark is needed, or some clarification? Resolution: Revised Text: Actions taken: June 11, 2014: received issue Discussion: End of Annotations:===== m: "Erickson, Lane A (393I-Affiliate)" To: "webtech@omg.org" Subject: Error in OCL 2.4 spec Thread-Topic: Error in OCL 2.4 spec Thread-Index: Ac+FpBUJ5OH8bAnVT3SlTgyuG+ehzg== Date: Wed, 11 Jun 2014 18:41:42 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [128.149.137.26] X-Source-Sender: Lane.A.Erickson@jpl.nasa.gov X-AUTH: Authorized X-Virus-Scanned: amavisd-new at omg.org For reference: http://www.omg.org/spec/OCL/2.4/ The concrete syntax for the rule invOrDefCS in section 12.12.6 seems to establish an infinite recursive relation without a terminal rule. Perhaps a question mark is needed, or some clarification? Best, Lane X-CM-Score: 0.00 X-CNFS-Analysis: v=2.1 cv=aY3vnHYt c=1 sm=1 tr=0 a=eW53zEZrsyElcQ0NK1QpqA==:117 a=eW53zEZrsyElcQ0NK1QpqA==:17 a=0Bzu9jTXAAAA:8 a=WLhMWes79ycA:10 a=WWhwVHbyyJAA:10 a=IkcTkHD0fZMA:10 a=YYzpnO7rAAAA:8 a=KHpXyVWLAAAA:8 a=oCcaPWc0AAAA:8 a=0z_y-X2rCFsaUdPtQhAA:9 a=G_iZf7pGJqMsJG61:21 a=NPp1lsA7oyJraAiK:21 a=DvSr9bZyvX-K-C7U:21 a=QEXdDO2ut3YA:10 a=_W_S_7VecoQA:10 a=gW7Cpldm0gIA:10 a=WiHzMAlZT3UA:10 a=-zspGdomsggA:10 a=gFGq0ozTCKgA:10 a=c9tJgGcuwpQA:10 a=X5tnH56tuAgA:10 a=WP4_USCxRkkA:10 Date: Wed, 11 Jun 2014 20:39:12 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 To: Lane.A.Erickson@jpl.nasa.gov, ocl2-rtf@omg.org Subject: Re: issue 19460 -- OCL 2 RTF issue X-Virus-Scanned: amavisd-new at omg.org Hi There are unfortunately many parts of the OCL spec that do not bear close examination. Clause 12 is really just an unfinished first draft. UML 2.5 should finally provide models and grammars that actually relate to a working prototype. The intent is an arbitrary number of inv's or def's. Regards Ed Willink On 11/06/2014 19:45, Juergen Boldt wrote: From: "Erickson, Lane A (393I-Affiliate)" To: "webtech@omg.org" Subject: Error in OCL 2.4 spec Thread-Topic: Error in OCL 2.4 spec Thread-Index: Ac+FpBUJ5OH8bAnVT3SlTgyuG+ehzg== Date: Wed, 11 Jun 2014 18:41:42 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [128.149.137.26] X-Source-Sender: Lane.A.Erickson@jpl.nasa.gov X-AUTH: Authorized X-Virus-Scanned: amavisd-new at omg.org For reference: http://www.omg.org/spec/OCL/2.4/ The concrete syntax for the rule invOrDefCS in section 12.12.6 seems to establish an infinite recursive relation without a terminal rule. Perhaps a question mark is needed, or some clarification? Best, Lane Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: +1 (781) 444 0404 x 132 fax: +1 (781) 444 0320 www.omg.org [] No virus found in this message. Checked by AVG - www.avg.com Version: 2014.0.4592 / Virus Database: 3964/7663 - Release Date: 06/11/14