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](pngCNLENhcz5w.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](jpggyn5kC68wx.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](pngyhoYRpCP6e.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.
![](pngs9PFTyzzv8.png)
Thanks.
|
|
![cid:image001.png@01D1C880.5C951BE0](png1kdx8Lwz7j.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](jpgHQl2DhwZrS.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](pngeZmAFOP6wO.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
|