Theory and Practice of Model Transformations: First International Conference, Icmt 2008, Eth Z?ich, Switzerland, July 1-2, 2008, Proceedings (Paperback, 2008)

Process and Engineering of Model Transformations.- Transformations Have to be Developed ReST Assured.- Lifting Transformational Models of Product Lines: A Case Study.- Model Synchronisation: Definitions for Round-Trip Engineering.- The Epsilon Transformation Language.- Model Transformations Supporting Concurrency and Time.- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.- On Specifying and Visualising Long-Running Empirical Studies.- Programmed Graph Rewriting with Time for Simulation-Based Design.- Matching and Mapping within Model Transformation Rules.- Live Model Transformations Driven by Incremental Pattern Matching.- Semantics-Based Weaving of UML Sequence Diagrams.- Translation of QVT Relations into QVT Operational Mappings.- Language Support for Model Transformation Reuse and Modularity.- Composition Techniques for Rule-Based Model Transformation Languages.- Approaches for Model Transformation Reuse: Factorization and Composition.- Code Generation by Model Transformation.- Application of Reflection in Model Transformation Languages.- Correctness and Analysis of Model Transformations.- Proofs-as-Model-Transformations.- Analysing Graph Transformation Rules through OCL.- Extracting Object Interactions Out of Software Contracts Using Model Transformations.