Theory and Practice of Model Transformations
4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
Published on 28. June 2011
XII, 229 pages
978-3-642-21732-6 (ISBN)
Description
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011.
The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.
More details
Other editions
Additional editions
Jordi Cabot | Eelco Visser
Theory and Practice of Model Transformations
4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
Book
06/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Fine-Tuning Model Transformation: Change Propagation in Context of Consistency,Completeness, and Human Guidance
- Introduction
- Illustration and Problem
- Fine-Tuning Transformations
- Transformation and Redundancies
- Transformation Conflict
- One-Directional Transformation but Bi-directional Change Propagation
- Multiple Transformation Steps and Change Propagation
- Merging Transformation Results
- Trusting Transformation
- Conclusions
- References
- Optimization of Visitor Performance by Reflection-Based Analysis
- Introduction
- Visitors
- Optimization and Generative Programming
- The Algorithm in General
- Prerequisites for the Algorithm
- Models
- Visitors
- Optimization
- Implementation
- The meta_tools Context
- The umod Tool
- umod Visitors
- Implementation of the Visitor Optimization Algorithm
- Examples
- Simple Example, Continued
- A Real-World Application
- Possible Applications on Other Stratified Data
- Related Work
- Mathematical Notation
- A Comparison of Rule Inheritance in Model-to-Model Transformation Languages
- Introduction
- Motivation
- Comparison Framework
- Syntax
- Static Semantics
- Dynamic Semantics
- Comparison of Transformation Languages
- Comparison of Syntax
- Comparison of Static Semantics
- Comparison of Dynamic Semantics
- Lessons Learned
- Related Work
- Conclusion and Future Work
- Model-Driven Development of Model Transformations
- Introduction
- The UML to Relational Database Model Transformation
- Semantic Framework for Model Transformations
- Metamodelling Framework
- Model Transformation Semantics
- Model Transformation Correctness
- Model-Driven Development Process for Model Transformations
- Case Study: UML to Relational Database Refinement
- Requirements
- Abstract Specification
- Explicit Specification and Design
- Limitations
- Comparison with Other Approaches
- Conclusions
- Generic Model Transformations: Write Once, Reuse Everywhere
- Introduction
- Genericity in Model Transformation
- Concepts, Bindings and Templates
- Adding Flexibility to Concepts and Bindings
- Cardinality of Concept Elements
- Binding Adapters
- Implementing Genericity over ATL
- Case Study
- Related Work
- Conclusions and Future Work
- Combining Specification-Based and Code-Based Coverage for Model Transformation Chains
- Introduction
- Background and Motivation
- Coverage Analysis Approaches
- Specification-Based Coverage
- Code-Based Coverage
- Relating Specification-Based and Code-Based Coverage Information
- Identifying Relevant Specification Parts for Code
- Identifying Relevant Code for Specification Parts
- Relevant Code and Specification Parts for Test Cases
- Relating Coverage Levels
- Validation and Tool Support
- Identifying Relevant Specification Parts for Code
- Identifying Relevant Code for Specification Parts
- Relating Coverage Levels
- Limitations
- Related Work
- Conclusion
- A Transformation Workbench for Building Information Models
- Introduction
- Introduction to the Two Technical Spaces
- The EMF Technical Space
- The STEP Technical Space
- The STEP-EMF Bridge
- Reading Express Schemas
- The Express2Ecore Mapping
- Part 21 Implementation
- Limitations
- Using the BIM Workbench
- Transforming between IFC and GDL
- Future Uses of the Workbench
- Related Work
- Conclusion and Future Work
- Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare[1]
- Introduction
- Analysis Techniques
- Metrics
- Structure and Dependency Analysis
- Metamodel Coverage Analysis
- Toolset
- Case Studies
- Detecting Obsolete Transformation Elements
- Metamodel and Transformation Co-evolution
- Related Work
- Conclusions and Future Work
- Iterative Development of Consistency-Preserving Rule-Based Refactorings
- Introduction and Motivation
- State of the Art
- Iterative Development of Consistency-Preserving Refactorings
- Formalizing Well-Formedness Constraints and Rule-Based Refactorings
- Preliminaries
- Formalizing Well-Formedness Constraints
- Formalizing Rule-Based Refactorings
- Verifying Consistency Preservation
- Complex Java Refactoring ``Encapsulate Field''
- Conclusion and Outlook
- Acknowledgement.
- Toward Bidirectionalization of ATL with GRoundTram
- Introduction
- Preliminaries
- ATL
- UnQL
- GRoundTram system
- Encoding and Decoding between Models and Graph Structures
- Encoding ATL Rules in UnQL
- Conclusions
- An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool
- Introduction
- The Graphical Modeling Framework (GMF)
- The meta model level (level 0).
- The configuration level (level 1).
- The generator level (level 2).
- The source code level (level 3).
- Research Method and Hypotheses
- Hypotheses
- Developing the CORAS Tool Using GMF
- Development Setting
- The CORAS Tool
- Evaluation of GMF
- Suggested Improvements
- Avoid Human Interaction During Transformation Execution
- Expose the Transformation Language to the End User
- Incorporate Traditional Programming Language Solutions to Modularity
- Related Work
- Conclusion
- A Graph Query Language for EMF Models
- Introduction
- Background and Case Study
- Case Study
- Case Study Solution Using the Original Viatra2 Language
- The Language of EMF-IncQuery
- Background Technology: The Eclipse Modeling Framework
- Structural Constraints
- Attribute and Arithmetic Constraints
- Static Type Checking for the Query Language
- Related Work
- Conclusion
- The GReTL Transformation Language
- Introduction
- Foundations
- GReTL Operations
- Related Work
- Conclusion and Discussion
- Performance in Model Transformations:Experiments with ATL and QVT
- Introduction
- Approach
- Comparison of Engines
- Comparison of Implementations
- Metrics
- Metrics for ATL Model Transformations
- Metrics for QVTo Model Transformations
- Results
- SimpleClass2SimpleRDBMS
- RSS2ATOM
- Statistical Analysis
- Discussion
- Comparison of Languages
- Comparison of Language Constructs
- Related Work
- Conclusions and Future Work
- A Demonstration-Based Approach to Support Live Transformations in a Model Editor
- Introduction
- Motivating Example
- Solution: LiveMTBD
- Introduction to MTBD
- From MTBD to LiveMTBD
- Discussion
- Related Work
- Conclusion
- References
- Author Index
