Java Other
Switch branches/tags
Nothing to show
Clone or download
Latest commit 9fc36de Jun 6, 2018

README.md

AnATLyzer

AnATLyzer is an static analyser for ATL model transformations. It extends the regular ATL editor with problem markers related to typing and rule usage problems, quick fixes, quick assists and visualizations. It can also be used as a programmatic API to manipulate ATL model transformations taking advantage of the typing information generated by anATLyzer.

You can find installation instructions at:

The following presentations provides a quick overview:

The following is the list of publications describing the technical details of anATLyzer:

The wiki provides technical documentation: