DMCA
Programmed Graph Replacement Systems (1997)
Cached
Download Links
- [inf2-www.informatik.unibw-muenchen.de]
- CiteULike
- DBLP
Other Repositories/Bibliography
| Venue: | In Rozenberg, G. (Ed.), Handbook on Graph Grammars: Foundations |
| Citations: | 44 - 5 self |
BibTeX
@INPROCEEDINGS{Schürr97programmedgraph,
author = {Andy Schürr},
title = {Programmed Graph Replacement Systems},
booktitle = {In Rozenberg, G. (Ed.), Handbook on Graph Grammars: Foundations},
year = {1997},
pages = {479--546},
publisher = {World Scientific}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Various forms of programmed graph replacement systems as extensions of contextsensitive graph replacement systems have been proposed until today. They differ considerably with respect to their underlying graph models, the supported forms of graph replacement rules, and offered rule regulation mechanisms. Some of them have additional constructs for the definition of graph schemata, derived graph properties, and so forth. It is rather difficult to develop precise and compact descriptions of programmed graph replacement systems, a necessary prerequisite for any attempt to compare their properties in detail. Programmed Logic-based Structure Replacement (PLSR) systems are a kind of intermediate definition language for this purpose. They treat specific graph classes as sets of predicate logic formulas with certain properties, so-called structures. Their rules preserve the consistency of manipulated structures and use nonmonotonic reasoning for checking needed preand postconditions. So-called Basic Control Flow (BCF) expressions together with an underlying fixpoint theory provide needed means for programming with rules. This chapter introduces first the basic framework of PLSR systems and studies afterwards the essential properties of context-sensitive graph replacement approaches themselves as well as popular rule regulation mechanisms.
Keyphrases
programmed graph replacement system rule regulation mechanism nonmonotonic reasoning graph schema compact description intermediate definition language context-sensitive graph replacement underlying fixpoint theory provide logic-based structure replacement popular rule regulation mechanism underlying graph model specific graph class so-called basic control flow essential property various form basic framework supported form plsr system additional construct predicate logic formula manipulated structure preand postconditions graph property contextsensitive graph replacement system graph replacement rule so-called structure necessary prerequisite certain property
