Theory and Practice of Model Transformations

5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

  • Zhenjiang Hu
  • Juan de Lara
Conference proceedings ICMT 2012

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. James F. Terwilliger, Anthony Cleve, Carlo A. Curino
      Pages 1-23
  3. Testing, Typing and Verification

    1. Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot
      Pages 24-39
    2. Antonio Vallecillo, Martin Gogolla
      Pages 56-71
    3. Suzana Andova, Mark G. J. van den Brand, Luc Engelen
      Pages 72-88
  4. Bidirectionality

    1. Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva
      Pages 105-120
  5. Applications and Visualization

    1. Jeroen van den Bos, Tijs van der Storm
      Pages 121-136
    2. María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini
      Pages 137-151
    3. Marcel F. van Amstel, Mark G. J. van den Brand, Alexander Serebrenik
      Pages 152-159
  6. Transformation Languages, Virtual Machines

    1. Lars George, Arif Wider, Markus Scheidgen
      Pages 160-175
    2. Jesús Sánchez Cuadrado
      Pages 176-191
    3. Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio, Alfonso Pierantonio
      Pages 192-207
    4. Colin Atkinson, Ralph Gerbig, Christian Tunjic
      Pages 208-223
  7. Pattern Matching

    1. Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr
      Pages 224-239
    2. Baltasar Trancón y Widemann, Markus Lepper
      Pages 240-247
  8. Transformations in Modelling, Reutilization

    1. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
      Pages 248-263
    2. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger
      Pages 280-295
  9. Back Matter

About these proceedings


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

Editors and affiliations

  • Zhenjiang Hu
    • 1
  • Juan de Lara
    • 2
  1. 1.National Institute of InformaticsChiyoda-kuJapan
  2. 2.Department of Computer ScienceUniversidad Autónoma de MadridMadridSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-30475-0
  • Online ISBN 978-3-642-30476-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment