Eclipse Community Forums: Papyrus » Checking OCL contraints in Papyrus

Help

Home

Home » Modeling » Papyrus » Checking OCL contraints in Papyrus

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

Checking OCL contraints in Papyrus [message #1175283]

Thu, 07 November 2013 16:53

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

Report message to a moderator

Re: Checking OCL contraints in Papyrus [message #1175393 is a reply to message #1175283]

Thu, 07 November 2013 18:32

Ed Willink

Messages: 7655
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

Report message to a moderator

Re: Checking OCL contraints in Papyrus [message #1175442 is a reply to message #1175283]

Thu, 07 November 2013 19:16

Klaas Gadeyne

Messages: 165
Registered: July 2009

Senior 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 09:51]

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 22:27:07 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter