[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Newsgroup Home]
|
[news.eclipse.modeling.m2m] Re: ATL formal description
|
- From: Rene Ladan <r.c.ladan@xxxxxx>
- Date: Wed, 11 Jun 2008 11:52:06 +0200
- Newsgroups: eclipse.modeling.m2m
- Organization: EclipseCorner
- User-agent: Thunderbird 2.0.0.14 (Windows/20080421)
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