Fundamentals of Algebraic Graph Transformation / Edition 1

Fundamentals of Algebraic Graph Transformation / Edition 1

by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
     
 

View All Available Formats & Editions

ISBN-10: 3642068316

ISBN-13: 9783642068317

Pub. Date: 11/19/2010

Publisher: Springer Berlin Heidelberg

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems.

Overview

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.

Product Details

ISBN-13:
9783642068317
Publisher:
Springer Berlin Heidelberg
Publication date:
11/19/2010
Series:
Monographs in Theoretical Computer Science. An EATCS Series
Edition description:
Softcover reprint of hardcover 1st ed. 2006
Pages:
390
Product dimensions:
6.10(w) x 9.25(h) x 0.36(d)

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >