Issue 12494: Section: A.3.2.2 Syntax and Semantics of Postconditions (02) (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: In the paragraph before Definition A.32 you will find, "... ppre = (spre, ßpre) describing a system state and variable assignments before the execution ...." Originally I had taken the ß's to be sets of assignments. Then I noticed that the text before this point refers to it repeatedly as an "assignment" in the singular. Now, here, and also in the middle of page 205 (which says, "ß' := ß{p1/I[[ e1 ]](r), . . . , pn /I[[ en ]](r)}.") the indication is that beta is multiple of assignments. Consistency would be very desirable. 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:31:41 -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.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 In the paragraph before Definition A.32 you will find, "... .pre = (.pre, .pre) describing a system state and variable assignments before the execution ...." Originally I had taken the .'s to be sets of assignments. Then I noticed that the text before this point refers to it repeatedly as an "assignment" in the singular. Now, here, and also in the middle of page 205 (which says, ".. := .{p1/I[[ e1 ]](r), . . . , pn /I[[ en ]](r)}.") the indication is that beta is multiple of assignments. Consistency would be very desirable.