Advertisement

Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

  • Esther Guerra
  • Mark van den Brand
Conference proceedings ICMT 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
    PDF

  2. Transformation Paradigms, Languages, Algorithms and Strategies

    1. Front Matter
      Pages 1-1
      PDF
    2. Experimentation with a Big-Step Semantics for ATL Model Transformations
      Artur Boronat
      Pages 3-18
    3. Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities
      Christopher Gerking, David Schubert, Ingo Budde
      Pages 19-34
    4. Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars
      Frank Trollmann, Sahin Albayrak
      Pages 35-50
    5. The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX
      Edward D. Willink
      Pages 51-65

  3. Development of Transformations

    1. Front Matter
      Pages 67-67
      PDF
    2. Testing Transformation Models Using Classifying Terms
      Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
      Pages 69-85
    3. Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations
      Timo Kehrer, Christopher Pietsch, Daniel Strüber
      Pages 86-91
    4. Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations
      Timo Kehrer, Abdullah Alshanqiti, Reiko Heckel
      Pages 92-107
    5. A Survey of Model Transformation Design Pattern Usage
      Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, Mohammadreza Sharbaf
      Pages 108-118

  4. Applications and Case Studies

    1. Front Matter
      Pages 119-119
      PDF
    2. Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering
      Daniel Strüber
      Pages 121-137
    3. Graph Constraint Evaluation over Partial Models by Constraint Rewriting
      Oszkár Semeráth, Dániel Varró
      Pages 138-154
    4. BXE2E: A Bidirectional Transformation Approach for Medical Record Exchange
      Jeremy Ho, Jens Weber, Morgan Price
      Pages 155-170
    5. Rule-Based Repair of EMF Models: An Automated Interactive Approach
      Nebras Nassar, Hendrik Radke, Thorsten Arendt
      Pages 171-181
  5. Back Matter
    Pages 183-183
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections:  transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Keywords

software engineering model transformation software design computer architecture systems analysis model driven development model-driven engineering graph theory semantics programming languages problem solving computer programming optical communication artificial intelligence code generation graphic methods formal specification design patterns cluster analysis finite element method

Editors and affiliations

  1. 1.Department of Computer ScienceUniversidad Autónoma de MadridMadridSpain
  2. 2.Eindhoven University of TechnologyEindhovenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-61473-1
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-61472-4
  • Online ISBN 978-3-319-61473-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site