Issue 12459: Section: Definition A.23 (Semantics of Navigation Operations) (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: Maybe I misunderstand, but it seems to me that L(as)(ci), as defined, has some problems: 1. "(c1, . . . , c i, . . . , c j , . . . , c n )" is undefined in that one doesn't know what it is, and 2. c is undefined in "sCLASS(c)". It seems to me that what you want is "L(as)(ci) = {cj | i ? j ? (c1, . . . , ci, . . . , cj , . . . , cn ) ? I-sub-ASSOC(as)}" - where the characters following the c's are subscripts and each such combination should be underlined to show that it is an object, - and where I-sub-ASSOC(as) is an italic I with a subscripted "ASSOC(as)". Resolution: Revised Text: see page 179 of ptc/2009-05-04 Actions taken: May 14, 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: 14 May 2008 11:39:35 -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: Definition A.23 (Semantics of Navigation Operations) FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 192 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 Maybe I misunderstand, but it seems to me that L(as)(ci), as defined, has some problems: 1. "(c1, . . . , c i, . . . , c j , . . . , c n )" is undefined in that one doesn't know what it is, and 2. c is undefined in ".CLASS(c)". It seems to me that what you want is "L(as)(ci) = {cj | i . j . (c1, . . . , ci, . . . , cj , . . . , cn ) . I-sub-ASSOC(as)}" - where the characters following the c's are subscripts and each such combination should be underlined to show that it is an object, - and where I-sub-ASSOC(as) is an italic I with a subscripted "ASSOC(as)".