Skip to main content
  • Conference proceedings
  • © 2013

Theory and Practice of Model Transformations

6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

Editors:

(view affiliations)
  • Up to date results

  • State of the art research

  • Fast track conference proceedings

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

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

Conference series link(s): ICMT: International Conference on Theory and Practice of Model Transformations

Conference proceedings info: ICMT 2013.

Buying options

eBook
USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-38883-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 72.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  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. Model Querying with FunnyQT

      • Tassilo Horn
      Pages 56-57
    4. 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. Partial Test Oracle in Model Transformation Testing

      • Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé
      Pages 189-204
  7. Back Matter

Other Volumes

  1. Theory and Practice of Model Transformations

    6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

About this book

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.

Keywords

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

Editors and Affiliations

  • Queensland University of Technology, Brisbane, Australia

    Keith Duddy

  • Vienna University of Technology, Vienna, Austria

    Gerti Kappel

Bibliographic Information

Buying options

eBook
USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-38883-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 72.00
Price excludes VAT (USA)