Theory and Practice of Model Transformations

1. Front Matter

   Pages I-XIV

   PDF

2. Change Management

   1. Front Matter

      Pages 1-1

      PDF

   2. Change Propagation in an Internal Model Transformation Language

      • Georg Hinkel

      Pages 3-17

   3. Origin Tracking \(+\) Text Differencing \(=\) Textual Model Differencing

      • Riemer van Rozen, Tijs van der Storm

      Pages 18-33

   4. CoWolf – A Generic Framework for Multi-view Co-evolution and Evaluation of Models

      • Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy

      Pages 34-40

3. Reuse and Industrial Applications

   1. Front Matter

      Pages 41-41

      PDF

   2. Enabling the Reuse of Stored Model Transformations Through Annotations

      • Javier Criado, Salvador Martínez, Luis Iribarne, Jordi Cabot

      Pages 43-58

   3. Reusable Model Transformation Components with bentō

      • Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara

      Pages 59-65

   4. Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models

      • Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep

      Pages 66-81

   5. Migrating Automotive Product Lines: A Case Study

      • Michalis Famelis, Levi Lúcio, Gehan Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik et al.

      Pages 82-97

4. New Paradigms for Model Transformation

   1. Front Matter

      Pages 99-99

      PDF

   2. Viatra 3: A Reactive Model Transformation Platform

      • Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi et al.

      Pages 101-110

   3. Towards Functional Model Transformations with OCL

      • Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton

      Pages 111-120

   4. Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool

      • Vlad Acretoaie, Harald Störrle, Daniel Strüber

      Pages 121-130

5. Transformation Validation and Verification

   1. Front Matter

      Pages 131-131

      PDF

   2. A Sound Execution Semantics for ATL via Translation Validation

      • Zheng Cheng, Rosemary Monahan, James F. Power

      Pages 133-148

   3. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

      • Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

      Pages 149-165

   4. F-Alloy: An Alloy Based Model Transformation Language

      • Loïc Gammaitoni, Pierre Kelsen

      Pages 166-180

6. Foundations of Model Transformation

   1. Front Matter

      Pages 181-181

      PDF

   2. Translating ATL Model Transformations to Algebraic Graph Transformations

      • Elie Richa, Etienne Borde, Laurent Pautet

      Pages 183-198

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.

• Automated software engineering
• Automatic theorem proving
• Bidirectional transformation
• Incremental transformation
• Intermediate verification language
• Metamodeling
• Model queries
• Model transformation
• Model verification and validation
• Model-driven software engineering
• Nested graph conditions
• Pattern matching
• Re-engineering
• Reusability
• Reverse engineering
• Software development technique
• Software engineering
• Transformation languages
• Triple graph grammars
• Virtual machine

• University of York, York, United Kingdom

  Dimitris Kolovos

• Vienna University of Technology, Vienna, Austria

  Manuel Wimmer

Policies and ethics