Issue 10782: Naming of Constraints in OCL (ocl2-rtf) Source: EMC (Mr. George Ericson, ericson_george@emc.com) Nature: Uncategorized Issue Severity: Summary: I find in the OCL document section "7.3.3. Invariants" that I can name an invariant as in: "context" <contextdeclaration> "inv" <constraintname> ":" ... I haven't figured out how to parse the document well enough to be clear if this is formally defined. And the real question is whether this applies to pre, post, body, init, and derived constraints. Does it? If not it would be useful to add. Resolution: Revised Text: Actions taken: February 8, 2007: received issue Discussion: End of Annotations:===== m: ericson_george@emc.com Subject: Naming of Constraints in OCL Date: Thu, 8 Feb 2007 12:42:14 -0500 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Naming of Constraints in OCL Thread-Index: AcdG9IZhbRQ1LHsUQiGAUfacb3w44wBY0HBAAJ7gQ2AABQYCoAAv8cPw To: , X-OriginalArrivalTime: 08 Feb 2007 17:42:03.0581 (UTC) FILETIME=[71994ED0:01C74BA8] X-PMX-Version: 4.7.1.128075, Antispam-Engine: 2.5.0.283055, Antispam-Data: 2007.2.8.91934 X-PerlMx-Spam: Gauge=, SPAM=3%, Reason='EMC_FROM_0+ -2, HTML_70_90 0.1, HTML_NO_HTTP 0.1, NO_REAL_NAME 0, __CT 0, __CTYPE_HAS_BOUNDARY 0, __CTYPE_MULTIPART 0, __CTYPE_MULTIPART_ALT 0, __HAS_MSGID 0, __IMS_MSGID 0, __LEO_OBFU_BOLD_G 0, __MIME_HTML 0, __MIME_VERSION 0, __SANE_MSGID 0, __TAG_EXISTS_HTML 0' X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at omg.org I find in the OCL document section "7.3.3. Invariants" that I can name an invariant as in: "context" "inv" ":" ... I haven't figured out how to parse the document well enough to be clear if this is formally defined. And the real question is whether this applies to pre, post, body, init, and derived constraints. Does it? If not it would be useful to add. Thanks, G