My test is on NEON
|
|
![cid:image001.png@01D1C880.5C951BE0](pngn_3C0jnaaw.png)
|
|
|
Sébastien Gérard
Head of the LISE labs
CEA Research Director
Papyrus project Leader (www.eclipse.org/papyrus)
![cid:image002.jpg@01D1C880.5C951BE0](jpgFgYJxGmwiF.jpg)
Commissariat à l’énergie atomique et aux énergies alternatives
Institut List
|
CEA Saclay Nano-INNOV
|
Bât. 862- PC174
F-91191 Gif-sur-Yvette Cedex
M. +33 6 88 20 00 47
T. +33 1
69 08 58 24
sebastien.gerard@xxxxxx
www-list.cea.fr
|
|
|
|
![icone_youtube](png3qagm4O3rM.png)
|
|
|
|
|
|
|
|
De : mdt-papyrus.dev-bounces@xxxxxxxxxxx [mailto:mdt-papyrus.dev-bounces@xxxxxxxxxxx]
De la part de GERARD Sebastien
Envoyé : vendredi 19 mai 2017 16:23
À : Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>
Objet : [PROVENANCE INTERNET] Re: [mdt-papyrus.dev] OCL question on a profile
Not yet running…
Here is my example model. There is an additional complexity coming from the fact my profile consists of two subprofiles…
And when I define the profile, I try to use the option to save the OCL constraint in the profile as shown below:
![](jpgd9b4AEdvqx.jpg)
|
|
![cid:image001.png@01D1C880.5C951BE0](pngoRioeVt5BT.png)
|
|
|
Sébastien Gérard
Head of the LISE labs
CEA Research Director
Papyrus project Leader (www.eclipse.org/papyrus)
![cid:image002.jpg@01D1C880.5C951BE0](jpgubn4ZOSD5t.jpg)
Commissariat à l’énergie atomique et aux énergies alternatives
Institut List
|
CEA Saclay Nano-INNOV
|
Bât. 862- PC174
F-91191 Gif-sur-Yvette Cedex
M. +33 6 88 20 00 47
T. +33 1
69 08 58 24
sebastien.gerard@xxxxxx
www-list.cea.fr
|
|
|
|
![icone_youtube](pngrsMsQjzfqK.png)
|
|
|
|
|
|
|
|
Hi Sebastien
This is the magic/horror of profiles. You define it in one place and it works somewhere else. What is defined in a Stereotype is kind of added to the stereotyped Element.
Regards
Ed
On 19/05/2017 14:34, GERARD Sebastien wrote:
It could work if I define this constraint a model. In my case, the constraint is defined in the profile defining the aforementioned
stereotype.
|
|
![cid:image001.png@01D1C880.5C951BE0](pngHD3kM90PUQ.png)
|
|
|
Sébastien Gérard
Head of the LISE labs
CEA Research Director
Papyrus project Leader (www.eclipse.org/papyrus)
![cid:image002.jpg@01D1C880.5C951BE0](jpgubn4ZOSD5t.jpg)
Commissariat à l’énergie atomique et aux énergies alternatives
Institut List
|
CEA Saclay Nano-INNOV
|
Bât. 862- PC174
F-91191 Gif-sur-Yvette Cedex
M. +33 6 88 20 00 47
T. +33 1
69 08 58 24
sebastien.gerard@xxxxxx
www-list.cea.fr
|
|
|
|
![icone_youtube](pngrsMsQjzfqK.png)
|
|
|
|
|
|
|
|
Hi, Sébastien,
Try this: self.extension_NFP->notEmpty() implies self.extension_ASIL->notEmpty()
On May 19, 2017, 08:56 -0400, GERARD Sebastien <Sebastien.GERARD@xxxxxx>,
wrote:
Hi all,
Who can tell how to write the following rule in OCL?
On the profile denoted below, I would like to have a rule to check that is an Operation has the <<NFP>>
applied stereotype, then it has also the <<ASIL>> one.
![cid:image018.png@01D2D0BB.0B0319A0](pngKm7b9oVFv7.png)
Thanks.
|
|
![cid:image001.png@01D1C880.5C951BE0](pngHD3kM90PUQ.png)
|
|
|
Sébastien Gérard
Head of the LISE labs
CEA Research Director
Papyrus project Leader (www.eclipse.org/papyrus)
![cid:image002.jpg@01D1C880.5C951BE0](jpgubn4ZOSD5t.jpg)
Commissariat à l’énergie atomique et aux énergies alternatives
Institut List
|
CEA Saclay Nano-INNOV
|
Bât. 862- PC174
F-91191 Gif-sur-Yvette Cedex
M. +33 6 88 20 00 47
T.
+33 1
69 08 58 24
sebastien.gerard@xxxxxx
www-list.cea.fr
|
|
|
|
![icone_youtube](pngrsMsQjzfqK.png)
|
|
|
|
|
|
|
|
_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev
_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev
|