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.
Author(s): Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä (auth.), Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio (eds.)
Series: Lecture Notes in Computer Science 5063 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 261
Tags: Computer Science, general
Front Matter....Pages -
Transformations Have to be Developed ReST Assured....Pages 1-15
Lifting Transformational Models of Product Lines: A Case Study....Pages 16-30
Model Synchronisation: Definitions for Round-Trip Engineering....Pages 31-45
The Epsilon Transformation Language....Pages 46-60
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?....Pages 61-75
On Specifying and Visualising Long-Running Empirical Studies....Pages 76-90
Programmed Graph Rewriting with Time for Simulation-Based Design....Pages 91-106
Live Model Transformations Driven by Incremental Pattern Matching....Pages 107-121
Semantics-Based Weaving of UML Sequence Diagrams....Pages 122-136
Translation of QVT Relations into QVT Operational Mappings....Pages 137-151
Composition Techniques for Rule-Based Model Transformation Languages....Pages 152-167
Approaches for Model Transformation Reuse: Factorization and Composition....Pages 168-182
Code Generation by Model Transformation....Pages 183-198
Application of Reflection in Model Transformation Languages....Pages 199-213
Proofs-as-Model-Transformations....Pages 214-228
Analysing Graph Transformation Rules through OCL....Pages 229-244
Extracting Object Interactions Out of Software Contracts Using Model Transformations....Pages 245-259
Back Matter....Pages -
