Theory and Practice of Model Transformations

First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

  • Editors
  • Antonio Vallecillo
  • Jeff Gray
  • Alfonso Pierantonio
Conference proceedings ICMT 2008

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

Table of contents

  1. Front Matter
  2. Process and Engineering of Model Transformations

    1. Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä
      Pages 1-15
    2. Greg Freeman, Don Batory, Greg Lavender
      Pages 16-30
    3. Thomas Hettel, Michael Lawley, Kerry Raymond
      Pages 31-45
    4. Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 46-60
  3. Model Transformations Supporting Concurrency and Time

    1. M. F. van Amstel, M. G. J. van den Brand, Z. Protić, T. Verhoeff
      Pages 61-75
    2. Peter Y. H. Wong, Jeremy Gibbons
      Pages 76-90
    3. Eugene Syriani, Hans Vangheluwe
      Pages 91-106
  4. Matching and Mapping within Model Transformation Rules

    1. István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
      Pages 107-121
    2. Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl
      Pages 122-136
    3. Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer
      Pages 137-151
  5. Language Support for Model Transformation Reuse and Modularity

    1. Jesús Sánchez Cuadrado, Jesús García Molina
      Pages 168-182
    2. Zef Hemel, Lennart C. L. Kats, Eelco Visser
      Pages 183-198
  6. Correctness and Analysis of Model Transformations

    1. Iman Poernomo
      Pages 214-228
    2. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
      Pages 229-244
    3. Andrés Vignaga, Daniel Perovich, María Cecilia Bastarrica
      Pages 245-259
  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008.

The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.


Unified Modeling Language (UML) aspect-oriented modeling calculus domain-specific languages embedded systems formal methods formal semantics generic programming graph transformation meta-modeling model checking model transformation model-driven architecture modeling modeling quality

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-69926-2
  • Online ISBN 978-3-540-69927-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods