Theory and Practice of Model Transformations

1. Front Matter

   PDF

2. Invited Talk

   1. How Clean Is Your Sandbox?

      • James F. Terwilliger, Anthony Cleve, Carlo A. Curino

      Pages 1-23

3. Testing, Typing and Verification

   1. Using Models of Partial Knowledge to Test Model Transformations

      • Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot

      Pages 24-39

   2. Specification-Driven Test Generation for Model Transformations

      • Esther Guerra

      Pages 40-55

   3. Typing Model Transformations Using Tracts

      • Antonio Vallecillo, Martin Gogolla

      Pages 56-71

   4. Reusable and Correct Endogenous Model Transformations

      • Suzana Andova, Mark G. J. van den Brand, Luc Engelen

      Pages 72-88

4. Bidirectionality

   1. Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas

      • Hugo Pacheco, Alcino Cunha

      Pages 89-104

   2. Bidirectional Transformation of Model-Driven Spreadsheets

      • Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva

      Pages 105-120

5. Applications and Visualization

   1. Domain-Specific Optimization in Digital Forensics

      • Jeroen van den Bos, Tijs van der Storm

      Pages 121-136

   2. Empirical Assessment of Business Model Transformations Based on Model Simulation

      • María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini

      Pages 137-151

   3. Traceability Visualization in Model Transformations with TraceVis

      • Marcel F. van Amstel, Mark G. J. van den Brand, Alexander Serebrenik

      Pages 152-159

6. Transformation Languages, Virtual Machines

   1. Type-Safe Model Transformation Languages as Internal DSLs in Scala

      • Lars George, Arif Wider, Markus Scheidgen

      Pages 160-175

   2. Towards a Family of Model Transformation Languages

      • Jesús Sánchez Cuadrado

      Pages 176-191

   3. Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine

      • Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio, Alfonso Pierantonio

      Pages 192-207

   4. Towards Multi-level Aware Model Transformations

      • Colin Atkinson, Ralph Gerbig, Christian Tunjic

      Pages 208-223

7. Pattern Matching

   1. An Algorithm for Generating Model-Sensitive Search Plans for EMF Models

      • Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr

      Pages 224-239

   2. Paisley: Pattern Matching à la Carte

      • Baltasar Trancón y Widemann, Markus Lepper

      Pages 240-247

8. Transformations in Modelling, Reutilization

   1. Constraint-Driven Modeling through Transformation

      • Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed

      Pages 248-263

   2. The Impact of Class Model Redesign on State Machines

      • Piotr Kosiuczenko

      Pages 264-279

   3. Fact or Fiction – Reuse in Rule-Based Model-to-Model Transformation Languages

      • Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger

      Pages 280-295

This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.

• business processes
• knowledge discovery metamodel
• ontological classification
• reuse mechanisms
• strategic programming

• National Institute of Informatics, Chiyoda-ku, Japan

  Zhenjiang Hu

• Department of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

  Juan Lara

Policies and ethics