Issue 12495: Section: A.3.2.2 Syntax and Semantics of Postconditions (03) (ocl2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: At the beginning of Definition A.32 you will find the sentence, "The semantics of an expression e ? Post-Exprt is a function I[[ e ]] : Env x Env ? I(t)." It doesn't seem that this can be right since the argument to I[[.]] is an element of Post-Expt-sub-t. So, similarly to Definition A.30, I would suggest that something akin to "I[[ e ]] : Post-Exprt ? (Env x Env ? I(t))" would be more appropriate.

Resolution: 
Revised Text: 
Actions taken:
May 15, 2008: received issue
Discussion: 
Deferred for timing reasons.

Disposition:	Deferred

End of Annotations:=====

m: webmaster@omg.org
Date: 15 May 2008 15:42:33 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Garr Lystad
Company: Net.Orange (i.e. Net Dot Orange)
mailFrom: glystad@ndorange.com
Notification: Yes
Specification: Object Constraint Language
Section: A.3.2.2 Syntax and Semantics of Postconditions
FormalNumber: n/a
Version: 2.0
RevisionDate: 1 May 2006
Page: 210
Nature: Revision
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.8.1.14) Gecko/20080404 Firefox/2.0.0.14
Description
At the beginning of Definition A.32 you will find the sentence, "The semantics of an expression e . Post-Exprt is a function I[[ e ]] : Env x Env . I(t)." It doesn't seem that this can be right since the argument to I[[.]] is an element of Post-Expt-sub-t. So, similarly to Definition A.30, I would suggest that something akin to "I[[ e ]] : Post-Exprt . (Env x Env . I(t))" would be more appropriate.