Introduction to Graph Rewriting

Information about Introduction to Graph Rewriting

Published on January 10, 2008

Author: Marco1

Source: authorstream.com

Content

An Introduction to Graph Rewriting:  An Introduction to Graph Rewriting Thomas Huining Feng http://www.eecs.berkeley.edu/~tfeng/ CHESS, UC Berkeley May 1, 2007 Inspired by Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. Luciano Baresi, Reiko Heckel. ICGT 2002 PacMan: a Motivating Example:  PacMan: a Motivating Example : Field : Field : Field : Field : Field : Field : Field : Field : Field Field 1 1..4 Type : Ghost Ghost 1 0..1 : PacMan PacMan 1 0..1 : Marble Marble 1 0..1 2 Our 1st Rule: pmove:  Our 1st Rule: pmove b : Field a : Field : PacMan b : Field a : Field : PacMan 3 LHS (Left Hand Side) RHS (Right Hand Side) : Field : Field : Field : Field : Field : Field : Field : Field : Field : Ghost : PacMan : Marble Host Graph Redex Redex finding is a sub-graph isomorphism problem). Multiple redexes? Our 2nd Rule: gmove:  Our 2nd Rule: gmove b : Field a : Field : Ghost b : Field a : Field : Ghost : Field : Field : Field : Field : Field : Field : Field : Field : Field : Ghost : PacMan : Marble Combining pmove and gmove:  Combining pmove and gmove 5 catch Rule:  catch Rule 6 : Field : Field : Field : Field : Field : Field : Field : Field : Field : Ghost : PacMan : Marble Important Decision: Which Rule to Choose?:  Important Decision: Which Rule to Choose? 7 Attribute Binding: collect Rule:  Attribute Binding: collect Rule 8 : Field : Field : Field : Field : Field : Field : Field : Field : Field : Ghost : PacMan 3 : marble : Marble : PacMan 4 : marble Attribute Binding: collect Rule:  Attribute Binding: collect Rule 9 : Field : Field : Field : Field : Field : Field : Field : Field : Field : Ghost : PacMan 3 : marble : Marble Completing the PacMan Game:  Completing the PacMan Game 10 b : Field a : Field : Ghost b : Field a : Field : Ghost : PacMan sub-case interfering sub-case 1 2 3 3 Priority: The Graph Rewriting Problem:  Host Graph – Redex The Graph Rewriting Problem 11 m < BAG_SIZE b : Field a : Field : PacMan m : marble b : Field a : Field : PacMan m+1 : marble : Marble The Graph Rewriting Problem:  The Graph Rewriting Problem 12 More on Application Decision:  More on Application Decision 13 More on Application Decision:  More on Application Decision 14 Field 1 1..4 Entrance 1 0..1 Kid 1 0..1 Exit 1 0..1 More on Application Decision:  More on Application Decision 15 Conclusion:  Conclusion 16

Related presentations


Other presentations created by Marco1

shoretel6 1
08. 01. 2008
0 views

shoretel6 1

0907
09. 01. 2008
0 views

0907

indi food
10. 01. 2008
0 views

indi food

barclays
11. 01. 2008
0 views

barclays

EVERYONES BUSINESS
12. 01. 2008
0 views

EVERYONES BUSINESS

newbrnresus
15. 01. 2008
0 views

newbrnresus

Information Campaign Salvi
15. 01. 2008
0 views

Information Campaign Salvi

24346
15. 01. 2008
0 views

24346

Wildlife  And  Conservation
15. 01. 2008
0 views

Wildlife And Conservation

Baxter
16. 01. 2008
0 views

Baxter

tyner purdue
23. 01. 2008
0 views

tyner purdue

italian renaissance
05. 02. 2008
0 views

italian renaissance

The Tudors
11. 02. 2008
0 views

The Tudors

Attitudes 2
17. 01. 2008
0 views

Attitudes 2

Textiles
25. 01. 2008
0 views

Textiles

Bristol MurderXNtMvFSZ
28. 01. 2008
0 views

Bristol MurderXNtMvFSZ

McCarthy
30. 01. 2008
0 views

McCarthy

2 Saving Money Time HEEP Area 1
07. 02. 2008
0 views

2 Saving Money Time HEEP Area 1

5WR N Africa SW Asia
13. 02. 2008
0 views

5WR N Africa SW Asia

Fundraising
15. 02. 2008
0 views

Fundraising

gabidimeworkshop
22. 01. 2008
0 views

gabidimeworkshop

Hmong American Elders
29. 01. 2008
0 views

Hmong American Elders

R2 Solutions
20. 02. 2008
0 views

R2 Solutions

Festivals around the world
22. 02. 2008
0 views

Festivals around the world

Mercury Mars Venus
24. 01. 2008
0 views

Mercury Mars Venus

BookofMormonChapter7 8and9
12. 02. 2008
0 views

BookofMormonChapter7 8and9

CNE354HellGreece4
25. 02. 2008
0 views

CNE354HellGreece4

Lessons from Bees
25. 02. 2008
0 views

Lessons from Bees

PS 280 13 mood disorders
27. 02. 2008
0 views

PS 280 13 mood disorders

ASEE Annual Conf 2005 OFI
14. 01. 2008
0 views

ASEE Annual Conf 2005 OFI

fitness
29. 02. 2008
0 views

fitness

PrimalSeasCvt
11. 02. 2008
0 views

PrimalSeasCvt

WETICE2004 Albrechtsen
03. 03. 2008
0 views

WETICE2004 Albrechtsen

Gregory Thomas PPT
14. 03. 2008
0 views

Gregory Thomas PPT

Poster Template FOR VOLUNTEERS
27. 03. 2008
0 views

Poster Template FOR VOLUNTEERS

Respirators
22. 01. 2008
0 views

Respirators

All about me
14. 04. 2008
0 views

All about me

The Popcorn Process
07. 02. 2008
0 views

The Popcorn Process

79989
18. 04. 2008
0 views

79989

ASFP
21. 04. 2008
0 views

ASFP

Forest3 302
22. 04. 2008
0 views

Forest3 302

auxFundamentals
24. 04. 2008
0 views

auxFundamentals

ShowalterPPT
11. 01. 2008
0 views

ShowalterPPT

umist
04. 02. 2008
0 views

umist

L7 global
08. 05. 2008
0 views

L7 global

unit 1 2
19. 03. 2008
0 views

unit 1 2

2005121133941157
30. 04. 2008
0 views

2005121133941157

sykianaki1 10d04
02. 05. 2008
0 views

sykianaki1 10d04

fraseri
02. 05. 2008
0 views

fraseri

ORNISBGCore2007
05. 02. 2008
0 views

ORNISBGCore2007

agriscience basic ag awarness
24. 01. 2008
0 views

agriscience basic ag awarness

Community Greening Training
10. 03. 2008
0 views

Community Greening Training

introToIR
17. 01. 2008
0 views

introToIR

ingels 160305
24. 01. 2008
0 views

ingels 160305

Delhot
10. 01. 2008
0 views

Delhot

olimpic games
14. 04. 2008
0 views

olimpic games

mmo 32
05. 03. 2008
0 views

mmo 32

11 04
04. 02. 2008
0 views

11 04

cccarlos
28. 02. 2008
0 views

cccarlos

funding Opps and guidance
21. 01. 2008
0 views

funding Opps and guidance

session 29 a Karen Donnet Jones
17. 01. 2008
0 views

session 29 a Karen Donnet Jones

XueJishan Boulder 2006 11
16. 04. 2008
0 views

XueJishan Boulder 2006 11

Covenant Counseling Presentation
28. 01. 2008
0 views

Covenant Counseling Presentation

LV PERF
20. 02. 2008
0 views

LV PERF

1866 07 E Dalen Geog
17. 01. 2008
0 views

1866 07 E Dalen Geog