Model Transformation
From AtlanMod
In the scope of model-driven engineering, model transformation aims to provide a mean to specify the way to produce target models from a number of source models. For this purpose, it enables developers to define the way source model elements must be matched and navigated in order to initialize the target model elements. Formally, a simple model transformation has to define the way for generating a model Mb, conforming to a metamodel MMb, from a model Ma conforming to a metamodel MMa.
Current research topics
- Parallelization of model transformations
- Reactivity in model transformations
- Transformations on the Cloud
- Bidirectional Transformations
Tools
- ATL : Project on Eclipse
- Reactive ATL : Experimental reactive transformation engine for ATL
- Parallel ATL : Experimental parallel transformation engine for ATL
- Standalone command-line ATL : A standalone CLI interface for ATL
- Moscript : the Moscript model query and management language
Main publications
- Tisi, Martínez, Choura. Parallel Execution of ATL Transformation Rules. In MoDELS 2013pages 656-672, Miami, FL, USA, 2013
- Tisi, Martínez, Jouault, Cabot. Lazy Execution of Model-to-Model Transformations. In MoDELS 2011, pages 32-46, Wellington, New Zealand,, 2011
- Wagelaar, Tisi, Cabot, Jouault. Towards a General Composition Semantics for Rule-Based Model Transformation. In MoDELS 2011, pages 623-637, Wellington, New Zealand, 2011
- Tisi, Martinez, Jouault, Cabot. Refining Models with Rule-based Model Transformations. In Technical Report, pages 1-18, 2011
- Jouault, Tisi. Towards incremental execution of ATL transformations. In Theory and Practice of Model Transformations, ICMT2010, pages 123-137, Springer, 2010
- Tisi, Cabot, Jouault. Improving Higher-Order Transformations Support in ATL. In Theory and Practice of Model Transformations, ICMT2010, pages 215-229, Springer, 2010
- Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. ATL: a Model Transformation Tool. In Science of Computer Programming (Special Issue on Experimental Software and Toolkits), pages 31-39, Volume 72, Issues 1-2, June 2008
- Ivan Kurtev, Klaas van den Berg, and Frédéric Jouault. Evaluation of Rule-based Modularization in Model Transformation Languages illustrated with ATL. In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006). ACM Press, Dijon, France, chapter Model transformation (MT 2006), pages 1202-1209, Dijon, France, 2006
- Frédéric Jouault and Ivan Kurtev. Transforming Models with ATL. In Proceedings of the Model Transformations in Practice Workshop (co-located with MoDELS 2005), Montego Bay, Jamaica, October 3, 2005
Other publications
- Büttner, Egea, Cabot, Gogolla. Verification of ATL Transformations Using Transformation Models and Model Finders. In ICFEM 2012, pages 198-213, 2012
- Büttner, Egea, Cabot. On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. In MoDELS 2012, pages 432-448, Insbruck, Austria, 2012
- Wimmer, Martinez, Jouault, Cabot. A Catalogue of Refactorings for Model-to-Model Transformations. In Journal of Object Technologies JOT, pages 1-40, 2012
- Hugo Brunelière. MoDisco & ATL. In Eclipse DemoCamp Indigo 2011 - Nantes, Nantes, France, June 30, 2011
- Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, and Jean Bézivin. Optimization Patterns for OCL-based Model Transformations. In Satellite Events at the MODELS 2008 Conference: MODELS 2008 International Workshops. Revised Selected Papers, LNCS. Springer., Toulouse, France, September 28 - October 3, 2008
- Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, and Jean Bézivin. Patrones de optimización de rendimiento para transformaciones de modelos. In Proceedings of V Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2008), pages 32-41, 2008
- Mikaël Barbero, Marcos Didonet Del Fabro, Juan M. Vara. Practice of Model Transformation and Model Weaving in the Eclipse Modeling Project with ATL and AMW. In SISBM, March 2008
- Mikaël Barbero and Marcos Didonet Del Fabro. Practice of Model Transformation and Model Weaving in the Eclipse Modeling Project with ATL and AMW. In Tutorial at TOOLS Europe 2007, Zurich, Switzerland, June 26, 2007
- Frédéric Jouault and Ivan Kurtev. On the Architectural Alignment of ATL and QVT. In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006). ACM Press, Dijon, France, chapter Model transformation (MT 2006), pages 1188-1195, Dijon, France, 2006
- Freddy Allilaire, Jean Bézivin, Frédéric Jouault, and Ivan Kurtev. ATL - Eclipse Support for Model Transformation. In Proceedings of the Eclipse Technology eXchange workshop - eTX (co-located with ECOOP 2006), Nantes, France, July 4, 2006
- Frédéric Jouault, Jean Bézivin, Charles Consel, Ivan Kurtev, and Fabien Latry. Building DSLs with AMMA/ATL, a Case Study on SPL and CPL Telephony Languages. In Proceedings of the First ECOOP Workshop on Domain-Specific Program Development (DSPD), Nantes, France, July 3, 2006
- Jean Bézivin, Frédéric Jouault, and Jean Paliès. Towards Model Transformation Design Patterns. In Proceedings of the First European Workshop on Model Transformation (EWMT 2005), Rennes, France, 2005
- Frédéric Jouault. Loosely Coupled Traceability for ATL. In Proceedings of the European Conference on Model Driven Architecture (ECMDA) Traceability Workshop, Nürnberg, Germany, November 8, 2005
- Jean Bézivin and Frédéric Jouault. Using ATL for Checking Models. In Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, September 28, 2005
- Freddy Allilaire and Tarik Idrissi. ADT: Eclipse Development Tools for ATL. In Proceedings of the Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations (EWMDA-2), edited by D. H. Akehurst, pages 171-178, Canterbury, England, September 7-8, 2004
- Jean Bézivin, Frédéric Jouault, and Patick Valduriez. An Eclipse-based IDE for the ATL Model Transformation Language. In Research Report LINA, (04.08). 2004