RE: asking about OCL



RE: asking about OCL

From: Jrn Guy S <jgsuess_at_itee.uq.edu.au>
Date: Tue, 16 May 2006 16:34:13 +1000
Message-ID: <007a01c678b2$c276df80$4e406682@itee.uq.edu.au>
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".
Received on Tue 16 May 2006 - 07:34:17 BST