Skip to main content
SpringerLink
Log in

Theory and Practice of Model Transformations

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Keith Duddy

    1. Queensland University of Technology, Brisbane, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerti Kappel

    1. Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: ICMT 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Keywords

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.

Editors and Affiliations

  • Queensland University of Technology, Brisbane, Australia

    Keith Duddy

  • Vienna University of Technology, Vienna, Austria

    Gerti Kappel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation