AnATLyzer: An Advanced IDE for ATL Model Transformations

Author email: jesusc@um.es
Tool name: AnATLyzer
Description: Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical MT languages. To alleviate this problem, this paper presents AnATLyzer: a static analysis tool for ATL MTs. The tool is able to detect a wide range of non-trivial problems in ATL transformations by using constraint solving to improve the analysis precision. It provides a live environment integrated into Eclipse which allows checking and fixing problems as the transformation is written. The environment is highly configurable and provides facilities like quick fixes, visualizations, navigation shortcuts and problem explanations. We have evaluated the tool over third-party MTs, obtaining good results.
Bibtex: "@inproceedings{cuadrado2018anatlyzer, title={AnATLyzer: an advanced IDE for ATL model transformations}, author={Cuadrado, Jes{\'u}s S{\'a}nchez and Guerra, Esther and de Lara, Juan}, booktitle={Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings}, pages={85--88}, year={2018}, organization={ACM} }"
Link to public pdf: https://dl.acm.org/citation.cfm?id=3183479
Link to tool webpage: https://anatlyzer.github.io/
Link to demo: https://youtu.be/bFpbZht7bqY
Category: None
Tags: model-driven engineering, atl, static analysis, model transformation, verification
Year and Conference: 2018, ICSE
Terms of use