Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » Checking OCL contraints in Papyrus
Checking OCL contraints in Papyrus [message #1175283] Thu, 07 November 2013 11:53 Go to next message
Alexander W is currently offline Alexander W
Messages: 1
Registered: November 2013
Junior Member
Hi,

I created an simple UML Model in Papyrus with an simple constraint. How can I check the constraints which I defined (on an instance of the UML Model)?

I didn't found a tutorial which shows the definition of a class constraint and the checking of this constraint from scratch. So maybe someone has further links/examples. Until now only the model.uml and model.di file exist.

Thanks in advance. Alex
Re: Checking OCL contraints in Papyrus [message #1175393 is a reply to message #1175283] Thu, 07 November 2013 13:32 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 3843
Registered: July 2009
Senior Member
Hi

Have you looked at the "OCL in UML (using Papyrus)" section in the OCL
documentation?

Regards

Ed Willink


On 07/11/2013 17:57, Alexander W wrote:
> Hi,
>
> I created an simple UML Model in Papyrus with an simple constraint.
> How can I check the constraints which I defined (on an instance of the
> UML Model)?
>
> I didn't found a tutorial which shows the definition of a class
> constraint and the checking of this constraint from scratch. So maybe
> someone has further links/examples. Until now only the model.uml and
> model.di file exist.
>
> Thanks in advance. Alex
Re: Checking OCL contraints in Papyrus [message #1175442 is a reply to message #1175283] Thu, 07 November 2013 14:16 Go to previous message
Klaas Gadeyne is currently offline Klaas Gadeyne
Messages: 78
Registered: July 2009
Member
Alexander W wrote on Thu, 07 November 2013 11:53
Hi,

I created an simple UML Model in Papyrus with an simple constraint. How can I check the constraints which I defined (on an instance of the UML Model)?

I didn't found a tutorial which shows the definition of a class constraint and the checking of this constraint from scratch. So maybe someone has further links/examples. Until now only the model.uml and model.di file exist.

Thanks in advance. Alex


Regarding the definition, see Ed's answer above.
Regarding the execution: simple answer: it ain't possible, see <https://bugs.eclipse.org/bugs/show_bug.cgi?id=417062>

Less simple answer: Depending on your goals, you might transform your model into an ecore model, and validate ecore instances instead.

HTH

k


[Updated on: Fri, 08 November 2013 04:51]

Report message to a moderator

Previous Topic:Palette customization
Next Topic:Activities in block definition diagrams
Goto Forum:
  


Current Time: Fri Apr 18 04:16:27 EDT 2014

Powered by FUDForum. Page generated in 0.09774 seconds