[mdt-papyrus.dev] Suite question sur OCL...

[GERARD Sebastien <Sebastien.GERARD@xxxxxx>]

Hi all,

 

First of all, thanks to Christain, Johan, and ED for their responses on my previous question. Finally, it was ok. The pb is indeed that I did not know really suddenly it was ok…. :-(

I did a modification on my profile introducing an intermediate stereotype called <<Generic>> which extends Operation, and now the <<ASIL>> stereotype is a generalization of <<Generic>>.

 

Following constraint allow me to check that an Operation on which <<NFP>> is applied must also have the applied <<Generic>> stereotype:

self.extension_NFP->notEmpty() implies self.extension_Generic->notEmpty()

 

I would like also to check that an Operation on which <<NFP>> is applied must also have the applied stereotype <<ASIL>>.

I tried to write the following OCL statement (using the Xtext console directly on my model): self.extension_NFP->notEmpty() implies self.extension_ASIL->notEmpty()

But in that case .extension_ASIL is not resolved. Why?

I tried the following alternative:

self.extension_NFP->notEmpty() implies self.extension_Generic.ocIsKindOf()->notEmpty() but it does not work.

AM I wrong?

 

Thanks,

Best,

Sébastien

 

 

 

			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

 

 

Attachment: ValidModelExample.zip
Description: ValidModelExample.zip