Issue 14619: QVT 1.1 Opposite navigation scoping operator (Correction to Issue 11341 resolution) (qvt-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: The resolution for Issue 11341 uses '.' as a property scoping operator. This is inconsistent with OCL for which class scoping always uses '::' e.g enumeration is class::literal operation call is class::operation. Note the clarifying discussion in OCL, justifying Class.allInstances, explains that dot is only for operations on instances. Resolution: Simple correction of '.' to '::' in the grammar. Revised Text: In 7.13.5 change <keyProperty> ::= <identifier> | 'opposite' '(' <classId> '.' <identifier> ')' to <keyProperty> ::= <identifier> | 'opposite' '(' <classId> '::' <identifier> ')' and <propertyTemplate> ::= <identifier> '=' <OclExpressionCS> | 'opposite' '(' <classId> '.' <identifier> ')' '=' <OclExpressionCS> to <propertyTemplate> ::= <identifier> '=' <OclExpressionCS> | 'opposite' '(' <classId> '::' <identifier> ')' '=' <OclExpressionCS> Actions taken: November 11, 2009: received issue July 15, 2014: closed issue Discussion: End of Annotations:===== m: "Willink, Ed" To: "'issues@omg.org'" Subject: QVT 1.1 Opposite navigation scoping operator (Correction to Issu e 11341 resolution) Date: Wed, 11 Nov 2009 11:22:11 -0000 X-Mailer: Internet Mail Service (5.5.2657.72) Hi The resolution for Issue 11341 uses '.' as a property scoping operator. This is inconsistent with OCL for which class scoping always uses '::' e.g enumeration is class::literal operation call is class::operation. Note the clarifying discussion in OCL, justifying Class.allInstances, explains that dot is only for operations on instances. Regards Ed Willink **************************************************************************** Please consider the environment before printing this email. **************************************************************************** Thales Research and Technology (UK) Limited DISCLAIMER: The information contained in this e-mail is confidential. It may also be legally privileged. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained herein. Such unauthorised use may be unlawful. We may monitor all e-mail communications through our networks. If you have received this e-mail in error, please inform us immediately on +44 (0)1293 575987 and delete it and all copies from your system. We accept no responsibility for changes to any e-mail which occur after it has been sent. Attachments to this e-mail may contain software viruses which could damage your system. We therefore recommend you virus-check all attachments before opening. The registered office of Thales Research and Technology (UK) Limited is at: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered in England No. 774298. ****************************************************************************