This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009.
The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.
Author(s): Benjamin C. Pierce (auth.), Richard F. Paige (eds.)
Series: Lecture Notes in Computer Science 5563 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 285
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Management of Computing and Information Systems
Front Matter....Pages -
Foundations for Bidirectional Programming....Pages 1-3
Model Superimposition in Software Product Lines....Pages 4-19
Efficient Model Transformations by Combining Pattern Matching Strategies....Pages 20-34
Managing Dependent Changes in Coupled Evolution....Pages 35-51
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages....Pages 52-66
A Collection Operator for Graph Transformation....Pages 67-82
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions....Pages 83-99
Towards Model Round-Trip Engineering: An Abductive Approach....Pages 100-115
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa....Pages 116-131
Solving Constraints in Model Transformations....Pages 132-147
Automatic Model Generation Strategies for Model Transformation Testing....Pages 148-164
A Simple Game-Theoretic Approach to Checkonly QVT Relations....Pages 165-180
Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study....Pages 181-196
Typing in Model Management....Pages 197-212
Supporting Parallel Updates with Bidirectional Model Transformations....Pages 213-228
Experiments with a High-Level Navigation Language....Pages 229-238
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations....Pages 239-248
Achieving Rule Interoperability Using Chains of Model Transformations....Pages 249-259
Bidirectional Transformations: A Cross-Discipline Perspective....Pages 260-283
Back Matter....Pages -
