Issue 10787: OCL Collections applied to Properties (ocl2-rtf)
Source: EMC (Mr. George Ericson, ericson_george(at)emc.com)
Nature: Uncategorized Issue
Severity: 
Summary: OCL Specification, v2.0
 
The specification does not make it clear how to apply collection operations to properties.
 
For instance, assume
 
class A {
    int x[];
}
 
It appears that an invariant constraint that asserts that one of the entries in A.x must be 5 might be
 
context A
inv self.x->exists( p | p=5 )
 
However, this is a guess and does not appear to be entirely justified by the text.

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

End of Annotations:=====

m: ericson_george@emc.com
Subject: OCL Collections applied to Properties
Date: Fri, 23 Feb 2007 18:09:02 -0500
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: OCL Collections applied to Properties
Thread-Index: AcdXn5t0/erV4Nl3RjWfPJnZ8TJ9Jg==
To: <issues@omg.org>
X-OriginalArrivalTime: 23 Feb 2007 23:09:07.0867 (UTC) FILETIME=[9EC7F6B0:01C7579F]
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, __CP_MEDIA_2_BODY 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
 
The specification does not make it clear how to apply collection operations to properties.
 
For instance, assume
 
class A {
    int x[];
}
 
It appears that an invariant constraint that asserts that one of the entries in A.x must be 5 might be
 
context A
inv self.x->exists( p | p=5 )
 
However, this is a guess and does not appear to be entirely justified by the text.
 
George