skip to main content
10.1145/3183440.3183479acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
demonstration

AnATLyzer: an advanced IDE for ATL model transformations

Published: 27 May 2018 Publication History

Abstract

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

References

[1]
J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev, and A. Lindow. 2006. Model transformations? Transformation models!. In MODELS (LNCS), Vol. 4199. Springer, 440--453.
[2]
H. Brunelière, J. Cabot, G. Dupé, and F. Madiot. 2014. MoDisco: A model driven reverse engineering framework. Inf. & Softw. Technology 56, 8 (2014), 1012--1032.
[3]
L. Burgueño, J. Troya, M. Wimmer, and A. Vallecillo. 2015. Static fault localization in model transformations. IEEE TSE 41, 5 (2015), 490--506.
[4]
F. Büttner, M. Egea, J. Cabot, and M. Gogolla. 2012. Verification of ATL transformations using transformation models and model finders. In ICFEM (LNCS), Vol. 7635. Springer, 198--213.
[5]
J. Cabot, R. Clarisó, E. Guerra, and J. de Lara. 2010. Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83, 2 (2010), 283--302.
[6]
Z. Cheng and M. Tisi. 2017. A deductive approach for fault localization in ATL model transformations. In FASE (LNCS), Vol. 10202. Springer, 300--317.
[7]
H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. 2006. Fundamentals of algebraic graph transformation. Springer-Verlag.
[8]
D. Jeffrey, M. Feng, N. Gupta, and R. Gupta. 2009. BugFix: A learning-based tool to assist developers in fixing bugs. In ICPC. IEEE Computer Society, 70--79.
[9]
F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72, 1--2 (2008), 31 -- 39.
[10]
S. Kaleeswaran, V. Tulsian, A. Kanade, and A. Orso. 2014. MintHint: automated synthesis of repair hints. In ICSE. ACM, 266--276.
[11]
KDM. 2016. http://www.omg.org/spec/KDM/About-KDM/. (2016).
[12]
D. Kolovos, R. Paige, and F. Polack. 2008. The Epsilon Transformation Language. In ICMT (LNCS), Vol. 5063. Springer, 46--60.
[13]
P. Muntean, V. Kommanapalli, A. Ibing, and C. Eckert. 2015. Automated generation of buffer overflow quick fixes using symbolic execution and SMT. In SAFECOMP (LNCS), Vol. 9337. Springer, 441--456.
[14]
QVT. 2016. http://www.omg.org/spec/QVT/. (2016).
[15]
L. Rahim and J. Whittle. 2015. A survey of approaches for verifying model transformations. SoSyM 14, 2 (2015), 1003--1028.
[16]
J. Sánchez Cuadrado, E. Guerra, and J. de Lara. 2016. Quick fixing ATL transformations with speculative analysis. SoSyM in press (2016).
[17]
J. Sánchez Cuadrado, E. Guerra, and J. de Lara. 2017. Static analysis of model transformations. IEEE TSE 43, 9 (2017), 868--897.
[18]
J. Sánchez Cuadrado, E. Guerra, J. de Lara, R. Clarisó, and J. Cabot. 2017. Translating target to source constraints in model-to-model transformations. In MODELS. IEEE Comp. Soc., 12--22.
[19]
S. Sendall and W. Kozaczynski. 2003. Model transformation: The heart and soul of model-driven software development. IEEE Software 20, 5 (2003), 42--45.
[20]
SysML-Modelica transformation. 2012. http://www.omg.org/spec/SyM. (2012).
[21]
Z. Ujhelyi, Á. Horváth, and D. Varró. 2011. Static type checking of model transformation programs. ECEASST 38 (2011).
[22]
A. Vieira and F. Ramalho. 2011. A static analyzer for model transformations. In MtATL'11.

Cited By

View all
  • (2024)Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning ApproachProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695058(619-630)Online publication date: 27-Oct-2024
  • (2024)Enhanced performance prediction of ATL model transformationsPerformance Evaluation10.1016/j.peva.2024.102413164:COnline publication date: 1-May-2024
  • (2024)A source model simplification method to assist model transformation debuggingSoftware Quality Journal10.1007/s11219-024-09676-232:3(961-984)Online publication date: 24-May-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
May 2018
231 pages
ISBN:9781450356633
DOI:10.1145/3183440
  • Conference Chair:
  • Michel Chaudron,
  • General Chair:
  • Ivica Crnkovic,
  • Program Chairs:
  • Marsha Chechik,
  • Mark Harman
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2018

Check for updates

Author Tags

  1. ATL
  2. model transformation
  3. model-driven engineering
  4. static analysis
  5. verification

Qualifiers

  • Demonstration

Funding Sources

  • Ministerio de Economía y Competitividad
  • R&D programme of Madrid
  • Spanish MINECO

Conference

ICSE '18
Sponsor:

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning ApproachProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695058(619-630)Online publication date: 27-Oct-2024
  • (2024)Enhanced performance prediction of ATL model transformationsPerformance Evaluation10.1016/j.peva.2024.102413164:COnline publication date: 1-May-2024
  • (2024)A source model simplification method to assist model transformation debuggingSoftware Quality Journal10.1007/s11219-024-09676-232:3(961-984)Online publication date: 24-May-2024
  • (2024)Improving repair of semantic ATL errors using a social diversity metricSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01170-423:6(1547-1568)Online publication date: 1-Dec-2024
  • (2023)Towards Memory-Efficient Validation of Large XMI Models2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00053(241-250)Online publication date: 1-Oct-2023
  • (2023)Understanding the need for assistance in software modeling: interviews with expertsSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01104-623:1(103-135)Online publication date: 2-May-2023
  • (2022)Selective Traceability for Rule-Based Model-to-Model TransformationsProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567521(98-109)Online publication date: 29-Nov-2022
  • (2022)Recommender systems in model-driven engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-021-00905-x21:1(249-280)Online publication date: 1-Feb-2022
  • (2021)Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00011(13-23)Online publication date: Oct-2021
  • (2021)Identification and Optimisation of Type-Level Model Queries2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00121(751-760)Online publication date: Oct-2021
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media