* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 11:00 - 11:30 at E1/B room - Static analysis Chair(s): Anne Koziolek

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

Thu 31 May

11:00 - 12:30: DEMO - Demonstrations - Static analysis at E1/B room
Chair(s): Anne KoziolekKarlsruhe Institute of Technology
icse-2018-Demonstrations152775720000011:00 - 11:30
Pre-print Media Attached
icse-2018-Demonstrations152775900000011:30 - 12:00
Lisa Nguyen Quang DoPaderborn University, Stefan Krüger, Patrick Hill, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication Pre-print
icse-2018-Demonstrations152776080000012:00 - 12:30
Csaba Nagy, Anthony CleveUniversity of Namur