Issue 12491: Section: A.3.1.2 Semantics of Expressions (ocl2-rtf) Source: (, ) Nature: Enhancement Severity: Minor Summary: It would be nice to have a definition of ß{x / y) in association with Definition A.30. Maybe it's defined elsewhere, but I don't see it. From what's written in this section, including the explanation of iteration on page 205 and 206, I get only a vague idea. P.S. So realizing now that this is not a typo, my revision request two previous to this (if I've counted correctly) should be ignored. That was the one about part ii of Definition A.30. Resolution: The notation "\" is the standard notation for substitution (e.g., see Winskel's book on formal semantics). Thus, there seems to be no need to add an explanation in the standard. Disposition: Closed, no change Revised Text: Actions taken: May 15, 2008: received issue October 16, 2009: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 15 May 2008 13:27:52 -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 and 204 Nature: Enhancement 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 It would be nice to have a definition of .{x / y) in association with Definition A.30. Maybe it's defined elsewhere, but I don't see it. From what's written in this section, including the explanation of iteration on page 205 and 206, I get only a vague idea. P.S. So realizing now that this is not a typo, my revision request two previous to this (if I've counted correctly) should be ignored. That was the one about part ii of Definition A.30.