Skip to main content
SpringerLink
Log in
Book cover

Theory and Practice of Model Transformations

7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Davide Ruscio

    1. Department of Information Engineering, Computer Science and Mathematics, University of L’Aquila, L’Aquila, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dániel Varró

    1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    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 8568)

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

Included in the following conference series:

Conference proceedings info: ICMT 2014.

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 PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Model Transformation Testing

    1. On the Usage of TGGs for Automated Model Transformation Testing

      • Martin Wieber, Anthony Anjorin, Andy Schürr
      Pages 1-16

    2. A Search Based Test Data Generation Approach for Model Transformations

      • Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
      Pages 17-24

    3. Test Data Generation for Model Transformations Combining Partition and Constraint Analysis

      • Carlos A. González, Jordi Cabot
      Pages 25-41

    4. Testing MOFScript Transformations with HandyMOF

      • Jokin García, Maider Azanza, Arantza Irastorza, Oscar Díaz
      Pages 42-56

  3. Foundations of Model Synchronization

    1. Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

      • Zinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki
      Pages 57-73

    2. Correctness of Incremental Model Synchronization with Triple Graph Grammars

      • Fernando Orejas, Elvira Pino
      Pages 74-90

    3. Towards a Language for Graph-Based Model Transformation Design Patterns

      • Hüseyin Ergin, Eugene Syriani
      Pages 91-105

  4. Applications of Model Synchronization

    1. Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report

      • Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet
      Pages 106-121

    2. Triple Graph Grammars in the Large for Translating Satellite Procedures

      • Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli et al.
      Pages 122-137

    3. Developing eMoflon with eMoflon

      • Erhan Leblebici, Anthony Anjorin, Andy Schürr
      Pages 138-145

  5. Tracing and Reverse Engineering of Transformations

    1. ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments

      • Victor Guana, Eleni Stroulia
      Pages 146-153

    2. Tracing Program Transformations with String Origins

      • Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg
      Pages 154-169

    3. Transformation of UML and OCL Models into Filmstrip Models

      • Frank Hilken, Lars Hamann, Martin Gogolla
      Pages 170-185

    4. Reverse Engineering of Model Transformations for Reusability

      • Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
      Pages 186-201

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Keywords

About this book

This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.

Editors and Affiliations

  • Department of Information Engineering, Computer Science and Mathematics, University of L’Aquila, L’Aquila, Italy

    Davide Ruscio

  • Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation