Hi
Séb,
It seems your example is working fine for me.
I did do the following things:
·
Created a new model test2
·
I opened your profile and defined it once more
by saving (initially, it didn’t seem to work and I only had
one of the two profiles available…)
·
On the RootElement, I applied both sub-profiles
·
I created a class diagram, a class and an
operation
·
I applied NFP
·
I validated
à model validation lists the issue
·
I applied ASIL as well
·
I validated
à model validation disappears as expected.
I also changed Eclipse OCL executor’s
preference from LPG to Pivot (the one I typically use).
Unfortunately, I don’t understand all and
aspects of this choice, but for this case it doesn’t make
any difference afaik.
Beware: Papyrus gives an error in the following
scenario:
·
Redefine the profile
·
Open a model to which the profile was applied
·
Allow the automatic update (re-application)
·
Then validate
You first need to save the model, close it and
reopen it in order to have a valid validation.
In attachment the current profile & test2
model.
Does this work for you as well?
BR,
Johan