A Formal Framework for Prototyping Executable Semantics in ATL

• Published in: Theory and Practice of Model Transformation Vol. 10888; pp. 157 - 172
• Main Author: Boronat, Artur
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2018; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: ATL; EMF; Formal methods; System specification

ATL is a well-established model transformation language both in industry and in academia, where it is used as a reference language for studying different types of model transformations and their properties. In this paper, we discuss current limitations of ATL’s in-place semantics that hamper its app...