Issue 3800:  postcondition for the operation round on the predefined OCL type                                                                                                                                       (ocl2-ftf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: The postcondition for the operation round on the predefined OCL type real reads 

((r - result) < r).abs < 0.5) or ((r - result).abs = 0.5 and (result > r)) 

This is incorrect and should be replaced by 

((r - result).abs < 0.5) or ((r - result).abs = 0.5 and (result > r))

Resolution: 
Revised Text: Discussion:
This is an OCL 1 issue transferred to the OCL 2 FTF.
The OCL2 text has already corrected this using this definition:
post: ((self - result).abs() < 0.5) or ((self - result).abs() = 0.5 and (result > self))
Revised text:
No text change needed.
Actions taken:
September 1, 2000: received issue
December 2, 2004: Transferred to OCL 2.0 FTF
November 1, 2005: closed issue
Discussion: 

End of Annotations:=====
From: webmaster@omg.org
Message-Id: <200009012120.RAA05044@emerald.omg.org>
Date: 01 Sep 2000 17:22:12 -0400
To: <juergen@omg.org>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Subject: Issue/Bug Report
Content-Type: Text/html; charset=windows-1252
X-UIDL: 4J,!!#Kfd9fc3!!~E3!!



Name: Peter H. Schmitt 
Company: Universitdt Karlsruhe 
mailFrom: pschmitt@ira.uka.de 
Notification: Yes 
Specification: UML 
Section: Chapter 7 
FormalNumber: ad970808 
Version: 1.3 
RevisionDate: March 2000 
Page: 7-32 
Nature: Revision 
Severity: Minor 
HTTP User Agent: Mozilla/4.73 [en] (X11; I; Linux 2.2.14 i686) 


Description

The postcondition for the operation round on the predefined OCL type
real reads 

((r - result) < r).abs < 0.5) or ((r - result).abs = 0.5 and (result >
r)) 

This is incorrect and should be replaced by 

((r - result).abs < 0.5) or ((r - result).abs = 0.5 and (result > r))