Hierarchical Graph Transformation

F. Drewes, B. Hoffmann, D. Plump

Research output: Contribution to journalArticlepeer-review

Abstract

When graph transformation is used for programming purposes, large graphs should be structured in order to be comprehensible. In this paper, we present an approach for the rule-based transformation of hierarchically structured hypergraphs. In these graphs, distinguished hyperedges contain graphs that can be hierarchical again. Our framework extends the well-known double-pushout approach from flat to hierarchical graphs. In particular, we show how pushouts and pushout complements of hierarchical graphs and graph morphisms can be constructed recursively. Moreover, we make rules more expressive by introducing variables which allow us to copy and remove hierarchical subgraphs in a single rule application.
Original languageEnglish
Pages (from-to)249-283
Number of pages34
JournalJournal of Computer and System Sciences
Volume64
Issue number2
DOIs
Publication statusPublished - Mar 2002

Cite this