Re: [mdt-papyrus.dev] OCL question on a profile

[Ed Willink <ed@xxxxxxxxxxxxx>]

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.

 

			Sébastien Gérard Head of the LISE labs CEA Research Director Papyrus project Leader (www.eclipse.org/papyrus) 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

 

 

De : mdt-papyrus.dev-bounces@xxxxxxxxxxx [mailto:mdt-papyrus.dev-bounces@xxxxxxxxxxx] De la part de Christian Damus
Envoyé : vendredi 19 mai 2017 14:59
À : Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>
Objet : Re: [mdt-papyrus.dev] OCL question on a profile

 

Hi, Sébastien,

 

Try this:  self.extension_NFP->notEmpty() implies self.extension_ASIL->notEmpty()

HTH,

 

Christian

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.

 

 

 

Thanks.

 

			Sébastien Gérard Head of the LISE labs CEA Research Director Papyrus project Leader (www.eclipse.org/papyrus) 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

 

 

_______________________________________________
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

Virus-free. www.avast.com