Eclipse Community Forums: Papyrus » Activity diagrams & Class operations definition

Home » Modeling » Papyrus » Activity diagrams & Class operations definition(Activity diagrams & Class operations definition)

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

Activity diagrams & Class operations definition [message #1403967]

Mon, 28 July 2014 18:59

cyril dufrechou

Messages: 35
Registered: September 2013

Member

Hi,

I try to define an operation with an activity diagram and ALF language.
My example is given in a zip attached here.

I use Papyrus 1.0.0 into Luna version.

Some warnings and errors are so difficult to investigate because I don't find an "experimented" papyrus user manual.

Has anyone some help to give me to understand how to défine this kind of model?

Regards

index.php/fa/18655/0/

Attachment: papyrus.test.rar
(Size: 162.59KB, Downloaded 177 times)
Attachment: Activity&Operation.png
(Size: 167.53KB, Downloaded 3421 times)

[Updated on: Mon, 28 July 2014 18:59]

Report message to a moderator

Re: Activity diagrams & Class operations definition [message #1404056 is a reply to message #1403967]

Tue, 29 July 2014 11:31

Camille Letavernier

Messages: 952
Registered: February 2011

Senior Member

Hi Cyril,

The "No pivot for..." exception is thrown by the OCL/UML Validator. This is not a UML error.

Since this validator is quite new (and under development), it is possibly a bug in the validator itself (Which might be trying to validate the Opaque action as an OCL expression)

The "Behavioral feature ... must be a feature of the context classifier" means that the Activity should be owned by the Class

The "One or more parameters ... do not match" means that the Activity should have Parameters (In addition to Parameter nodes). The parameters should be copied from the Operation's, and the Activity's parameter nodes should be associated to them.

Regards,
Camille

Camille Letavernier

Report message to a moderator

Re: Activity diagrams & Class operations definition [message #1404060 is a reply to message #1404056]

Tue, 29 July 2014 11:48

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

OCL in Activity diagrams was not included in the first tranche of OCL
support for UML in Papyrus.

https://bugs.eclipse.org/413620 was fixed in OCL 5.0.1 which at least
avoids Activity nodes preventing normal constraints working. It is just
possible that that fix was sufficient to make OCL in Activity diagrams
work, but it hasn't been tested.

There are seven useful fixes for OCL in UML so I hope you are using
5.0.1 anyway: https://wiki.eclipse.org/OCL/New_and_Noteworthy/Luna#SR1

Regards

Ed Willink

On 29/07/2014 12:31, Camille Letavernier wrote:
> Hi Cyril,
>
>
> The "No pivot for..." exception is thrown by the OCL/UML Validator.
> This is not a UML error.
>
> Since this validator is quite new (and under development), it is
> possibly a bug in the validator itself (Which might be trying to
> validate the Opaque action as an OCL expression)
>
> The "Behavioral feature ... must be a feature of the context
> classifier" means that the Activity should be owned by the Class
>
> The "One or more parameters ... do not match" means that the Activity
> should have Parameters (In addition to Parameter nodes). The
> parameters should be copied from the Operation's, and the Activity's
> parameter nodes should be associated to them.
>
>
> Regards,
> Camille

Report message to a moderator

Re: Activity diagrams & Class operations definition [message #1404117 is a reply to message #1404056]

Tue, 29 July 2014 17:31

cyril dufrechou

Messages: 35
Registered: September 2013

Member

Hi,

Thank you all for your answers.

1/ Is it possible to "disable OCL checks", because the model validation can be set in the following ihm, but OCL doesn't appears clearly in items:

index.php/fa/18689/0/

2/ The "Behavioral feature ... must be a feature of the context
classifier" means that the Activity should be owned by the Class

For this point I don't succeed to find how to "own" activity in class. In the model explorer the activity is only settable in package, and none parameters in UML or advanced "window" leads me to make a such thing.

3/ The "One or more parameters ... do not match" means that the Activity
should have Parameters (In addition to Parameter nodes). The
parameters should be copied from the Operation's, and the Activity's
parameter nodes should be associated to them.

As for the last point the activity as no parameter to be setted in UML or advanced "window". So I used "activity parameter node" to link operation parameters with activity... perhaps is the bad way to make this.

In my first message the model is "light" and complete (papyrus.test.rar) with these 2 problems, so if you can help me on what is wrong and how to define these 2 things.

Regards
Cyril

Attachment: ModelValidationProperties.png
(Size: 100.72KB, Downloaded 2397 times)

Report message to a moderator

Re: Activity diagrams & Class operations definition [message #1404389 is a reply to message #1404056]

Thu, 31 July 2014 21:13

cyril dufrechou

Messages: 35
Registered: September 2013

Member

Hi Camille,

I update 2 versions for my model (1 ok and 1 ko with OCL validation)
The problem seems to be lead by alf comments in opaque activity...

Can you give me your opinion on the way to défine an operation trhough activity => to be able to use alf in body...

I'm new in UML2 modeling in this way, and all remark could be good to increase methods.

Regards
Cyril

PS: the 2 model versions are joinded.

Attachment: papyrus.test_KO.rar
(Size: 257.10KB, Downloaded 166 times)
Attachment: papyrus.test_OK.rar
(Size: 257.07KB, Downloaded 193 times)

Report message to a moderator

Previous Topic:	How to create a papayrus model programatically
Next Topic:	Icon legend

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Apr 24 14:06:37 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter