Applications of Graph Transformations with Industrial Relevance [E-Book]: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró.
Schürr, Andy.
Varró, Dániel. / Varró, Gergely.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
XII, 255 p. 133 illus. digital.
englisch
9783642341762
10.1007/978-3-642-34176-2
Lecture notes in computer science ; 7233
Full Text
Table of Contents:
  • 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.