AnATLyzer an advanced IDE for ATL model transformations

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...

Full description

Saved in:
Bibliographic Details
Published in2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) pp. 85 - 88
Main Authors Cuadrado, Jesús Sánchez, Guerra, Esther, de Lara, Juan
Format Conference Proceeding
LanguageEnglish
Published New York, NY, USA ACM 27.05.2018
SeriesACM Conferences
Subjects
Analytical models
ATL
Computer bugs
Model Driven Engineering
Model transformation
Software
Software and its engineering > Software creation and management > Software development techniques
Software and its engineering > Software creation and management > Software verification and validation
Static analysis
Unified modeling language
Verification
Visualization
static analysis
ATL
model transformation
model-driven engineering
verification
Online AccessGet full text
ISBN145035663X
9781450356633
ISSN2574-1934
DOI10.1145/3183440.3183479

Cover

More Information
Summary: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. The tool website is http://anatlyzer.github.io, and a video showcasing its features is at https://youtu.be/bFpbZht7bqY
ISBN:145035663X
9781450356633
ISSN:2574-1934
DOI:10.1145/3183440.3183479