Issue 16998: OCL 2.3 OclInvalid::= is vague (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: Issue 14197 finally resolved the semantiscs of OclInvalid, but the end result was that there is no OclInvalid section in 11.3. Add an 11.3.x for OclInvalid that enumerates all relevant OclInvalid behaviors; in particular = and <> return invalid for any invalid argument. Resolution: Merged with Issue 18437. Disposition: See issue 18437 for disposition Revised Text: Actions taken: January 14, 2012: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== M-Score: 0.00 X-CNFS-Analysis: v=2.0 cv=JPG5Qr2b c=1 sm=1 a=eW53zEZrsyElcQ0NK1QpqA==:17 a=mU5CzuQmXxAA:10 a=hjkS8ILNpGgA:10 a=8nJEP1OIZ-IA:10 a=StkM6OuWGK_CXrx6f6MA:9 a=wPNLvfGTeEIA:10 a=eW53zEZrsyElcQ0NK1QpqA==:117 Date: Sat, 14 Jan 2012 14:14:00 +0000 From: Ed Willink User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:9.0) Gecko/20111222 Thunderbird/9.0.1 To: "issues@omg.org" Subject: OCL 2.3 OclInvalid::= is vague Hi Issue 14197 finally resolved the semantiscs of OclInvalid, but the end result was that there is no OclInvalid section in 11.3. Add an 11.3.x for OclInvalid that enumerates all relevant OclInvalid behaviors; in particular = and <> return invalid for any invalid argument. Regards Ed Willink