Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Theory and Practice of Model Transformations

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Laurence Tratt

    1. Engineering and Information Sciences, The Burroughs, Middlesex University, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Gogolla

    1. Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICMT 2010.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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. Invited Paper

    1. Search Computing: A Model-Driven Perspective

      • Marco Brambilla, Stefano Ceri, Massimo Tisi
      Pages 1-15

  3. Research Papers

    1. Domain-Specific Composition of Model Deltas

      • Maider Azanza, Don Batory, Oscar Díaz, Salvador Trujillo
      Pages 16-30

    2. Temporal Model-Based Diagnostics Generation for HVAC Control Systems

      • Marion Behrens, Gregory Provan
      Pages 31-44

    3. Synthesis of OCL Pre-conditions for Graph Transformation Rules

      • Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
      Pages 45-60

    4. From State- to Delta-Based Bidirectional Model Transformations

      • Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
      Pages 61-76

    5. A Constructive Approach to Testing Model Transformations

      • Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
      Pages 77-92

    6. From Sequence Diagrams to State Machines by Graph Transformation

      • Roy Grønmo, Birger Møller-Pedersen
      Pages 93-107

    7. Safe Composition of Transformations

      • Florian Heidenreich, Jan Kopcsek, Uwe Aßmann
      Pages 108-122

    8. Towards Incremental Execution of ATL Transformations

      • Frédéric Jouault, Massimo Tisi
      Pages 123-137

    9. Constructing and Navigating Non-invasive Model Decorations

      • Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran J. Fernandes
      Pages 138-152

    10. Model-to-Model Transformations By Demonstration

      • Philip Langer, Manuel Wimmer, Gerti Kappel
      Pages 153-167

    11. Implementing Business Process Recovery Patterns through QVT Transformations

      • Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Mario Piattini
      Pages 168-183

    12. Model Migration with Epsilon Flock

      • Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 184-198

    13. Exceptional Transformations

      • Eugene Syriani, Jörg Kienzle, Hans Vangheluwe
      Pages 199-214

    14. Improving Higher-Order Transformations Support in ATL

      • Massimo Tisi, Jordi Cabot, Frédéric Jouault
      Pages 215-229

    15. Towards a Rewriting Logic Semantics for ATL

      • Javier Troya, Antonio Vallecillo
      Pages 230-244

    16. Metamodel Matching Based on Planar Graph Edit Distance

      • Konrad Voigt, Thomas Heinze
      Pages 245-259

    17. Surviving the Heterogeneity Jungle with Composite Mapping Operators

      • Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger
      Pages 260-275

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Keywords

About this book

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.

Editors and Affiliations

  • Engineering and Information Sciences, The Burroughs, Middlesex University, London, United Kingdom

    Laurence Tratt

  • Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany

    Martin Gogolla

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation