Theory and Practice of Model Transformations

Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di?erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full-?edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de?nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from its corresponding m- els. Model transformations are already an integral part of any model-driven approach, and there are a number of available model transformation languages, tools, and supporting environments; some of these approaches are now approa- ing maturity. Nevertheless, much work remains: the research community and industry need to better understand the foundations and implications of model transformations, such as the key concepts and operators supporting transfor- tion languages, their semantics, and their structuring mechanisms and properties (e. g. , modularity, composability and parametrization). The e?ect of using model transformations on organizations and development processes particularly when applied to ultra-large scale systems, or in distributed enterprises is still not clear. These issues, and others related to the speci?cation, design, implemen- tion, analysis and experimentation with model transformation, are the focus of these proceedings. The Second International Conference on Model Transformation (ICMT 2009) was held in late June 2009 in Zurich, Switzerland.

Klappentext

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.

Inhalt
Invited Paper.- Foundations for Bidirectional Programming.- Full Papers.- Model Superimposition in Software Product Lines.- Efficient Model Transformations by Combining Pattern Matching Strategies.- Managing Dependent Changes in Coupled Evolution.- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages.- A Collection Operator for Graph Transformation.- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.- Towards Model Round-Trip Engineering: An Abductive Approach.- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa.- Solving Constraints in Model Transformations.- Automatic Model Generation Strategies for Model Transformation Testing.- A Simple Game-Theoretic Approach to Checkonly QVT Relations.- Supporting ModelDriven Development of ObjectRelational Database Schemas: A Case Study.- Typing in Model Management.- Supporting Parallel Updates with Bidirectional Model Transformations.- Short Papers.- Experiments with a High-Level Navigation Language.- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.- Achieving Rule Interoperability Using Chains of Model Transformations.- Panel on Bidirectional Transformations.- Bidirectional Transformations: A Cross-Discipline Perspective.