Issue 10434: 11.2.4 (OclInvalid) - similar criticism as 11.2.3 (ocl2-rtf)
Source: NIST (Mr. Peter Denno, peter.denno(at)nist.gov)
Nature: Uncategorized Issue
Severity: 
Summary: 11.2.4 (OclInvalid) - similar criticism as 11.2.3 (issue 10433)
Resolution: 
Revised Text: Update Section 11.2.3 to read:

The type OclInvalid is a type that conforms to all other types except OclVoid. It has one single instance, identified as invalid.

Actions taken:
November 2, 2006: received issue
October 16, 2009: closed issue
Discussion: 
The statements in the discussion of both OclVoid to OclInvalid that they conform to all other types is problematic, because that implies that they conform to one another, resulting in a generalization cycle.  They should neither of them conform to the other, as both are intended as undefined values of ordinary expressions in degenerate situations.
End of Annotations:=====
s is issue # 10434

11.2.4 (OclInvalid) - similar criticism as 11.2.3

11.2.4 (OclInvalid) - similar