Theory and Practice of Model Transformations

Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

  • Richard F. Paige

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

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Benjamin C. Pierce
      Pages 1-3
  3. Full Papers

    1. Sven Apel, Florian Janda, Salvador Trujillo, Christian Kästner
      Pages 4-19
    2. Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
      Pages 20-34
    3. Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio
      Pages 35-51
    4. Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen
      Pages 67-82
    5. Esther Guerra, Juan de Lara, Fernando Orejas
      Pages 83-99
    6. Thomas Hettel, Michael Lawley, Kerry Raymond
      Pages 100-115
    7. Guillaume Hillairet, Frédéric Bertrand, Jean Yves Lafaye
      Pages 116-131
    8. Andreas Petter, Alexander Behring, Max Mühlhäuser
      Pages 132-147
    9. Sagar Sen, Benoit Baudry, Jean-Marie Mottu
      Pages 148-164
    10. Juan Manuel Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos
      Pages 181-196
    11. Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Brunelière
      Pages 197-212
    12. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
      Pages 213-228
  4. Short Papers

    1. Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
      Pages 229-238
    2. Marcel F. van Amstel, Christian F. J. Lange, Mark G. J. van den Brand
      Pages 239-248
    3. Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault
      Pages 249-259
  5. Panel on Bidirectional Transformations

    1. Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
      Pages 260-283
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009.

The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.


algorithms aspect-oriented modeling classification code generation constraint solving domain-specific languages embedded systems formal methods generic programming graph transformation meta-modeling model model checking model transformation model-driven architectu

Editors and affiliations

  • Richard F. Paige
    • 1
  1. 1.Department of Computer Science, HeslingtonUniversity of YorkYorkUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02407-8
  • Online ISBN 978-3-642-02408-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software