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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

ATL formal description [message #83959]

Mon, 09 June 2008 09: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!

Report message to a moderator

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

Wed, 11 June 2008 09: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

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 12:29:02 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter