Book Details


Fundamentals of Algebraic Graph Transformation

Publish Date: 2006

ISBN: 978-3-540-31188-1

Internet Resource: Please Login to download book

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 algebraic approach to graph transformation, based on algebraic structures and category theory.

Subject: Computer Science, Constraint, category theory, computer, formal specification techniques, graph transformation, model transformation, modeling, petri net, replacement systems