Graph Pattern Matching in PROGRES (1994) [1 citations — 1 self]
|
Abstract:
The work reported here is part of the PROGRES (PROgrammed Graph Rewriting Systems) project. PROGRES is a very high level multi paradigm language for the specification of complex structured data types and their operations. The data structures are modelled as directed, attributed, node and edge labeled graphs (diane graphs). The basic programming constructs of PROGRES are graph rewriting rules (productions and tests) and derived relations on nodes (paths and restrictions). Although graph rewriting systems have successfully been used for specification purposes in many application areas since about 20 years, there was no sufficient tool available for the execution and implementation of graph grammar specifications. Especially, the problem of efficiently searching for a redex for an arbitrary given rewrite rule has been unsolved for a long time. In this paper we propose a new, heuristic, graph based algorithm solving this graph pattern matching problem. This algorithm has been implemented and is used successfully within the PROGRES environment. 1
Citations
| 371 | Increasing tree search efficiency for constraint satisfaction problems – Haralick, Elliott - 1980 |
| 357 | Constraint Satisfaction in Logic Programming – Hentenryck - 1989 |
| 17 | Graph Theory. The Benjamin/Cummings – Gould - 1988 |
| 12 | Design and Evaluation of GRAS, a Graph-Oriented Database System for Engineering Applications – Kiesel, Schurr, et al. - 1993 |
| 5 | PROGRESS: A VHL-Language Based on Graph Grammars; [GG90 – Schrr - 1991 |
| 4 | Tran T.-H.: An efficient implementation of graph grammars based on the RETE matching algorithm; in [EhKrRo 91 – Bunke, Glauser - 1991 |
| 4 | Sch��rr A.: Nondeterministic Control Structures for Graph Rewriting Systems; in: [SchmiBer 92 – Z��ndorf - 1992 |
| 2 | GAG: Ein graphischer Editor fr algebraische Graphgrammatiksysteme – Beyer - 1991 |
| 2 | Schrr A.: Experiences in Building – Engels, Lewerentz, et al. - 1992 |
