Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

Editors:

ISBN: 978-3-642-34175-5 (Print) 978-3-642-34176-2 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Invited Talk Abstracts

    1. No Access

      Book Chapter

      Pages 1-1

      Best Practices to Model Business Services in Complex IT Environments

    2. No Access

      Book Chapter

      Pages 2-2

      Drools: A Rule Engine for Complex Event Processing

  3. Session 1: Model-Driven Engineering

    1. No Access

      Book Chapter

      Pages 3-18

      Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration

    2. No Access

      Book Chapter

      Pages 19-34

      A Graph Transformation-Based Semantics for Deep Metamodelling

    3. No Access

      Book Chapter

      Pages 35-50

      Reusable Graph Transformation Templates

  4. Session 2: Graph Transformation Applications

    1. No Access

      Book Chapter

      Pages 51-64

      Towards an Automated 3D Reconstruction of Plant Architecture

    2. No Access

      Book Chapter

      Pages 65-80

      Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors

  5. Session 3: Tool Demonstrations

    1. No Access

      Book Chapter

      Pages 81-88

      AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations

    2. No Access

      Book Chapter

      Pages 89-96

      Integration of a Pattern-Based Layout Engine into Diagram Editors

    3. No Access

      Book Chapter

      Pages 97-104

      Tool Demonstration of the Transformation Judge

  6. Session 4: Graph Transformation Exploration Techniques

    1. No Access

      Book Chapter

      Pages 105-120

      Knowledge-Based Graph Exploration Analysis

    2. No Access

      Book Chapter

      Pages 121-136

      Graph Grammar Induction as a Parser-Controlled Heuristic Search Process

    3. No Access

      Book Chapter

      Pages 137-152

      Planning Self-adaption with Graph Transformations

  7. Session 5: Graph Transformation Semantics and Reasoning

    1. No Access

      Book Chapter

      Pages 153-168

      From Graph Transformation Units via MiniSat to GrGen.NET

    2. No Access

      Book Chapter

      Pages 169-181

      Locality in Reasoning about Graph Transformations

    3. No Access

      Book Chapter

      Pages 182-197

      Contextual Hyperedge Replacement

  8. Session 6: Application Reports

    1. No Access

      Book Chapter

      Pages 198-209

      The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management

    2. No Access

      Book Chapter

      Pages 210-221

      A Case Study Based Comparison of ATL and SDM

  9. Session 7: Bidirectional Transformations

    1. No Access

      Book Chapter

      Pages 222-237

      Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata

    2. No Access

      Book Chapter

      Pages 238-253

      Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations

  10. Back Matter

    Pages -