Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebra...
Main Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2006, 2006
|
Edition: | 1st ed. 2006 |
Series: | Monographs in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- to Graph Transformation Systems
- General Introduction
- Graphs, Typed Graphs, and the Gluing Construction
- Graph Transformation Systems
- Adhesive High-Level Replacement Categories and Systems
- Adhesive High-Level Replacement Categories
- Adhesive High-Level Replacement Systems
- Embedding and Local Confluence
- Constraints and Application Conditions
- Typed Attributed Graph Transformation Systems
- Typed Attributed Graphs
- Typed Attributed Graph Transformation Systems
- Embedding and Local Confluence for Typed AGT Systems
- Adhesive HLR Categories for Typed Attributed Graphs
- Constraints, Application Conditions and Termination for Typed AGT Systems
- Typed Attributed Graph Transformation with Inheritance
- Case Study on Model Transformation, and Tool Support by AGG
- Case Study on Model Transformation
- Implementation of Typed Attributed Graph Transformation by AGG.