Issue 16998: OCL 2.3 OclInvalid::= is vague (ocl2-rtf)
Source: Nomos Software (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: 
Revised Text: 
Actions taken:
January 14, 2012: received 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 <ed@willink.me.uk>
User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:9.0) Gecko/20111222 Thunderbird/9.0.1
To: "issues@omg.org" <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