Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schürr, Andy (Επιμελητής έκδοσης), Varró, Dániel (Επιμελητής έκδοσης), Varró, Gergely (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7233
• Θέματα: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Data Structures.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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, a...

Πίνακας περιεχομένων:

• 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.