Issue 17531: non(not(X)) should be X (ocl2-rtf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Revision
Severity: Minor
Summary: In http://www.linkedin.com/redirect?url=http%3A%2F%2Fwww%2Ebrucker%2Ech%2Fprojects%2Fhol-ocl%2FFeatherweight-OCL%2Foutline%2Epdf&urlhash=vacm&_t=tracking_anet Burkhart Wol ff argues that lopgical consistency requires that not(not(X)) is X.


OCL 2.3.x does not satisfy this for 'null'.

Similary null and true  = null not invalid ...
Resolution: 
Revised Text: 
Actions taken:
July 27, 2012: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 27 Jul 2012 13:44:28 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Edward Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: I agree
Specification:   OCL 
Section:         A
FormalNumber:    12-01-01
Version:         2.3.1
Doc_Year:        2012
Doc_Month:       January
Doc_Day:         01
Page:            205
Title:           non(not(X)) should be X
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


In http://www.linkedin.com/redirect?url=http%3A%2F%2Fwww%2Ebrucker%2Ech%2Fprojects%2Fhol-ocl%2FFeatherweight-OCL%2Foutline%2Epdf&urlhash=vacm&_t=tracking_anet Burkhart Wol ff argues that lopgical consistency requires that not(not(X)) is X.


OCL 2.3.x does not satisfy this for 'null'.

Similary null and true  = null not invalid ...