Hi, I wrote the rules of transformation, but it can not apply these rules and it displays the error message.
here is code that I use to load the resource of your kaos model : -- @path EVENTB=/transformationKAOSEVENTB/modele/eventb.ecore -- @path KAOS=/transformationKAOSEVENTB/modele/Kaos.ecore module Kaos2EVENTB; create OUT : EVENTB from IN : Kaos; thanks
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
