Theory and Practice of Model Transformations

1. Front Matter

   PDF

2. New Programming Models

   1. Streaming Model Transformations: Scenarios, Challenges and Initial Solutions

      • Jesús Sánchez Cuadrado, Juan de Lara

      Pages 1-16

   2. Genetic-Programming Approach to Learn Model Transformation Rules from Examples

      • Martin Faunes, Houari Sahraoui, Mounir Boukadoum

      Pages 17-32

   3. Walk Your Tree Any Way You Want

      • Anya Helene Bagge, Ralf Lämmel

      Pages 33-49

3. Tools and Applications (Extended Abstracts)

   1. On an Automated Translation of Satellite Procedures Using Triple Graph Grammars

      • Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre et al.

      Pages 50-51

   2. The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems

      • Martin Mann, Heinz Ekker, Christoph Flamm

      Pages 52-53

   3. Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)

      • Markus Lepper, Baltasar Trancón y Widemann

      Pages 54-55

   4. Model Querying with FunnyQT

      • Tassilo Horn

      Pages 56-57

   5. Yet Another Three QVT Languages

      • Edward Willink, Horacio Hoyos, Dimitris Kolovos

      Pages 58-59

4. Evolution and Synchronisation

   1. A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations

      • Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio

      Pages 60-75

   2. Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations

      • Christian Krause, Johannes Dyck, Holger Giese

      Pages 76-91

   3. Robust Real-Time Synchronization between Textual and Graphical Editors

      • Oskar van Rest, Guido Wachsmuth, Jim R. H. Steel, Jörn Guy Süß, Eelco Visser

      Pages 92-107

5. Transformation Engineering

   1. Achieving Practical Genericity in Model Weaving through Extensibility

      • Max E. Kramer, Jacques Klein, Jim R. H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais et al.

      Pages 108-124

   2. A Rete Network Construction Algorithm for Incremental Pattern Matching

      • Gergely Varró, Frederik Deckwerth

      Pages 125-140

   3. Interactive Visual Analytics for Efficient Maintenance of Model Transformations

      • Andreas Rentschler, Qais Noorshams, Lucia Happe, Ralf Reussner

      Pages 141-157

   4. Checking Model Transformation Refinement

      • Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara

      Pages 158-173

6. Testing

   1. Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations

      • Stephan Hildebrandt, Leen Lambers, Holger Giese

      Pages 174-188

   2. Partial Test Oracle in Model Transformation Testing

      • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé

      Pages 189-204

   3. Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns

      • Martin Wieber, Andy Schürr

      Pages 205-220

7. Back Matter

   PDF

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.

• ATL transformations
• graph grammars
• metamodels
• pattern matching
• test cases

• Queensland University of Technology, Brisbane, Australia

  Keith Duddy

• Vienna University of Technology, Vienna, Austria

  Gerti Kappel

Policies and ethics