Issue 12496: Section: A.3.2.2 Syntax and Semantics of Postconditions (04) (ocl2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: In the paragraph before Definition A.33 we have, "We say that a precondition P satisfies a pre-environment rpre – written as rpre |= P –....". In the explanation of Definition A.33 we have, "...the pre-environment rpre satisfies the precondition P....". One of these must be backwards. Does the environment satisfy the condition (2nd above) or does the condition satisfy the environment (1st above)?

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:55:08 -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: 211
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.33 we have, "We say that a precondition P satisfies a pre-environment rpre . written as rpre |= P .....". In the explanation of Definition A.33 we have, "...the pre-environment rpre satisfies the precondition P....". One of these must be backwards. Does the environment satisfy the condition (2nd above) or does the condition satisfy the environment (1st above)?