Eclipse Community Forums: EMF » How can I add OCL constraints to My Model

Help

Home

Home » Modeling » EMF » How can I add OCL constraints to My Model(How can I add OCL constraints to My Model?)

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

How can I add OCL constraints to My Model [message #1016528]

Wed, 06 March 2013 19:00

manou manno

Messages: 1
Registered: March 2013

Junior Member

Hi,

I am using Eclipse Kepler 4.3.0M5a and Papyrus kepler.
I have developed my own Model using Papyrus Marte and SRM.
I want to know how can I add OCL constraints to it? because I need to validate if a model that applies my Model is correct or not.

I have an example of an OCL Constraint which I want to add it to my Task in the model, but I don't know how to add it using papyrus kepler:

context Task
inv:
if(Self.minPriorityLevel< Self.maxPriorityLevel) then
Self.minPriorityLevel < Self.PriorityValue < Self.maxPriorityLevel
else
Self.maxPriorityLevel< Self.PriorityValue < Self.minPriorityLevel
endif

I'd appreciate any help on this.
Thanks in advance,

Report message to a moderator

Re: How can I add OCL constraints to My Model [message #1017056 is a reply to message #1016528]

Fri, 08 March 2013 19:06

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

Coincidentally someone with a different name posted exactly the same
example with exactly the same typos on the Papyrus newsgroup.

Have a look at the answer there.

Regards

Ed Willink

On 07/03/2013 00:33, manou manno wrote:
> Hi,
>
> I am using Eclipse Kepler 4.3.0M5a and Papyrus kepler.
> I have developed my own Model using Papyrus Marte and SRM.
> I want to know how can I add OCL constraints to it? because I need to
> validate if a model that applies my Model is correct or not.
>
> I have an example of an OCL Constraint which I want to add it to my
> Task in the model, but I don't know how to add it using papyrus kepler:
>
> context Task
> inv:
> if(Self.minPriorityLevel< Self.maxPriorityLevel) then
> Self.minPriorityLevel < Self.PriorityValue < Self.maxPriorityLevel
> else
> Self.maxPriorityLevel< Self.PriorityValue < Self.minPriorityLevel
> endif
>
>
> I'd appreciate any help on this.
> Thanks in advance,

Report message to a moderator

Previous Topic:	Value of Enumeration is not legal
Next Topic:	Latest lable feature search algorithm

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 22:39:06 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter