Theory and Practice of Model Transformations

Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

  • Laurence Tratt
  • Martin Gogolla
Conference proceedings ICMT 2010

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

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Marco Brambilla, Stefano Ceri, Massimo Tisi
      Pages 1-15
  3. Research Papers

    1. Maider Azanza, Don Batory, Oscar Díaz, Salvador Trujillo
      Pages 16-30
    2. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
      Pages 45-60
    3. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
      Pages 61-76
    4. Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
      Pages 77-92
    5. Roy Grønmo, Birger Møller-Pedersen
      Pages 93-107
    6. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann
      Pages 108-122
    7. Frédéric Jouault, Massimo Tisi
      Pages 123-137
    8. Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran J. Fernandes
      Pages 138-152
    9. Philip Langer, Manuel Wimmer, Gerti Kappel
      Pages 153-167
    10. Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Mario Piattini
      Pages 168-183
    11. Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 184-198
    12. Eugene Syriani, Jörg Kienzle, Hans Vangheluwe
      Pages 199-214
    13. Massimo Tisi, Jordi Cabot, Frédéric Jouault
      Pages 215-229
    14. Javier Troya, Antonio Vallecillo
      Pages 230-244
    15. Konrad Voigt, Thomas Heinze
      Pages 245-259
    16. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger
      Pages 260-275
  4. Back Matter

About these proceedings


Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.


aspect-oriented modeling embedded systems formal semantics graph theory logic meta-modeling model transformation model-driven architecture operationla semantics process algebra semantics software software architecture systems modeling

Editors and affiliations

  • Laurence Tratt
    • 1
  • Martin Gogolla
    • 2
  1. 1.Engineering and Information Sciences, The BurroughsMiddlesex UniversityLondonUnited Kingdom
  2. 2.Computer Science Department Database Systems GroupUniversity of BremenBremenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-13687-0
  • Online ISBN 978-3-642-13688-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site