GRAPH TRANSFORMATION UNITS AND MODULES
Hans‐Jörg Kreowski, Sabine Kuske · WORLD SCIENTIFIC eBooks · 1999
The significance of graphs and rules in many areas of computer science is evident: On the one hand, graphs constitute appropriate means for the description of complex relationships between objects. Trees, Petri nets, circuit diagrams, data flow graphs, state charts, and entity-relationship diagrams are some typical examples. On the other hand, rules are used to describe "permitted" actions on objects as, for example, in the areas of functional and logic programming, formal languages, algebraic specification, theorem proving, and rule-based systems. The intention of bringing graphs and rules together -- motivated by several application areas -- has led to the theory of graph grammars and graph transformation (see volume I of the Handbook and [1--7] for a survey). A wide spectrum of approaches exists within this theory and some of them are implemented (see, for example, Progres [8, 9], Graph Ed [10], Dactl [11], and Agg...