Issue 10786: Naming of Constraints in OCL (02) (ocl2-rtf)
Source: EMC (Mr. George Ericson, ericson_george(at)emc.com)
Nature: Uncategorized Issue
Severity: 
Summary: OCL Specification, v2.0

Section "7.3.3. Invariants" provides a means to name an invariant  as in:

"context" <contextdeclaration> "inv" <constraintname> ":" ...
 
The document does not seem to define this capability formally and I would like to see it also applied to pre, post, body, init, and derived constraints.

Resolution: 
Revised Text: 
Actions taken:
February 23, 2007: received issue
Discussion: 

End of Annotations:=====

m: ericson_george@emc.com
Subject: Naming of Constraints in OCL
Date: Fri, 23 Feb 2007 18:01:30 -0500
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Naming of Constraints in OCL
Thread-Index: AcdXno47iGSrVI8WQSukee+VbSssFQ==
To: <issues@omg.org>
X-OriginalArrivalTime: 23 Feb 2007 23:01:36.0694 (UTC) FILETIME=[91DC6D60:01C7579E]
X-PMX-Version: 4.7.1.128075, Antispam-Engine: 2.5.0.283055, Antispam-Data: 2007.2.23.144434
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, __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


OCL Specification, v2.0

Section "7.3.3. Invariants" provides a means to name an invariant  as in:

"context" <contextdeclaration> "inv" <constraintname> ":" ...
 
The document does not seem to define this capability formally and I would like to see it also applied to pre, post, body, init, and derived constraints.

 
Thanks,
George