Theory and Practice of Model Transformations

Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings
2009
ISBN: 978-3-642-02407-8
Verlag: Springer

Buch, Englisch, Band 5563, 285 Seiten, Format (B × H): 165 mm x 251 mm, Gewicht: 514 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Paige, Richard F.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Technische Informatik Wartung & Reparatur
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computersimulation & Modelle, 3-D Graphik

Inhaltsverzeichnis

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.