Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » Semantics of ATL defined?
Semantics of ATL defined? [message #68935] Tue, 11 December 2007 17:59 Go to next message
Eclipse UserFriend
Originally posted by: botterwe.uni-koblenz.de

Hi all,

I'm looking for a formal or semi-formal description of the semantics of ATL.

I assume that in practice ATL's semantics are given by the translation
of the ATL file into an ASM file (that is executed on a virtual
machine), but is there some text about this?

For instance about the translation ATL->ASM and the semantics of the ASM
language?

Thanks,
Goetz
Re: [ATL] Semantics of ATL defined? [message #69036 is a reply to message #68935] Wed, 12 December 2007 01:01 Go to previous message
Frédéric Jouault is currently offline Frédéric JouaultFriend
Messages: 572
Registered: July 2009
Senior Member
Hello,

Could you please remember to prefix the subject of your ATL-related
posts on this forum with [ATL], as I did in my reply?
Thanks.


> I'm looking for a formal or semi-formal description of the semantics
of ATL.

The following technical reports presents a work we did on defining the
semantics of ATL using Abstract State Machines:
http://www.sciences.univ-nantes.fr/lina/atl/bibliography/RR0 602


> I assume that in practice ATL's semantics are given by the translation
> of the ATL file into an ASM file (that is executed on a virtual
> machine)

You assume correctly.


>, but is there some text about this?


> For instance about the translation ATL->ASM

The translation from ATL to ASM is specified in the ATL.acg file:
http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org .eclipse.m2m.atl/dsls/ATL/Compiler/ATL.acg?root=Modeling_Pro ject&view=markup
(information available at: http://wiki.eclipse.org/ATL_2006#Source)

The ACG language is documented on eclipsepedia:
http://wiki.eclipse.org/ACG

Similarly to ATL's, the definition of ACG is also done in KM3, TCS, and
ACG. You can now find links to the corresponding source files (including
ACG.acg) at:
http://wiki.eclipse.org/ACG#Source



> and the semantics of the ASM
> language?

You can find the "Specification of the ATL Virtual Machine" on the
following page:
http://www.eclipse.org/m2m/atl/doc/



Regards,

Frédéric Jouault
Previous Topic:[ATL] Model Formalisms
Next Topic:[ATL] Which plug is for visualizing an ecore model or a KM3 model?
Goto Forum:
  


Current Time: Wed Apr 14 16:57:31 GMT 2021

Powered by FUDForum. Page generated in 0.01974 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top