Issue 14196: Missing specification of UnlimitedNatural (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Severity: Summary: The specification of the UnlimitedNatural type is largely missing and often trivially inconsistent. Resolution: see pages 24 - 35 of OMG document ptc/2010-12-01 Revised Text: Actions taken: August 22, 2009: received issue April 25, 2011: closed issue Discussion: [The use of e comes from Issue 14197; a much more comprehensive response to Issue 12349 of the missing distinction between ? as invalid and e as null.] End of Annotations:===== iler: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Mon, 24 Aug 2009 13:15:46 -0400 To: issues@omg.org, ocl2-rtf@omg.org From: Juergen Boldt Subject: issue 14196 -- OCL 2 RTF issue X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEACfFj0rUnw4U/2dsb2JhbADSbIQaBQ Date: Sat, 22 Aug 2009 18:19:17 +0100 From: Ed Willink User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: issues@omg.org Subject: OCL 2.x Missing specification of UnlimitedNatural X-Plusnet-Relay: 4b585a29869760ce2a9ab935bac5eb78 Hi The attached contains revised text for UnlimitedNatural that is missing from OCL 2.0 and the 2.1 RTF. Most of the text is very obvious. Possibly controversial issues are: Introduction of 'unlimited' analoguous to 'null' and 'invalid' for the special (but not singleton value of UnlimitedNaturalType). Change of UnlimitedNaturalExp to UnlimitedNaturalLiteralExp, and UnlimitedNaturalExp.symbol to UnlimitedNaturalLiteralExp.unlimitedNaturalSymbol. Definition of relative comparison for 'unlimited' so that : unlimited > 5 = true. Definition of UnlimitedNatural as a subtype of Integer, except when the value is 'unlimited' (conversion of 'unlimited' to Integer gives 'invalid'). Definition of the representation of 'unlimited' as UnlimitedNaturalLiteralExp.unlimitedNaturalSymbol = -1. Regards Ed Willink UnlimitedNatural.odt 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 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAPsc+krUnw4U/2dsb2JhbADcOIQ8BA Date: Wed, 11 Nov 2009 10:11:55 +0000 From: Ed Willink User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: "'ocl2-rtf@omg.org'" Subject: Re: Issue 14196 Missing specification of UnlimitedNatural X-Plusnet-Relay: 5e8bf22b4da0e00ce4e7fa9e7652e710 Hi The attached replaces the earlier attachment with the original Issue. The pre-existing * is used rather than a new unlimited keyword. Regards Ed Willink