Theory and Practice of Model Transformations

1. Front Matter

   PDF

2. Invited Paper

   1. Search Computing: A Model-Driven Perspective

      • Marco Brambilla, Stefano Ceri, Massimo Tisi

      Pages 1-15

3. Research Papers

   1. Domain-Specific Composition of Model Deltas

      • Maider Azanza, Don Batory, Oscar Díaz, Salvador Trujillo

      Pages 16-30

   2. Temporal Model-Based Diagnostics Generation for HVAC Control Systems

      • Marion Behrens, Gregory Provan

      Pages 31-44

   3. Synthesis of OCL Pre-conditions for Graph Transformation Rules

      • Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

      Pages 45-60

   4. From State- to Delta-Based Bidirectional Model Transformations

      • Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

      Pages 61-76

   5. A Constructive Approach to Testing Model Transformations

      • Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo

      Pages 77-92

   6. From Sequence Diagrams to State Machines by Graph Transformation

      • Roy Grønmo, Birger Møller-Pedersen

      Pages 93-107

   7. Safe Composition of Transformations

      • Florian Heidenreich, Jan Kopcsek, Uwe Aßmann

      Pages 108-122

   8. Towards Incremental Execution of ATL Transformations

      • Frédéric Jouault, Massimo Tisi

      Pages 123-137

   9. Constructing and Navigating Non-invasive Model Decorations

      • Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran J. Fernandes

      Pages 138-152

   10. Model-to-Model Transformations By Demonstration

       • Philip Langer, Manuel Wimmer, Gerti Kappel

       Pages 153-167

   11. Implementing Business Process Recovery Patterns through QVT Transformations

       • Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Mario Piattini

       Pages 168-183

   12. Model Migration with Epsilon Flock

       • Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

       Pages 184-198

   13. Exceptional Transformations

       • Eugene Syriani, Jörg Kienzle, Hans Vangheluwe

       Pages 199-214

   14. Improving Higher-Order Transformations Support in ATL

       • Massimo Tisi, Jordi Cabot, Frédéric Jouault

       Pages 215-229

   15. Towards a Rewriting Logic Semantics for ATL

       • Javier Troya, Antonio Vallecillo

       Pages 230-244

   16. Metamodel Matching Based on Planar Graph Edit Distance

       • Konrad Voigt, Thomas Heinze

       Pages 245-259

   17. Surviving the Heterogeneity Jungle with Composite Mapping Operators

       • Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger

       Pages 260-275

4. Back Matter

   PDF

Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.

• aspect-oriented modeling
• embedded systems
• formal semantics
• graph theory
• logic
• meta-modeling
• model transformation
• model-driven architecture
• operationla semantics
• process algebra
• semantics
• software
• software architecture
• systems modeling

• Engineering and Information Sciences, The Burroughs, Middlesex University, London, United Kingdom

  Laurence Tratt

• Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany

  Martin Gogolla

Policies and ethics