Skip to main content
  • Conference proceedings
  • © 2009

Theory and Practice of Model Transformations

Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings

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

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

Conference series link(s): ICMT: International Conference on Theory and Practice of Model Transformations

Conference proceedings info: ICMT 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Invited Paper

    1. Foundations for Bidirectional Programming

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

    1. Model Superimposition in Software Product Lines

      • Sven Apel, Florian Janda, Salvador Trujillo, Christian Kästner
      Pages 4-19
    2. Efficient Model Transformations by Combining Pattern Matching Strategies

      • Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
      Pages 20-34
    3. Managing Dependent Changes in Coupled Evolution

      • Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio
      Pages 35-51
    4. A Collection Operator for Graph Transformation

      • Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen
      Pages 67-82
    5. Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions

      • Esther Guerra, Juan de Lara, Fernando Orejas
      Pages 83-99
    6. Towards Model Round-Trip Engineering: An Abductive Approach

      • Thomas Hettel, Michael Lawley, Kerry Raymond
      Pages 100-115
    7. Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa

      • Guillaume Hillairet, Frédéric Bertrand, Jean Yves Lafaye
      Pages 116-131
    8. Solving Constraints in Model Transformations

      • Andreas Petter, Alexander Behring, Max Mühlhäuser
      Pages 132-147
    9. Automatic Model Generation Strategies for Model Transformation Testing

      • Sagar Sen, Benoit Baudry, Jean-Marie Mottu
      Pages 148-164
    10. Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study

      • Juan Manuel Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos
      Pages 181-196
    11. Typing in Model Management

      • Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Brunelière
      Pages 197-212
    12. Supporting Parallel Updates with Bidirectional Model Transformations

      • Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
      Pages 213-228
  4. Short Papers

    1. Experiments with a High-Level Navigation Language

      • Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
      Pages 229-238
    2. Using Metrics for Assessing the Quality of ASF+SDF Model Transformations

      • Marcel F. van Amstel, Christian F. J. Lange, Mark G. J. van den Brand
      Pages 239-248
    3. Achieving Rule Interoperability Using Chains of Model Transformations

      • Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault
      Pages 249-259
  5. Panel on Bidirectional Transformations

    1. Bidirectional Transformations: A Cross-Discipline Perspective

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

Other Volumes

  1. Theory and Practice of Model Transformations

About this book

Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di?erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full-?edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de?nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from its corresponding m- els. Model transformations are already an integral part of any model-driven approach, and there are a number of available model transformation languages, tools, and supporting environments; some of these approaches are now approa- ing maturity. Nevertheless, much work remains: the research community and industry need to better understand the foundations and implications of model transformations, such as the key concepts and operators supporting transfor- tion languages, their semantics, and their structuring mechanisms and properties (e. g. , modularity, composability and parametrization). The e?ect of using model transformations on organizations and development processes – particularly when applied to ultra-large scale systems, or in distributed enterprises – is still not clear. These issues, and others related to the speci?cation, design, implemen- tion, analysis and experimentation with model transformation, are the focus of these proceedings. The Second International Conference on Model Transformation (ICMT 2009) was held in late June 2009 in Zurich, Switzerland.

Keywords

  • 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

  • Department of Computer Science, Heslington, University of York, York, United Kingdom

    Richard F. Paige

Bibliographic Information

  • Book Title: Theory and Practice of Model Transformations

  • Book Subtitle: Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings

  • Editors: Richard F. Paige

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-02408-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2009

  • Softcover ISBN: 978-3-642-02407-8Published: 15 June 2009

  • eBook ISBN: 978-3-642-02408-5Published: 29 June 2009

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 285

  • Topics: Software Engineering, Compilers and Interpreters, Computer Modelling, IT Operations

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions