König, Barbara:
Hypergraph Construction and Its Application to the Static Analysis of Concurrent Systems
2002
In: Mathematical Structures in Computer Science, Jg. 12 (2002), Heft 2, S. 149 - 175
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Hypergraph Construction and Its Application to the Static Analysis of Concurrent Systems
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2002
Erschienen in:
Mathematical Structures in Computer Science, Jg. 12 (2002), Heft 2, S. 149 - 175
ISSN
WWW URL

Abstract:

We define a construction operation on hypergraphs based on a colimit and show that its expressiveness is equal to the graph expressions of Bauderon and Courcelle. We also demonstrate that by closing a set of rewrite rules under graph construction we obtain a notion of rewriting equivalent to the double-pushout approach of Ehrig. The usefulness of our approach for the compositional modelling of concurrent systems is then demonstrated by giving a semantics of process graphs-corresponding to a process calculus with mobility-and of Petri nets. Based on hypergraph construction, a method for the static analysis of process graphs, related to type systems, is introduced.