Applications of graph transformations with industrial relevance : 4th international symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations.

Best Practices to Model Business Services in Complex IT Environments Drools: A Rule Engine for Complex Event Processing Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration A Graph Transformation-Based Semantics for Deep Metamodelling Reusable Graph Transformation Templates Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations Integration of a Pattern-Based Layout Engine into Diagram Editors Tool Demonstration of the Transformation Judge Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations From Graph Transformation Units via MiniSat to GrGen.NET ^ Locality in Reasoning about Graph Transformations Contextual Hyperedge Replacement The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management A Case Study Based Comparison of ATL and SDM Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.

Drools: A Rule Engine for Complex Event Processing Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration A Graph Transformation-Based Semantics for Deep Metamodelling Reusable Graph Transformation Templates Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors ^ ^^ AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations Integration of a Pattern-Based Layout Engine into Diagram Editors Tool Demonstration of the Transformation Judge Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations From Graph Transformation Units via MiniSat to GrGen.NET Locality in Reasoning about Graph Transformations Contextual Hyperedge Replacement The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management A Case Study Based Comparison of ATL and SDM Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. ^^ Front Matter....Pages - Best Practices to Model Business Services in Complex IT Environments....Pages 1-1 Drools: A Rule Engine for Complex Event Processing....Pages 2-2 Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration....Pages 3-18 A Graph Transformation-Based Semantics for Deep Metamodelling....Pages 19-34 Reusable Graph Transformation Templates....Pages 35-50 Towards an Automated 3D Reconstruction of Plant Architecture....Pages 51-64 Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors....Pages 65-80 AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations....Pages 81-88 Integration of a Pattern-Based Layout Engine into Diagram Editors....Pages 89-96 Tool Demonstration of the Transformation Judge....Pages 97-104 Knowledge-Based Graph Exploration Analysis....Pages 105-120 Graph Grammar Induction as a Parser-Controlled Heuristic Search Process....Pages 121-136 Planning Self-adaption with Graph Transformations....Pages 137-152 From Graph Transformation Units via MiniSat to GrGen.NET....Pages 153-168 Locality in Reasoning about Graph Transformations....Pages 169-181 Contextual Hyperedge Replacement....Pages 182-197 The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management....Pages 198-209 A Case Study Based Comparison of ATL and SDM....Pages 210-221 Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata....Pages 222-237 Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations....Pages 238-253 Back Matter....Pages -