Parallel In-place Model Transformations with LinTra

As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and scalability of model transformations has become a critical issue. In previous work we introduced LinTra, a model transformation platform for the parallel execution of out-place model transformations. Nevertheless, in-place model transformations are required in several contexts and domains as well. In this paper we discuss the fundamentals of in-place model transformations in the light of their parallel execution and provide LinTra with an in-place execution mode.

[1]  Antonio Vallecillo,et al.  Static Fault Localization in Model Transformations , 2015, IEEE Transactions on Software Engineering.

[2]  Salvador Martínez Perez,et al.  Parallel Execution of ATL Transformation Rules , 2013, MoDELS.

[3]  Dániel Varró,et al.  A research roadmap towards achieving scalability in model driven engineering , 2013, BigMDE '13.

[4]  Jordi Cabot,et al.  Towards a general composition semantics for rule-based model transformation , 2011, MODELS'11.

[5]  Manuel Wimmer,et al.  Testing M2T/T2M Transformations , 2013, MoDELS.

[6]  Jordi Cabot,et al.  Refining Models with Rule-based Model Transformations , 2011 .

[7]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[8]  Dimosthenis Kyriazis,et al.  Migrating Legacy Software to the Cloud with ARTIST , 2013, 2013 17th European Conference on Software Maintenance and Reengineering.

[9]  Jürgen Dingel,et al.  A Tridimensional Approach for Studying the Formal Verification of Model Transformations , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[10]  Tom Mens,et al.  Detecting Structural Refactoring Conflicts Using Critical Pair Analysis , 2005, SETra@ICGT.

[11]  Juan de Lara,et al.  Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving , 2014, 2014 IEEE 25th International Symposium on Software Reliability Engineering.

[12]  Holger Giese,et al.  Implementing Graph Transformations in the Bulk Synchronous Parallel Model , 2014, Software Engineering & Management.

[13]  Luís Ferreira Pires,et al.  Performance in Model Transformations: Experiments with ATL and QVT , 2011, ICMT@TOOLS.

[14]  Antonio Vallecillo,et al.  On the concurrent execution of model transformations with Linda , 2013, BigMDE '13.

[15]  Ali Razavi,et al.  Partial evaluation of model transformations , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[16]  Jordi Cabot,et al.  MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..

[17]  Gábor Imre,et al.  Parallel Graph Transformations on Multicore Systems , 2012, MSEPT.

[18]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[19]  Jordi Cabot,et al.  A Catalogue of Refactorings for Model-to-Model Transformations , 2012, J. Object Technol..

[20]  Frédéric Jouault,et al.  Towards Incremental Execution of ATL Transformations , 2010, ICMT@TOOLS.

[21]  Antonio Vallecillo,et al.  LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra , 2014, BigMDE@STAF.

[22]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[23]  Dániel Varró,et al.  Graph Transformation and Visual Modeling Techniques ( GT-VMT 2009 ) Parallelization of Graph Transformation Based on Incremental Pattern Matching , 2009 .

[24]  Dániel Varró,et al.  IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud , 2014, MoDELS.

[25]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[26]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .

[27]  Antonio Vallecillo,et al.  A Rewriting Logic Semantics for ATL , 2011, J. Object Technol..

[28]  Martin Gogolla,et al.  Tractable Model Transformation Testing , 2011, ECMFA.

[29]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[30]  Marcos Didonet Del Fabro,et al.  Transforming Very Large Models in the Cloud: a Research Roadmap , 2012 .

[31]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[32]  Jürgen Dingel,et al.  Model transformation intents and their properties , 2016, Software & Systems Modeling.

[33]  Jordi Cabot,et al.  Lazy execution of model-to-model transformations , 2011, MODELS'11.

[34]  Martin Gogolla,et al.  Formal Specification and Testing of Model Transformations , 2012, SFM.