Book Details

Fundamentals of Algebraic Graph Transformation

: 2006

: 978-3-540-31188-1


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.

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