© 2015

Theory and Practice of Model Transformations

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

  • Dimitris Kolovos
  • Manuel Wimmer
Conference proceedings ICMT 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9152)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9152)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Change Management

    1. Front Matter
      Pages 1-1
    2. Riemer van Rozen, Tijs van der Storm
      Pages 18-33
    3. 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
    2. Javier Criado, Salvador Martínez, Luis Iribarne, Jordi Cabot
      Pages 43-58
    3. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
      Pages 59-65
    4. Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep
      Pages 66-81
    5. 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
    2. 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. Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton
      Pages 111-120
    4. Vlad Acretoaie, Harald Störrle, Daniel Strüber
      Pages 121-130
  5. Transformation Validation and Verification

    1. Front Matter
      Pages 131-131
    2. Zheng Cheng, Rosemary Monahan, James F. Power
      Pages 133-148
    3. Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
      Pages 149-165
    4. Loïc Gammaitoni, Pierre Kelsen
      Pages 166-180
  6. Foundations of Model Transformation

    1. Front Matter
      Pages 181-181
    2. Elie Richa, Etienne Borde, Laurent Pautet
      Pages 183-198

About these proceedings


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

Editors and affiliations

  • Dimitris Kolovos
    • 1
  • Manuel Wimmer
    • 2
  1. 1.University of YorkYorkUnited Kingdom
  2. 2.Vienna University of TechnologyViennaAustria

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment