Hi

Actually in TOPCASED we just provide the possibility to use ATL. We can provide help for transformations using TOPCASED metamodels for example : How can i transform a state? how can i launch an ATL transformation in TOPCASED ?

but if you have technical questions particularly concerning resource loading or dynamic eobject problems, you will obtain more answers from M2M mailing list (http://www.eclipse.org/forums/index.php?t=thread&frm_id=23&;).



Le 26/04/2010 11:42, [email protected] a écrit :
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

<<attachment: tristan_faure.vcf>>

_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

Reply via email to