@inproceedings{9a988ec0bdbc49668305b282ee036592,
title = "Translating ATL model transformations to algebraic graph transformations",
abstract = "Analyzing and reasoning on model transformations has become very relevant for various applications such as ensuring the correctness of transformations. ATL is a model transformation language with rich semantics and a focus on usability, making its analysis not straightforward. Conversely, Algebraic Graph Transformation (AGT) is an approach with strong theoretical foundations allowing for formal analyses that would be valuable in the context of ATL. In this paper we propose a translation of ATL to the AGT framework in the objective of bringing theoretical analyses of AGT to ATL transformations. We validate our proposal by translating a set of feature-rich ATL transformations to the Henshin AGT framework. We execute the ATL and AGT versions on the same set of models and verify that the result is the same.",
keywords = "ATL, Algebraic graph transformation, Analysis of model transformations, Henshin, Nested graph conditions, OCL",
author = "Elie Richa and Etienne Borde and Laurent Pautet",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 8th International Conference on Theory and Practice of Model Transformations, ICMT 2015 ; Conference date: 20-07-2015 Through 21-07-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-21155-8\_14",
language = "English",
isbn = "9783319211541",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "183--198",
editor = "Manuel Wimmer and Dimitris Kolovos",
booktitle = "Theory and Practice of Model Transformations - 8th International Conference, ICMT 2015 held as Part of STAF 2015, Proceedings",
}