Issue 12445: Section: A/1.2.1 Objects (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: In Definition A.10 Object Identifiers, part ii, you have the domain of a class c defined as: ICLASS(c') = U{oid(c) | c' ? CLASS ^ c' "gr<" c}. where I've used "gr<" for the generalization relation. I see 4 things that ought to be changed: 1. The initial c' should obviously be a c. 2. The oid(c) should be oid(c') 3. We have still another symbol for "and" 4. There's an extraneous newline before the final c. Resolution: Revised Text: see page 169 of ptc/2009-05-04 Actions taken: May 13, 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: 13 May 2008 15:31:44 -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/1.2.1 Objects FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 184 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 Definition A.10 Object Identifiers, part ii, you have the domain of a class c defined as: ICLASS(c.) = U{oid(c) | c. . CLASS ^ c. "gr<" c}. where I've used "gr<" for the generalization relation. I see 4 things that ought to be changed: 1. The initial c' should obviously be a c. 2. The oid(c) should be oid(c') 3. We have still another symbol for "and" 4. There's an extraneous newline before the final c.