Issue 3855: context declaration for OCL invariants (ocl2-ftf) Source: (, ) Nature: Enhancement Severity: Minor Summary: The second form of the context declaration for OCL invariants should be extended from context c : Class inv: to context c1,..,cn : Class inv: In similar situations, like the forAll and Exists operators, multiple iterators are allowed. So the above suggestion would increase uniformity. It also leads in some cases to simplified OCL expressions, e.g. context C inv C.allInstances->forAll(c1,c2 | c1.id = c2.id implies c1=c2) could be written as context c1,c2 : C inv c1.id = c2.id implies c1=c2 Crossreference to issue #3139. Resolution: Revised Text: Actions taken: September 13, 2000: received issue December 2, 2004: Transferred to OCL 2.0 FTF November 1, 2005: closed issue Discussion: Discussion: This is an OCL 1 issue transferred to the OCL 2 FTF. Asking for a language enhancement which does not fit well with object orientation style where an invariant has a unique context object. Disposition: Closed, no change End of Annotations:===== From: webmaster@omg.org Message-Id: <200009130844.e8D8iuR22504@emerald.omg.org> Date: 13 Sep 2000 04:47:03 -0400 To: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: Issue/Bug Report Content-Type: Text/html; charset=windows-1252 X-UIDL: mRYd9ok9e9&1M!!W41!! Name: Peter H. Schmitt Company: Universitdt Karlsruhe mailFrom: pschmitt@ira.uka.de Notification: Yes Specification: UML Section: 7.3.3 FormalNumber: ad/99-06-09 Version: V1.3 RevisionDate: 04/xx/2000 Page: 7-5 Nature: Enhancement Severity: Minor HTTP User Agent: Mozilla/4.73 [en] (X11; I; Linux 2.2.14 i686) Description The second form of the context declaration for OCL invariants should be extended from context c : Class inv: to context c1,..,cn : Class inv: In similar situations, like the forAll and Exists operators, multiple iterators are allowed. So the above suggestion would increase uniformity. It also leads in some cases to simplified OCL expressions, e.g. context C inv C.allInstances->forAll(c1,c2 | c1.id = c2.id implies c1=c2) could be written as context c1,c2 : C inv c1.id = c2.id implies c1=c2 Crossreference to issue #3139.