Re: asking about OCL



Re: asking about OCL

From: Steffen Zschaler <sz9_at_inf.tu-dresden.de>
Date: Tue, 16 May 2006 09:29:33 +0200
Message-ID: <44697F5D.7040607@inf.tu-dresden.de>
Hi,

Two small corrections:

   1. IIRC you cannot simply say allInstances(), but have to say
      A::allInstances().
   2. It should probably be ->size() >= 1, because there was nothing in
      Ajaree's mail about a maximum number of instances of A.

Best regards,

Steffen

Jrn Guy S wrote:
> package AjareesMetamodel
>
> context A 
>
> inv requiredInstanceOfA :
> allInstances()->size()=1
>
> endpackage
>
>
> Jrn Guy S
>
> Research Officer
>
> Room 350, General Purpose South Building (building 78) Division of Systems
> and Software Engineering School of Information Technology and Electrical
> Engineering The University of Queensland Queensland 4072 AUSTRALIA
>
> Phone: +61 7 3365 2883; Fax: +61 7 3365 4999
>
> email: jgsuess@itee.uq.edu.au
>
>
> -----Original Message-----
> From: puml-list-request@cs.york.ac.uk
> [mailto:puml-list-request@cs.york.ac.uk] On Behalf Of ajaree naco
> Sent: Tuesday, 16 May 2006 16:14
> To: puml-list@cs.york.ac.uk
> Subject: asking about OCL
>
> Dear All,
>
> I am a student who is interesting in OCL expression.
> I have a question about writing an OCL expression in a
> metamodel level.
>
> Assuming that in a metamodel, there is a model element
> named "A" which is a mandatory element. 
> This element must be constructed as a class in a model
> level. 
>
> How can we write an OCL expression to restrict this
> thing ?
>
> Thank you,
> Ajaree
>
> __________________________________________________
> Do You Yahoo!?
> Tired of spam?  Yahoo! Mail has the best spam protection around 
> http://mail.yahoo.com 
>
>
>
> To remove yourself from this list please mail
> puml-list-request@cs.york.ac.uk
> with a message containing the word "unsubscribe".
>
>
>
>
>
>
> To remove yourself from this list please mail puml-list-request@cs.york.ac.uk
> with a message containing the word "unsubscribe".
>
>   

-- 
Dipl.-Inf. Steffen Zschaler
Research Assistant

Technische Universitt Dresden
Department of Computer Science

Phone +49 351 463 38555
Fax   +49 351 463 38459
Email Steffen.Zschaler@tu-dresden.de
WWW   http://www.steffen-zschaler.de.vu/
Received on Tue 16 May 2006 - 08:40:21 BST