Eclipse Community Forums: Papyrus » Model Validation and Stereotypes

Home » Modeling » Papyrus » Model Validation and Stereotypes

Model Validation and Stereotypes [message #1699783]

Fri, 26 June 2015 10:56

Eclipse User

Hello all,

I'd like to report an unexpected behavior that i get when performing Model Validation on elements with applied stereotypes.

For example, if I apply the "Resource" stereotype (from MARTE::GRM) to a Component and then run the validation, I get several errors in the Model Validation View such as: "The required feature 'MARTE::GRM::Resource::base_Property' of 'Resource' must be set."
Which of course cannot be set in this case as the 'base_Classifier' property is set instead.

I've recently tried the latest Papyrus version (1.1.0 on Eclipse Mars 4.5), but I've noticed the same behavior on previous version as well. Moreover this seems to happen also on other stereotypes and profiles (even custom ones) as long as a stereotype can be applied to different UML elements.

Is this the expected behavior of the Model Validation? Could anyone check it?
I've attached a really small Papyrus Model to reproduce what i've reported.

Regards,
Nicholas

Attachment: Test.zip
(Size: 2.60KB, Downloaded 123 times)

Re: Model Validation and Stereotypes [message #1699786 is a reply to message #1699783]

Fri, 26 June 2015 11:00

Eclipse User

Hi Nicholas,

The validation is valid, but most Profiles are invalid. When a Stereotype extends multiple metaclasses, the multiplicity of the base_X property should be [0..1] instead of [1].

I suppose we should check this in Papyrus when creating the Profile, to avoid publishing Profiles that can't have valid instances.

Regards,
Camille

Re: Model Validation and Stereotypes [message #1699789 is a reply to message #1699786]

Fri, 26 June 2015 11:12

Eclipse User

Hi Camille,

many thanks for the quick reply!

I agree with you that the validation is ok, but with several application of stereotypes in the model you'll probably get an awful lot of errors in the result view.
Checking the multiplicity of the base_X properties when creating the Profile would be great.

As a workaround, Is there some way to add a filter or a constraint to avoid seeing all these errors?

thanks again,
Nicholas

Re: Model Validation and Stereotypes [message #1699790 is a reply to message #1699789]

Fri, 26 June 2015 11:15

Eclipse User

Hi,

This is an EMF Structural constraint, I'm afraid there's nothing you can do on the Model side. Only fixing the profile(s) will help.

I'm not sure how such constraints can be overridden or disabled

Camille

Re: Model Validation and Stereotypes [message #1699792 is a reply to message #1699790]

Fri, 26 June 2015 11:35

Eclipse User

Hi

The new safe-navigation OCL constraints are very disconcerting for
'unsafe' models and so I was forced to add a per-constraint-group
severity analoguous to JDT problem severities. A more generic EMF
Diagnostician could provide similar lookup of severity (and message).
Yet another WIBNIF for the validation rework.

Regards

Ed Willink

On 26/06/2015 16:15, Camille Letavernier wrote:
> Hi,
>
> This is an EMF Structural constraint, I'm afraid there's nothing you
> can do on the Model side. Only fixing the profile(s) will help.
>
> I'm not sure how such constraints can be overridden or disabled
>
> Camille

Previous Topic:	In braces view on packages, not shown 'inside' tab
Next Topic:	Customizing UML Class Diagram

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 04 09:26:09 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter