Issue 4626: Using OCL at the meta-model level (uml2-superstructure-ftf) Source: Colorado State Univ, Dept of Computer Science (Dr. Robert France, ) Nature: Uncategorized Issue Severity: Summary: A. page 2-55; 2.5.3.6 Binding constraint [1] self.client.oclIsKindOf(self.supplier) Using my current understanding of OCL this seems wrong for the following reason: 1. self.client returns an element at the M1 level (a UML model construct) 2. the oclIsKindOf predicate compares the type of self.client (I assume the type of self.client is a metaclass at the M2 level) with the argument (which I assume from the definition of the predicate is a type and is thus an M2 element). 3. self.supplier is not an M2 element. B. page 2-61 constraint [5] (similar comments as above) Am I misinterpreting self, OclIsKindOf, ...? Resolution: Revised Text: Actions taken: October 17, 2001: received issue March 9, 2005: closed issue Discussion: These constraints have been removed in UML 2.0, so this issue is no longer applicable. End of Annotations:===== Date: Wed, 17 Oct 2001 19:04:39 -0600 (MDT) From: robert france Reply-To: robert france Subject: Using OCL at the meta-model level To: uml-rtf@omg.org, J.Warmer@klasse.nl MIME-Version: 1.0 Content-MD5: 4EIXLg6oqlgQoWCvABY43Q== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Type: TEXT/plain; charset=us-ascii X-UIDL: gk,e9 From: Jos Warmer Subject: Re: Using OCL at the meta-model level Cc: uml-rtf@omg.org In-Reply-To: <200110180104.f9I14dm27688@bach.cs.colostate.edu> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-UIDL: VaR!!:iT!!=ZY!!plC!! Robert, You are right. It should read: self.client.oclIsKindOf( self.suppier.oclType() ) But ... oclType() has been depracated in 1.4 (or 1.3) . I do not see how we can possibly write the above without oclType() (or something similar as conformsTo()) and I do know that this is a common usage. It seems that we need to reconsider the oclType() operation and we might need to have it back again. We'l take a look at this in the scope of OCL 2.0 Thanks for your precise feedback, Jos At 07:04 PM 17-10-2001 -0600, robert france wrote: Jos, Others, I came across two constraints in the UML1.4 that are puzzling. Can you shed some light on this? A. page 2-55; 2.5.3.6 Binding constraint [1] self.client.oclIsKindOf(self.supplier) Using my current understanding of OCL this seems wrong for the following reason: 1. self.client returns an element at the M1 level (a UML model construct) 2. the oclIsKindOf predicate compares the type of self.client (I assume the type of self.client is a metaclass at the M2 level) with the argument (which I assume from the definition of the predicate is a type and is thus an M2 element). 3. self.supplier is not an M2 element. B. page 2-61 constraint [5] (similar comments as above) Am I misinterpreting self, OclIsKindOf, ...? Robert ==================================================================== Robert B. France, Assoc Professor | Tel: 970-491-6356 Computer Science Department | Fax: 970-491-2466 Colorado State University | Email: france@cs.colostate.edu Fort Collins, CO 80523 | www.cs.colostate.edu/~france/ _____________________________________________________ Klasse Objecten tel : +31 (0)35 6037646 Chalonhof 153 fax : +31 (0)35 6037647 3762 CT Soest email : J.Warmer@klasse.nl The Netherlands internet: http://www.klasse.nl Reply-To: From: "Michael Allen Latta" To: "'Juergen Boldt'" , , Subject: RE: issue 4626 -- UML RTF issue Date: Tue, 23 Oct 2001 16:09:41 -0600 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook CWS, Build 9.0.2416 (9.0.2911.0) In-Reply-To: <4.3.2.7.2.20011023171548.02ace8e0@emerald.omg.org> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Importance: Normal Content-Type: text/plain; charset="iso-8859-1" X-UIDL: OD)!!Q-dd9JN#"!S,2!! It looks to me like the expression should be more like: self.client.oclIsKindOf(self.supplier.ocltype) as exemplified in the constraint below that cited. But in reviewing the 1.4 spec I see no reference to the property or operation ocltype. Michael -----Original Message----- From: Juergen Boldt [mailto:juergen@omg.org] Sent: Tuesday, October 23, 2001 3:17 PM To: issues@emerald.omg.org; uml-rtf@emerald.omg.org Subject: issue 4626 -- UML RTF issue This is issue # 4626 robert france Using OCL at the meta-model level A. page 2-55; 2.5.3.6 Binding constraint [1] self.client.oclIsKindOf(self.supplier) Using my current understanding of OCL this seems wrong for the following reason: 1. self.client returns an element at the M1 level (a UML model construct) 2. the oclIsKindOf predicate compares the type of self.client (I assume the type of self.client is a metaclass at the M2 level) with the argument (which I assume from the definition of the predicate is a type and is thus an M2 element). 3. self.supplier is not an M2 element. B. page 2-61 constraint [5] (similar comments as above) Am I misinterpreting self, OclIsKindOf, ...? ================================================================ Juergen Boldt Senior Member of Technical Staff Object Management Group Tel. +1-781 444 0404 ext. 132 250 First Avenue, Suite 201 Fax: +1-781 444 0320 Needham, MA 02494, USA Email: juergen@omg.org URL: www.omg.org ================================================================