Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » How to use OCL Specification with Papyrus
How to use OCL Specification with Papyrus [message #630343] Fri, 01 October 2010 16:27 Go to next message
Antonio  is currently offline Antonio Friend
Messages: 4
Registered: October 2010
Junior Member
Hi all,

I'm an engineer student and I'm using this tool to create some Profiles along with its constraints. I was using the former Papyrus 1.12 tool until I realised this new one was coming out, and the OCL features didnt work in the previous version.

Im back again with this work but I found myself really lost. In the first place I actually dont know if the OCL validation features for profiles has been implemented. Ive also read some threads about constraints but dont get anything really clear. On the other hand theres so much info about OCL in eclipse, that I dont even know where to head in the first place.

What I want to do is just a profile with constraints, so I can check them, when I apply this profile to a new model. Where can I gen some info about?? What can I start with?? Is it possible to do this with Papyrus only or do I need another eclipse OCL tool? In this last case, how could I merge it into a single plugin (the profile and the validation)??

Thank you all in advance!!!
Re: How to use OCL Specification with Papyrus [message #630351 is a reply to message #630343] Fri, 01 October 2010 17:14 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi Antonio

Yes, I'm afraid it's confusing, because there have multiple attempts at
integrating OCL validation. The early ones didn't work well. The new
approach useing validation/setting/invocation delegates is much better
and simpler. See http://wiki.eclipse.org/MDT/OCLinEcore for an editor
and the underlying representation.

There are discussions on mdt-papyrus.dev and
https://bugs.eclipse.org/bugs/show_bug.cgi?id=322933 about integrating
the OCL editing into Papyrus so that constraints are sensibly editable,
but that probably needs you to wait for Indigo.

MDT/OCL doesn't inherently support profiles, since I think UML2 does it
automatically. However the support for execution of OCL embedded in UML
is missing and the IUML to ECore conversion of OCL embedded in UML
doesn't provide OCL embedded in Ecore as required by validation delegates.

Sorry, this will be very difficult till the pieces are pulled together
in Indigo.

Regards

Ed Willink

On 01/10/2010 17:27, Antonio wrote:
> Hi all,
>
> I'm an engineer student and I'm using this tool to create some Profiles
> along with its constraints. I was using the former Papyrus 1.12 tool
> until I realised this new one was coming out, and the OCL features didnt
> work in the previous version.
>
> Im back again with this work but I found myself really lost. In the
> first place I actually dont know if the OCL validation features for
> profiles has been implemented. Ive also read some threads about
> constraints but dont get anything really clear. On the other hand theres
> so much info about OCL in eclipse, that I dont even know where to head
> in the first place.
>
> What I want to do is just a profile with constraints, so I can check
> them, when I apply this profile to a new model. Where can I gen some
> info about?? What can I start with?? Is it possible to do this with
> Papyrus only or do I need another eclipse OCL tool? In this last case,
> how could I merge it into a single plugin (the profile and the
> validation)??
>
> Thank you all in advance!!!
Re: How to use OCL Specification with Papyrus [message #649625 is a reply to message #630351] Wed, 19 January 2011 23:13 Go to previous message
Antonio  is currently offline Antonio Friend
Messages: 4
Registered: October 2010
Junior Member
Hi again!!
I've been off for a while. Are there any news or new developments for this issue?? Thank you.

I don´t get what is the "Validate" option for in this new version. When you explore de uml model. I have been unable to get much information about it. How can I work with it?

Thank you so much!!
Previous Topic:InterruptedException in aspectToolProvider
Next Topic:Enty/Do/Exit of States
Goto Forum:
  


Current Time: Thu Apr 25 23:28:21 GMT 2024

Powered by FUDForum. Page generated in 0.03002 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top