Fundamentals of Algebraic Graph Transformation

ISBN: 978-3-540-31187-4 (Print) 978-3-540-31188-1 (Online)

Table of contents (15 chapters)

  1. Introduction to Graph Transformation Systems

    1. Front Matter

      Pages 1-3

    2. No Access

      Book Chapter

      Pages 5-20

      General Introduction

    3. No Access

      Book Chapter

      Pages 21-35

      Graphs, Typed Graphs, and the Gluing Construction

    4. No Access

      Book Chapter

      Pages 37-71

      Graph Transformation Systems

  2. Adhesive High-Level Replacement Categories and Systems

    1. Front Matter

      Pages 73-75

    2. No Access

      Book Chapter

      Pages 77-100

      Adhesive High-Level Replacement Categories

    3. No Access

      Book Chapter

      Pages 101-124

      Adhesive High-Level Replacement Systems

    4. No Access

      Book Chapter

      Pages 125-149

      Embedding and Local Confluence

    5. No Access

      Book Chapter

      Pages 151-165

      Constraints and Application Conditions

  3. Typed Attributed Graph Transformation Systems

    1. Front Matter

      Pages 167-170

    2. No Access

      Book Chapter

      Pages 171-180

      Typed Attributed Graphs

    3. No Access

      Book Chapter

      Pages 181-205

      Typed Attributed Graph Transformation Systems

    4. No Access

      Book Chapter

      Pages 207-220

      Embedding and Local Confluence for Typed AGT Systems

    5. No Access

      Book Chapter

      Pages 221-236

      Adhesive HLR Categories for Typed Attributed Graphs

    6. No Access

      Book Chapter

      Pages 237-257

      Constraints, Application Conditions and Termination for Typed AGT Systems

    7. No Access

      Book Chapter

      Pages 259-281

      Typed Attributed Graph Transformation with Inheritance

  4. Case Study on Model Transformation, and Tool Support by AGG

    1. Front Matter

      Pages 283-285

    2. No Access

      Book Chapter

      Pages 287-304

      Case Study on Model Transformation

    3. No Access

      Book Chapter

      Pages 305-323

      Implementation of Typed Attributed Graph Transformation by AGG