Skip to main content
SpringerLink
Log in

Theory and Practice of Model Transformations

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Antonio Vallecillo
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeff Gray
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alfonso Pierantonio
    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 5063)

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

Included in the following conference series:

Conference proceedings info: ICMT 2008.

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  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. Composition Techniques for Rule-Based Model Transformation Languages

      • Dennis Wagelaar
      Pages 152-167

    2. Approaches for Model Transformation Reuse: Factorization and Composition

      • Jesús Sánchez Cuadrado, Jesús García Molina
      Pages 168-182

    3. Code Generation by Model Transformation

      • Zef Hemel, Lennart C. L. Kats, Eelco Visser
      Pages 183-198

    4. Application of Reflection in Model Transformation Languages

      • Ivan Kurtev
      Pages 199-213

  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

    Download chapter PDF
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation