Issue 10782: Naming of Constraints in OCL (ocl2-rtf) Source: Dell Technologies (Mr. George Ericson, ericson.george(at)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 October 16, 2009: closed issue Discussion: The syntax is in fact already formally defined in Section 12.12.6 InvOrDefCS. Disposition: Closed, no change 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