Eclipse Community Forums: Papyrus » PAPYRUS! how to operate checking OCL constraints on stereotypes!

Home » Modeling » Papyrus » PAPYRUS! how to operate checking OCL constraints on stereotypes!(PAPYRUS! how to operate checking OCL constraints on stereotypes!)

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

PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #928279]

Sun, 30 September 2012 13:55

Tahar gh

Messages: 9
Registered: September 2012

Junior Member

hello

using PAPYRUS, how to operate OCL constraints checking on stereotypes!

I use:
- Eclipse Modeling Tools (galileo) Build id: 20100218-1602

- Papyrus UML Modeler 1.12.3.200912231359

and I wanted to test this simple example: "How to use OCL constraints in Papyrus" which can be found easily on papyrusuml site.

All steps were followed and everything works fine, but arriving at the final stage (Validation -> Validate OCL constraints in Defined Stereotypes), the control pass even though the constraint is violated (see the example in attachment)!

I remade this example several times and even on two different machines but the control of the OCL constraint always passes successfully!

In fact, in my Eclipse/PAPYRUS environment I've the Menu "Validate OCL constraints in Defined Profile" and not "Validate OCL constraints Defined Stereotypes in" as in the example.

Thank you for your help

Attachment: Papyrus UML - How to use OCL constraints in Papyrus.pdf
(Size: 277.56KB, Downloaded 669 times)

Report message to a moderator

Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #928451 is a reply to message #928279]

Sun, 30 September 2012 16:40

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

This functionality is not currently available.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=388529 provides a patch to
allow editing OCL constraints that use Stereotype facilities.

Providing a Validation Rule dispatcher that recognises Profiles as a
Constraint source remains to be done.

Regards

Ed Willink

On 30/09/2012 15:55, Tahar gh wrote:
> hello
>
> using PAPYRUS, how to operate OCL constraints checking on stereotypes!
>
> I use:
> - Eclipse Modeling Tools (galileo) Build id: 20100218-1602
>
> - Papyrus UML Modeler 1.12.3.200912231359
>
> and I wanted to test this simple example: "How to use OCL constraints in Papyrus" which can be found easily on papyrusuml site.
>
> All steps were followed and everything works fine, but arriving at the final stage (Validation -> Validate OCL constraints in Defined Stereotypes), the control pass even though the constraint is violated (see the example in attachment)!
>
> I remade this example several times and even on two different machines but the control of the OCL constraint always passes successfully!
>
> In fact, in my Eclipse/PAPYRUS environment I've the Menu "Validate OCL constraints in Defined Profile" and not "Validate OCL constraints Defined Stereotypes in" as in the example.
>
> Thank you for your help

Report message to a moderator

Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #929392 is a reply to message #928451]

Mon, 01 October 2012 12:19

Tahar gh

Messages: 9
Registered: September 2012

Junior Member

Mr Ed thanks for your reply

I have to build an uml profile with OCL constraints on stereotypes and then realize models conform to this profile; for this reason I need to check the conformity of the realized models to the profile (in an other word, I must check that OCL constraints are respected by these models). because papyrus does not implement this option, is there any other free (or open) tool that do it? and in the absence of such tools how, based on your experience, can I resolve this question?

Thank you in advance

Report message to a moderator

Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #929517 is a reply to message #929392]

Mon, 01 October 2012 14:29

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

No promises, but if you just load you UML model in the Sample UML Model
editor and invoke Validate it might do what you want.

Regards

Ed Willink

On 01/10/2012 14:19, Tahar gh wrote:
> Mr Ed thanks for your reply
>
> I have to build an uml profile with OCL constraints on stereotypes and
> then realize models conform to this profile; for this reason I need to
> check the conformity of the realized models to the profile (in an
> other word, I must check that OCL constraints are respected by these
> models). because papyrus does not implement this option, is there any
> other free (or open) tool that do it? and in the absence of such tools
> how, based on your experience, can I resolve this question?
>
> Thank you in advance

Report message to a moderator

Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #930518 is a reply to message #929517]

Tue, 02 October 2012 11:45

Cedric Dumoulin

Messages: 51
Registered: July 2009

Member

Ed Willink a écrit :
> Hi
>
> No promises, but if you just load you UML model in the Sample UML Model
> editor and invoke Validate it might do what you want.

If this work, it should be easy to add the option directly from the
Papyrus modelexplorer.
Can someone confirm that this work ?

Cedric
>
> Regards
>
> Ed Willink
>
>

Report message to a moderator

Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #930538 is a reply to message #930518]

Tue, 02 October 2012 12:06

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

Very unlikely to work in Papyrus because Papyrus has discarded the
standard EMF Validation support in favour of EMFv registrations.

Regards

Ed Willink

On 02/10/2012 13:45, Cedric Dumoulin wrote:
> Ed Willink a écrit :
>> Hi
>>
>> No promises, but if you just load you UML model in the Sample UML Model
>> editor and invoke Validate it might do what you want.
>
> If this work, it should be easy to add the option directly from the
> Papyrus modelexplorer.
> Can someone confirm that this work ?
>
> Cedric
>>
>> Regards
>>
>> Ed Willink
>>
>>

Report message to a moderator

Previous Topic:	How to activate Model Explorer, Outline, Properties views automatically
Next Topic:	update from juno r to 0.9.1 - no network

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Apr 24 16:18:57 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter