Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » PAPYRUS! how to operate checking OCL constraints on stereotypes!(PAPYRUS! how to operate checking OCL constraints on stereotypes!)
PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #928279] Sun, 30 September 2012 09:55 Go to next message
Tahar gh is currently offline 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
Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #928451 is a reply to message #928279] Sun, 30 September 2012 12:40 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4036
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
Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #929392 is a reply to message #928451] Mon, 01 October 2012 08:19 Go to previous messageGo to next message
Tahar gh is currently offline 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
Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #929517 is a reply to message #929392] Mon, 01 October 2012 10:29 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4036
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
Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #930518 is a reply to message #929517] Tue, 02 October 2012 07:45 Go to previous messageGo to next message
Cedric Dumoulin is currently offline Cedric Dumoulin
Messages: 34
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
>
>
Re: PAPYRUS! how to operate checking OCL constraints on stereotypes! [message #930538 is a reply to message #930518] Tue, 02 October 2012 08:06 Go to previous message
Ed Willink is currently offline Ed Willink
Messages: 4036
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
>>
>>
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:
  


Current Time: Mon Sep 01 07:41:55 EDT 2014

Powered by FUDForum. Page generated in 0.02214 seconds