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

Home » Archived » M2M (model-to-model transformation) » ATL formal description

Mon, 09 June 2008 05:46

Eclipse User

Originally posted by: vasco.sousa.gmail.com

Hi,

I am needing the formal description of ATL, yet I dont seem to be able to
find it.
Can any one point me to the right place ?

Best regards!

Re: ATL formal description [message #84300 is a reply to message #83959]

Wed, 11 June 2008 05:52

Eclipse User

Originally posted by: r.c.ladan.tue.nl

Vasco Sousa wrote:
> Hi,
>
> I am needing the formal description of ATL, yet I dont seem to be able
> to find it.

You mean the (E)BNF grammar or the operational/deontological semantics?

There could be some in the ATL manual and in the ATL VM description (both
on the ATL wiki). Alternatively, you can pull the latest source code
from CVS and browse through that.

HTH,
Rene

Previous Topic:	[ATL] invalid zip files?
Next Topic:	Re: [ATL][UML] set stereotyped tagged value

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 19 13:06:36 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter