Theory and Practice of Model Transformations : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

by Vallecillo, Antonio; Gray, Jeff; Pierantonio, Alfonso

• ISBN13: 9783540699262
• ISBN10: 3540699260
• Format: Paperback
• Copyright: 2008-09-03
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.

Table of Contents

Transformations Have to be Developed ReST Assured	p. 1
Lifting Transformational Models of Product Lines: A Case Study	p. 16
Model Synchronisation: Definitions for Round-Trip Engineering	p. 31
The Epsilon Transformation Language	p. 46
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?	p. 61
On Specifying and Visualising Long-Running Empirical Studies	p. 76
Programmed Graph Rewriting with Time for Simulation-Based Design	p. 91
Live Model Transformations Driven by Incremental Pattern Matching	p. 107
Semantics-Based Weaving of UML Sequence Diagrams	p. 122
Translation of QVT Relations into QVT Operational Mappings	p. 137
Composition Techniques for Rule-Based Model Transformation Languages	p. 152
Approaches for Model Transformation Reuse: Factorization and Composition	p. 168
Code Generation by Model Transformation: A Case Study in Transformation Modularity	p. 183
Application of Reflection in Model Transformation Languages	p. 199
Proofs-as-Model-Transformations	p. 214
Analysing Graph Transformation Rules through OCL	p. 229
Extracting Object Interactions Out of Software Contracts Using Model Transformations	p. 245
Author Index	p. 261
Table of Contents provided by Blackwell. All Rights Reserved.