theory of graph transformations

Size: px

Start display at page:

Download "theory of graph transformations"

Laurel Williams
6 years ago
Views:

1 theory of graph transformations University of Bremen speaker : Helge Wiemann hwiemann@tzi.de theory of graph transformations 1

theory of graph transformations Die großartige Schönheit eines Graphen besteht darin, dass er unklare, schwer durchschaubare Rätsel auf ein wunderbares Ding aus Linien und

2 theory of graph transformations Die großartige Schönheit eines Graphen besteht darin, dass er unklare, schwer durchschaubare Rätsel auf ein wunderbares Ding aus Linien und Knotenpunkten reduzieren kann. D. Olivastro. Das chinesische Dreieck: die kniffligsten mathematischen Rätsel aus Jahren. Droemer Knauer, München, 1995, S.273 theory of graph transformations 2

3 theory of graph transformations Pacman graph movepacman killpacman theory of graph transformations 3

4 ++ topics ++ short repetition and introduction graph rewriting category theory subgraphs graph morphism gluing condition algebraic approach double-pushout approach (DPO) single-pushout approach (SPO) example DPO comparison between SPO and DPO theory of graph transformations 4

++ repetition and introduction ++ graphs for representing data structures states of concurrent and distributed systems states of sets of objects with relations between

5 ++ repetition and introduction ++ graphs for representing data structures states of concurrent and distributed systems states of sets of objects with relations between them important examples: flow diagrams Petri nets UML diagrams Entity-Relationship diagrams finite automata maps (of roads or countries) theory of graph transformations 5

6 ++ repetition and introduction ++ various kinds: directed and undirected labeled and unlabeled simple and multiple with binary edges or hyperedges to represent complex relations between objects as the basic data structure for transportation and tour planning problems to represent various control flows theory of graph transformations 6

7 ++ repetition and introduction ++ graph (multiple, directed, edge-labeled) as a system: G = (V, E, s, t, l) finite set of nodes (V) and edges (E) mapping s,t: E -> V: assigns a source s(e) and target t(e) node to every edge in E mapping l: E -> G: assigns a label to every edge in E theory of graph transformations 7

8 category theory abstract way to deal with mathematical structures and relationships between them our example : category of graphs a category C consists of: a class ob(c) of objects a class mor(c) of morphisms with a unique source object a and target object b (f: a b) for every three objects a, b and c: composition: mor(a, b) mor(b, c) mor(a, c)associativity: f : a b, g : b c and h : c d then h (g f) = (h g) f identity: 1x : x x called the identity morphism for x theory of graph transformations 8

9 subgraphs (1) G is a subgraph of H (G H), if V G V H (all nodes of G exist also in H) E G E H (all edges of G exist also in H) s G (e) = s H (e) (every edge of G has the same source node in H) t G (e) = t H (e) (every edge of G has the same target node in H) l G (e) = l H (e) (every edge of G has the same label in H) obtaining a subgraph G: removing some nodes and edges with the condition that the removal of a node is accompanied by the removal of all its adjacent edges theory of graph transformations 9

10 G = (V, E, s, t, l) graph rewriting -> subgraphs (2) pair of sets of nodes and edges : X = (V X, E X ) in (V, E) optaining subgraph H: H = G X = (V V X, E E X, s', t', l') s'(e) = s(e), t'(e) = t(e) and l'(e) = l(e) for all e in E E X G1, G2, G3 are subgraphs of G theory of graph transformations 10

11 graph morphisms given two graphs G and H a graph morphism g: G -> H is a pair of functions g V : V G -> V H (node mappings) g E : E G -> E H (edge mappings) that are structure-preserving the image of G in H is called a match of G in H the match of G in H according to the morphism g is the subgraph g(g) in H, induced by the pair (g(v), g(e)) possible sequence of morphisms with additional graph F: f: F -> G and g: G -> H yields the morphism g o f: F -> H theory of graph transformations 11

12 gluing condition (1) a match maintains the gluing condition with the following two single conditions: 1) identification condition: two elements x and y of L may only not be mapped injectively, if they will be not deleted by the rule mappings: o(x) = o(y), if x=y or x,y in L R 2) dangling condition: an edge e of M g(l) neither has its source node nor its target node in g(l) g(k). (means: if you delete one node, you have to delete all edges that are adjacent) identification condition + dangling condition = gluing condition theory of graph transformations 12

13 gluing condition (2) rule r : graph M : identification condition ok, but dangling condition hurts: identification condition and dangling condition ok: theory of graph transformations 13

14 algebraic approach based upon the category theory (category of graphs) rule-based transformation of graphs as the method to perform local changes on graphs specify formally and visually the semantics of rule-based systems rules to express which part of a graph is to be replaced by another graph general production p: L -> R i) valid graph transformation, if the match satifies the gluing condition ii) the action of gluing two graphs is a construction, in the category of graphs and graph morphisms, called pushout theory of graph transformations 14

15 double-pushout approach (DPO) frequently used approach for graph transformations used graph transformation rule: which parts are replaced by other ones which kinds of transformations are allowed formal rule r = (L <- K -> R) or (L K R) three graphs: L, K, R (K is a subgraph of L and R) left-hand side (L), gluing graph (K) and right-hand side (R) DPO-production as a pair (L <- K -> R) of two graphmorphisms in the category of graphs with an interface graph K, where K -> L is injective theory of graph transformations 15

16 double-pushout approach (DPO) rule p: L -> R construction of the graph G final graph H by match O L : L -> G adding of R\L in D (satifies the gluing condition) building the temporary graph D as subgraph of G by deleting the matching elements the dangling condition ensures that D is graph theory of graph transformations 16

17 application example: DPO (1) given: rule r = (L -> K <- R) and graph M rule first step: find match L in M, maintains the gluing condition theory of graph transformations 17

18 application example: DPO (2) second step: building a temporary graph Z: Z = M (g(l) g(k) theory of graph transformations 18

19 application example: DPO (3) third step: building the final transformed graph N: N = Z + (R - K) theory of graph transformations 19

20 single-pushout approach (SPO) case where the interface graph K is only a set of nodes graphical rule representation without an interface graph by depicting only the graphs L and R formal rule/production r: L -> R direct derivation as single-pushout from the host graph L to the target graph R with only one rewriting step graph rewriting rule only with a single morphism theory of graph transformations 20

21 comparison between SPO and DPO DPO is more frequently used than the SPO SPO: direct derivation without an interface graph K between the host graph G and the target graph H SPO operates with no identification + dangling condition!! more powerful than DPO more dangerous because a transformation can destroy the graph, e.g. delete edges DPO operates real structure preserving theory of graph transformations 21

22 Any questions left Thanks for your attention! theory of graph transformations 22

23 ++ references ++ [1] Grzegorz Rozenberg, edito: Handbook of Graph Grammars and Computing by Graph Transformation. Vol.1: Foundations. World Scientific,Singapore,1997. [2] H.-J. Kreowski, R. Klempien-Hinrichs, S. Kuske: Some Essentials of Graph Transformation. University of Bremen, Department of Computer Science. Bremen [3] H.-J. Kreowski: Formale Sprachen: Graphtransformation. Universität Bremen, Sommersemester 2004 [4] theory of graph transformations 23

Theory of Graph Transformations

Theory of Graph Transformations Helge Wiemann University of Bremen studies of computer science hwiemann@tzi.de Abstract This paper shall give an introduction into the theory of rule-based graph transformation