Ebook: Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.

---

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.

---

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
Content:
Front Matter....Pages -
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions....Pages 1-16
Genetic-Programming Approach to Learn Model Transformation Rules from Examples....Pages 17-32
Walk Your Tree Any Way You Want....Pages 33-49
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars....Pages 50-51
The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems....Pages 52-53
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)....Pages 54-55
Model Querying with FunnyQT....Pages 56-57
Yet Another Three QVT Languages....Pages 58-59
A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations....Pages 60-75
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations....Pages 76-91
Robust Real-Time Synchronization between Textual and Graphical Editors....Pages 92-107
Achieving Practical Genericity in Model Weaving through Extensibility....Pages 108-124
A Rete Network Construction Algorithm for Incremental Pattern Matching....Pages 125-140
Interactive Visual Analytics for Efficient Maintenance of Model Transformations....Pages 141-157
Checking Model Transformation Refinement....Pages 158-173
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations....Pages 174-188
Partial Test Oracle in Model Transformation Testing....Pages 189-204
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns....Pages 205-220
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
Content:
Front Matter....Pages -
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions....Pages 1-16
Genetic-Programming Approach to Learn Model Transformation Rules from Examples....Pages 17-32
Walk Your Tree Any Way You Want....Pages 33-49
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars....Pages 50-51
The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems....Pages 52-53
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)....Pages 54-55
Model Querying with FunnyQT....Pages 56-57
Yet Another Three QVT Languages....Pages 58-59
A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations....Pages 60-75
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations....Pages 76-91
Robust Real-Time Synchronization between Textual and Graphical Editors....Pages 92-107
Achieving Practical Genericity in Model Weaving through Extensibility....Pages 108-124
A Rete Network Construction Algorithm for Incremental Pattern Matching....Pages 125-140
Interactive Visual Analytics for Efficient Maintenance of Model Transformations....Pages 141-157
Checking Model Transformation Refinement....Pages 158-173
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations....Pages 174-188
Partial Test Oracle in Model Transformation Testing....Pages 189-204
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns....Pages 205-220
Back Matter....Pages -
....