Theory and Practice of Model Transformations : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / edited by Richard F. Paige.

Format:

Book

Contributor:

Paige, Richard F., editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 5563.

Programming and Software Engineering ; 5563

Language:

English

Subjects (All):

Software engineering.

Programming languages (Electronic computers).

Computer simulation.

Management information systems.

Computer science.

Software Engineering/Programming and Operating Systems.

Programming Languages, Compilers, Interpreters.

Simulation and Modeling.

Software Engineering.

Management of Computing and Information Systems.

Local Subjects:

Software Engineering/Programming and Operating Systems.

Programming Languages, Compilers, Interpreters.

Simulation and Modeling.

Software Engineering.

Management of Computing and Information Systems.

Physical Description:

1 online resource (X, 285 pages).

Edition:

First edition 2009.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-02408-5

9783642024085

Access Restriction:

Restricted for use by site license.