Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Lecture Notes in Computer Science, 7909)

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. 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 - Mining Models from Generated System Tests Streaming model transformations: scenarios, challenges and initial solutions Genetic-Programming Approach to Learn Model Transformation Rules from Examples Walk Your Tree Any Way You Want On an Automated Translation of Satellite Procedures Using Triple Graph Grammars The Graph Grammar Library - a generic framework for chemical graph rewrite systems Yet Another Three QVT Languages Evolution and Synchronisation Robust Real-Time Synchronization between Textual and Graphical Editors.