Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

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 -