Issue 15257: OCL 2.2 OclState and oclIsInState (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: The oclIsInState takes an OclState argument, which is referenced extensively in Annex A, although the OclState type is never defined in the main text and is not mentioned in the grammar as a reserved word. oclIsInState is misspelled as oclInState 7 times in Section 7.5.9 and once in A.2.6. Resolution: Revised Text: Actions taken: May 18, 2010: received issue Discussion: End of Annotations:===== m: "Willink, Ed" To: "'issues@omg.org'" Subject: OCL 2.2 OclState and oclIsInState Date: Tue, 18 May 2010 17:22:02 +0100 X-Mailer: Internet Mail Service (5.5.2657.72) Hi The oclIsInState takes an OclState argument, which is referenced extensively in Annex A, although the OclState type is never defined in the main text and is not mentioned in the grammar as a reserved word. oclIsInState is misspelled as oclInState 7 times in Section 7.5.9 and once in A.2.6. Regards Ed Willink Please consider the environment before printing a hard copy of this e-mail. The information contained in this e-mail is confidential. 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 in this e-mail. Such unauthorised use may be unlawful. If you have received this e-mail in error, please inform us immediately on +44 (0)118 923 8243 and delete it and all copies from your system. Thales Corporate Services Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 959962. Thales UK Limited. A company registered in England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 868273