Eclipse Community Forums: OCL

Help

Home

Home » Modeling » OCL » OCL rules

Show: Today's Messages :: Show Polls :: Message Navigator

OCL rules [message #768532]

Tue, 20 December 2011 05:23

yashine Missing name is currently offline

yashine Missing name
Messages: 12
Registered: June 2011

Junior Member

Hi,
I am using Eclipse Indigo to develop an ecore meta-model with OCL (oclinecore) that works good, but I would like to know how can I escape some rules for example:

I have 3 invariants Rule1 , Rule2, Rule3 with different contexts.

I would like to check Rule1 and then if it is wrong I don't want to chek Rules 2 and 3 else I check rule 2 and 3

Regards.

Report message to a moderator

Re: OCL rules [message #768542 is a reply to message #768532]

Tue, 20 December 2011 05:31

Ed Willink
Messages: 3176
Registered: July 2009

Senior Member

Hi yashine

You need to introduce some form of 'if' guard.

You need to factor out Rule1 as an operation e.g. rule1isValid()

so that the real Rule 1 just invokes it it and the other rules use it as
an if predicate.

Regards

Ed Willink

On 20/12/2011 10:23, yashine wrote:
> Hi, I am using Eclipse Indigo to develop an ecore meta-model with OCL
> (oclinecore) that works good, but I would like to know how can I
> escape some rules for example:
>
> I have 3 invariants Rule1 , Rule2, Rule3 with different contexts.
>
> I would like to check Rule1 and then if it is wrong I don't want to
> chek Rules 2 and 3 else I check rule 2 and 3
>
> Regards.

Report message to a moderator

Re: OCL rules [message #768601 is a reply to message #768542]

Tue, 20 December 2011 07:54

yashine Missing name
Messages: 12
Registered: June 2011

Junior Member

Hi ED,
thank you for this response but I still have a problem because the 3 rules are in 3 different contexts and there is any relation between these contexts. So I can't call rule1IsValid() operation which is in class1 from Rule2 invariant which is in class2.

Regards

Yashine

Report message to a moderator

Re: OCL rules [message #768625 is a reply to message #768542]

Tue, 20 December 2011 08:43

yashine Missing name
Messages: 12
Registered: June 2011

Junior Member

Report message to a moderator

Re: OCL rules [message #768718 is a reply to message #768601]

Tue, 20 December 2011 11:48

Ed Willink
Messages: 3176
Registered: July 2009

Senior Member

Hi

I was wondering whether OCL could have some kind of ? guard similar to
QVTo and Acceleo to support your requirement.

But, I really don't see how the problem can be solved without some
common (possibly global) context to communicate the relevant success of
rule1 for interrogation by rule2 and rule3. Perhaps you should consider
how a tool or even a Java program might actually solve your problem,
then you'll be probably be able work out how to configure your OCL rules
to support your solution.

Regards

Ed Willink

On 20/12/2011 12:54, yashine wrote:
> Hi ED,
> thank you for this response but I still have a problem because the 3
> rules are in 3 different contexts and there is any relation between
> these contexts. So I can't call rule1IsValid() operation which is in
> class1 from Rule2 invariant which is in class2.
>
> Regards
>
> Yashine

Report message to a moderator

Re: OCL rules [message #769135 is a reply to message #768718]

Wed, 21 December 2011 08:09

yashine Missing name
Messages: 12
Registered: June 2011

Junior Member

Hi ED,
OK thank you for your answers.

Regards

Report message to a moderator

Previous Topic:	Ecore2OCLInEcore problem referencing Classes in subpackages
Next Topic:	OCL Table

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu May 23 20:13:39 EDT 2013