Issue 9405: Wrong subtyping of PropertyCallExp and NavigationCallExp (ocl2-rtf) Source: Adaptive (Mr. Pete Rivett, pete.rivett@adaptive.com) Nature: Uncategorized Issue Severity: Summary: In section 8.3.2 of ptc/05-06-06 PropertyCall is shown as a subclass of NavigationCallExp -this seems the wrong way round: NavigationCallExp seems to be a specialization for when the Property is an AssociationEnd. To illustrate this, the description of NavigationCallExp starts with the following, which would not apply if the Property in question were an ownedAttribute of a class: "A NavigationCallExp is a reference to an AssociationEnd or an AssociationClass defined in a UML model." Resolution: Revised Text: Actions taken: February 28, 2006: received issue Discussion: End of Annotations:===== ubject: Issues on OCL2 Date: Tue, 28 Feb 2006 19:17:35 -0800 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Issues on OCL2 Thread-Index: AcY83q/dW5WrPGSHQpeTk4pcJZEGWg== From: "Pete Rivett" To: B) Wrong subtyping of PropertyCallExp and NavigationCallExp In section 8.3.2 of ptc/05-06-06 PropertyCall is shown as a subclass of NavigationCallExp -this seems the wrong way round: NavigationCallExp seems to be a specialization for when the Property is an AssociationEnd. To illustrate this, the description of NavigationCallExp starts with the following, which would not apply if the Property in question were an ownedAttribute of a class: "A NavigationCallExp is a reference to an AssociationEnd or an AssociationClass defined in a UML model." Pete Rivett (mailto:pete.rivett@adaptive.com) CTO, Adaptive Inc. Hello House, 135 Somerford Road, Christchurch, BH23 3PY, UK Tel: +44 (0)1202 491243 Fax: +44 (0)1202 491241 http://www.adaptive.com