Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
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.
Content Level »Research
Keywords »algorithms - aspect-oriented modeling - classification - code generation - constraint solving - domain-specific languages - embedded systems - formal methods - generic programming - graph transformation - meta-modeling - model - model checking - model transformation - model-driven architectu
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 Model–Driven Development of Object–Relational 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.