Issue 12488: Section: A.3.1.2 Semantics of Expressions (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: Some problems with Definition A.30: 1. In the second sentence of Definition A.30 (Semantics of Expressions) it says, "I[[ e ]] : Env ? I(t)" but it seems instead that "I[[ e ]] : Exprt ? (Env ? I(t)). 2. It appears that r, which is not defined anywhere, is really supposed to be p. p, which is defined, only appears in part iv and it appears to be r there. 3. Also, it's confusing to use w in parts iii and iv since small omega (or script w maybe) is used previously. Further clarity would be added by putting empty parenthenes after omega in part iii to emphasize the fact that there are no arguments Resolution: Revised Text: see pages 201 - 204 of ptc/2009-05-04 Actions taken: May 15, 2008: received issue October 16, 2009: closed issue Discussion: Problems were due to a semi-automatic Latex to Framemaker conversion. Mathematical symbols were often badly converted. The correct text is in the original from annex A of ptc/03-10-14. . End of Annotations:===== m: webmaster@omg.org Date: 15 May 2008 11:10:59 -0400 To: 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.1.2 Semantics of Expressions FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 203 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 Some problems with Definition A.30: 1. In the second sentence of Definition A.30 (Semantics of Expressions) it says, "I[[ e ]] : Env . I(t)" but it seems instead that "I[[ e ]] : Exprt . (Env . I(t)). 2. It appears that r, which is not defined anywhere, is really supposed to be .. ., which is defined, only appears in part iv and it appears to be r there. 3. Also, it's confusing to use w in parts iii and iv since small omega (or script w maybe) is used previously. Further clarity would be added by putting empty parenthenes after omega in part iii to emphasize the fact that there are no arguments.