|Is Papyrus Kepler supports OCL constraints [message #1016211]
||Tue, 05 March 2013 09:00
| sabrina ing
Registered: February 2013
I'm modeling a real time operating system (RTOS) using Papyrus and using the Profile in Software Resource Modeling (SRM) of Standard MARTE.
Now my requirement is how can I add/associate OCL constraints to it?
My goal is to validate if a model that applies my RTOSModel is correct or not.
I'm using the following version of Eclipse:
Eclipse Kepler 4.3.0M5a
Build id: I20130204-1400
Papyrus Kepler version 0.10.0
Thanks in advance,
|Re: Is Papyrus Kepler supports OCL constraints [message #1017055 is a reply to message #1016727]
||Fri, 08 March 2013 14:04
| Ed Willink
Registered: July 2009
Please use a new subject for a new topic.
Add A Constraint to the diagram.
(Quit the editor that auto-starts - Bugzilla raised).
Set the context to Task in the Properties View.
Edit the constraint to contain:
if(self.minPriorityLevel< self.maxPriorityLevel) then
Self.minPriorityLevel < Self.PriorityValue < Self.maxPriorityLevel
Self.maxPriorityLevel< Self.PriorityValue < Self.minPriorityLevel
using the editor to help you fix the various errors.
Optionally draw a constraint link between constraint and Task.
On 07/03/2013 13:52, Mariem Makni wrote:
> Tanks a lot for your reply.
> I have tried again using this link and it works :)
> Now, I have an example of an OCL Constraint which I want to add it to
> my Element Task in my RTOSModel, to validate if a model that applies
> my RTOSModel is correct or not, but I don't know how to add it using
> papyrus kepler:
> context Task
> if(Self.minPriorityLevel< Self.maxPriorityLevel) then
> Self.minPriorityLevel < Self.PriorityValue < Self.maxPriorityLevel
> Self.maxPriorityLevel< Self.PriorityValue < Self.minPriorityLevel
> Can you help me please.
Powered by FUDForum
. Page generated in 0.02779 seconds