RT Journal Article T1 Efficient execution of ATL model transformations using static analysis and parallelism A1 Sánchez Cuadrado, Jesús A1 Burgueño-Caballero, Lola A1 Wimmer, Manuel A1 Vallecillo-Moreno, Antonio Jesús K1 Modelos industriales K1 Compiladores (Programas de ordenador) AB Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. Among other shortcomings, their performance and scalability remain unsatisfactory for dealing with large models, making their wide adoption difficult in practice. This paper presents A2L, a compiler for the parallel execution of ATL model transformations, which produces efficient code that can use existing multicore computer architectures, and applies effective optimizations at the transformation level using static analysis. We have evaluated its performance in both sequential and multi-threaded modes obtaining significant speedups with respect to current ATL implementations. In particular, we obtain speedups between 2.32x and 38.28x for the A2L sequential version, and between 2.40x and 245.83x when A2L is executed in parallel, with expected average speedups of 8.59x and 22.42x, respectively. YR 2020 FD 2020 LK https://hdl.handle.net/10630/19688 UL https://hdl.handle.net/10630/19688 LA eng NO Spanish Research Projects PGC2018-094905-B-I00, TIN2015-73968-JIN (AEI/FEDER/UE), Ramón y Cajal 2017 research grant, TIN2016-75944-R. Austrian Federal Ministry for Digital and Economic Affairs, the National Foundation for Research, Technology and Development, and by the FWF under the Grant Numbers P28519-N31 and P30525-N31. DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 19 ene 2026