Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science, 5063)

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. Title Page Preface Organization Table of Contents Transformations Have to be Developed ReST Assured Introduction Developing Transformations Transformation-Assisted Design of ReSTful Services Transformation Development in Practice: The ReST Side Story Correspondence Examples Transformational Patterns Transformation Definition and Implementation Evaluation of the Transformation Creating Another ReSTful API Discussion Lifting Transformational Models of Product Lines: A Case Study Introduction MapStats A Transformation-Based Model of Product Lines GenVoca A Model of MapStats Implementation Overview Lifting Implementation Details Commuting Relationships Related Work Conclusions References Model Synchronisation: Definitions for Round-Trip Engineering Introduction Related Work Definitions of Model Round-Trip Engineering Approaches to Round-Trip Engineering Running Example Model Synchronisation Definition Preliminaries Synchronisation Round-Trip Transformation Semantics of Target Changes Changes Change Translation Round-Trip Transformation Example Discussion and Conclusion The Epsilon Transformation Language Introduction Background and Motivation Styles Integration with Other Model Management Languages Overview of the Most Widely-Used Transformation Languages Motivation Epsilon The Epsilon Transformation Language Style Source and Target Models Abstract Syntax Concrete Syntax Execution Semantics Interactive Transformations Summary Integration with Other Model Management Languages Conclusions Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? Introduction Related Work Transforming ACP Models into UML State Machines Algebra of Communicating Processes Transformation Semantic Gap Action Dispatcher Implementation Illustration Conclusion and Further Research Conclusions Directions for Further Research On Specifying and Visualising Long-Running Empirical Studies Introduction BPMN Abstract Syntax of Observational Workflow Transformation Observation Groups Repeat Clauses Sequence Rules On Simulation, Automation and Formalisation Conclusion Programmed Graph Rewriting with Time for Simulation-Based Design Introduction Case Study: The PacMan Game The PacMan Language (Abstract and Concrete Syntax) The PacMan Semantics (Graph Transformation) DEVS for Programmed Graph Transformation The Discrete Event System Specification (DEVS) Controlled Graph Rewriting with DEVS The PacMan Case Study Modelling Game and Player Modelling the Player Modelling the Game Explicit Use of Time Simulation Experiments Modelling User Reaction Time Simulation Results Game Deployment Conclusions Live Model Transformations Driven by Incremental Pattern Matching Introduction Preliminaries Demonstrating Example Model Transformations in VIATRA Incremental Pattern Matching in VIATRA Live Transformations Driven by Incremental Pattern Matching Overview of the Approach Triggers Execution Context Complex Change Detection Transaction Management Conclusion Semantics-BasedWeaving of UML Sequence Diagrams Introduction STAIRS The Approach Syntactic-Based Matching does not Work Lifeline-Based Matching Lifeline-Based Weaving Discussion Weaving Unbounded Loops Non-matchrepetitive Loops MatchRepetitive Loops Implementation Related Work Conclusions Translation of QVT Relations into QVT Operational Mappings Introduction Basics UML to RDBMS Transformation Example QVT Relations QVT Operational Mappings Translation Approach Transformation Execution Direction Model Transformation Execution Semantics Overall Translation Algorithm Realizing the Translation Transformation Declaration Calculate Relations Topology Tree Relation and Domain Declarations When Clause and Source Domains Where Clause and Target Domain Updates of Existing Target Models Implementation and Evaluation Implementation Evaluation Conclusions Composition Techniques for Rule-Based Model Transformation Languages Introduction ATLAS Transformation Language Modules Module Superimposition Usage Scenarios Semantics Interaction with Other Composition Techniques Superimposition of QVT Relations Transformations Related Work Conclusion and Future Work Approaches for Model Transformation Reuse: Factorization and Composition Introduction Motivation Transformation Factorization Transformation Composition Running Example Phasing Mechanism Transformation Factorization Transformation Composition Related Work Conclusions and Future Work Code Generation by Model Transformation A Case Study in Transformation Modularity Introduction WebDSL Code Generation by Rewriting Code Generation Rules Transforming Generated Code Semantic Analysis and Annotation Model-to-Model Transformations Syntactic Normalization Generative Abstractions Restoring Annotations Transformation Modularity and Extensibility Discussion Conclusions Application of Reflection in Model Transformation Languages Introduction Identifying Reflection Features in Transformation Languages Background Towards a Common Model of Execution of Model Transformation Programs Reflection in the Common Execution Model MISTRAL: An Experimental Language with Reflective Features Expressing Metaprograms Example Applications Generation of Trace Links Based on Introspection Generation of Execution Trace Controlling Aspect Weaving at Shared Join Points Discussion Design of the Metalevel Implementing Reflection Conclusions References Proofs-as-Model-Transformations Introduction The MOF Object-Based Metamodels Class-Based Description of Metamodels Constructive Type Theory Proofs-as-Programs Metaclass Structures as Record Types The MOF and MDA within CTT Encoding of the MOF Metamodels as Types Metamodelling and Modelling Process Proofs-as-Model-Transformations Example Related Work and Conclusions Analysing Graph Transformation Rules through OCL Introduction Graph Transformation by Example From Graph Transformation to OCL Translating the Left-Hand Side Translating the Negative Application Conditions Translating the Right-Hand Side Taking into Account DPO and SPO Semantics Formalization of Rule Properties with OCL Tool Support Related Work Conclusions and Future Work Extracting Object Interactions Out of Software Contracts Using Model Transformations Introduction Motivating Example From Software Contracts to Object Interactions Technical Details Deriving the Trace Expressing the Extended Trace Synthesizing the Interaction Tool Support Related Work Conclusions and Further Work Author Index Annotation 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