Skip to main content
  • Conference proceedings
  • © 2008

Theory and Practice of Model Transformations

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

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

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 2008.

Buy it now

Buying options

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (17 papers)

  1. Front Matter

  2. Process and Engineering of Model Transformations

    1. Transformations Have to be Developed ReST Assured

      • Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä
      Pages 1-15
    2. Lifting Transformational Models of Product Lines: A Case Study

      • Greg Freeman, Don Batory, Greg Lavender
      Pages 16-30
    3. Model Synchronisation: Definitions for Round-Trip Engineering

      • Thomas Hettel, Michael Lawley, Kerry Raymond
      Pages 31-45
    4. The Epsilon Transformation Language

      • Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 46-60
  3. Model Transformations Supporting Concurrency and Time

    1. Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?

      • M. F. van Amstel, M. G. J. van den Brand, Z. Protić, T. Verhoeff
      Pages 61-75
    2. On Specifying and Visualising Long-Running Empirical Studies

      • Peter Y. H. Wong, Jeremy Gibbons
      Pages 76-90
    3. Programmed Graph Rewriting with Time for Simulation-Based Design

      • Eugene Syriani, Hans Vangheluwe
      Pages 91-106
  4. Matching and Mapping within Model Transformation Rules

    1. Live Model Transformations Driven by Incremental Pattern Matching

      • István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
      Pages 107-121
    2. Semantics-Based Weaving of UML Sequence Diagrams

      • Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl
      Pages 122-136
    3. Translation of QVT Relations into QVT Operational Mappings

      • Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer
      Pages 137-151
  5. Language Support for Model Transformation Reuse and Modularity

    1. Approaches for Model Transformation Reuse: Factorization and Composition

      • Jesús Sánchez Cuadrado, Jesús García Molina
      Pages 168-182
    2. Code Generation by Model Transformation

      • Zef Hemel, Lennart C. L. Kats, Eelco Visser
      Pages 183-198
  6. Correctness and Analysis of Model Transformations

    1. Proofs-as-Model-Transformations

      • Iman Poernomo
      Pages 214-228
    2. Analysing Graph Transformation Rules through OCL

      • Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
      Pages 229-244
    3. Extracting Object Interactions Out of Software Contracts Using Model Transformations

      • Andrés Vignaga, Daniel Perovich, María Cecilia Bastarrica
      Pages 245-259
  7. Back Matter

Other Volumes

  1. Theory and Practice of Model Transformations

About this book

Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In addition to models, the transformations between them are other key elements in model-driven engineering. Model transformations allow the de?nition and implementation of the operations on models, and also provide achainthatenablestheautomateddevelopmentofasystemfromitscorrespo- ing models. Furthermore, model transformations may be realized using models, and are, therefore, an integral part of any model-driven approach. There are already several proposals for model transformation speci?cation, implementation and execution, which are beginning to be used by modeling practitioners. However, model transformations need specialized support in s- eral aspects in order to realize their full potential. The problem goes beyond having speci?c languages to represent model transformations; we also need to understandtheirfoundations,suchasthekeyconceptsandoperatorssupporting those languages, their semantics, and their structuring mechanisms and pr- erties (e. g. , modularity, composability and parametrization). In addition, model transformations can be stored in repositories as reusable assets, where they can be managed, discovered and reused. There is also a need to chain and combine model transformations in order to produce new and more powerful transfor- tions, and to be able to implement new operations on models. Finally, model transformations need methodology support, i. e. , they need to be integrated into software development methodologies supported by appropriate tools and en- ronments. These issues and concerns de?nethe focus of these proceedings.

Bibliographic Information

  • Book Title: Theory and Practice of Model Transformations

  • Book Subtitle: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

  • Editors: Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-69927-9

  • Publisher: Springer Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2008

  • Softcover ISBN: 978-3-540-69926-2Published: 17 June 2008

  • eBook ISBN: 978-3-540-69927-9Published: 01 July 2008

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 261

  • Topics: Theory of Computation, Computer Science, general

Buy it now

Buying options

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