Eclipse Community Forums: M2M (model-to-model transformation)

Home » Archived » M2M (model-to-model transformation) » Semantics of ATL defined?

Semantics of ATL defined? [message #68935]

Tue, 11 December 2007 12:59

Eclipse User

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]

Tue, 11 December 2007 20:01

Eclipse User

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:

-=] Back to Top [=-

Current Time: Tue Nov 04 01:00:03 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter