Applications of Graph Transformations with Industrial Relevance
Subtitle: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
By: edited by Andy Schürr, Dániel Varró, Gergely Varró
Contributors: Varró, Dániel; Varró, Gergely; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7233
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 255
ISBN-13: 9783642341762
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Data Structures; Logics and Meanings of Programs; Data structures (Computer science); Computer software; Computer science
Description: <p>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. <br>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.</p>
Table of contents: title: <p>Best Practices to Model Business Services in Complex IT Environments; title: Drools: A Rule Engine for Complex Event Processing; title: Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration; title: A Graph Transformation-Based Semantics for Deep Metamodelling; title: Reusable Graph Transformation Templates; title: Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors; title: AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations; title: Integration of a Pattern-Based Layout Engine into Diagram Editors; title: Tool Demonstration of the Transformation Judge; title: Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations; title: From Graph Transformation Units via MiniSat to GrGen.NET; title: ^; title: Locality in Reasoning about Graph Transformations; title: Contextual Hyperedge Replacement; title: The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management; title: A Case Study Based Comparison of ATL and SDM; title: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata; title: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. </p>Drools: A Rule Engine for Complex Event Processing; title: Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration; title: A Graph Transformation-Based Semantics for Deep Metamodelling; title: Reusable Graph Transformation Templates; title: Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors; title: ^; title: ^^; title: AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations; title: Integration of a Pattern-Based Layout Engine into Diagram Editors; title: Tool Demonstration of the Transformation Judge; title: Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations; title: From Graph Transformation Units via MiniSat to GrGen.NET; title: Locality in Reasoning about Graph Transformations; title: Contextual Hyperedge Replacement; title: The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management; title: A Case Study Based Comparison of ATL and SDM; title: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata; title: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.; title: ^^