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

[Christian Damus <give.a.damus@xxxxxxxxx>]

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