Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Dimitris Kolovos

    1. University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel Wimmer

    1. Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICMT 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Change Management

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter PDF

    2. Translating ATL Model Transformations to Algebraic Graph Transformations

      • Elie Richa, Etienne Borde, Laurent Pautet
      Pages 183-198
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Editors and Affiliations

  • University of York, York, United Kingdom

    Dimitris Kolovos

  • Vienna University of Technology, Vienna, Austria

    Manuel Wimmer

Bibliographic Information

Publish with us

Policies and ethics

Back to top