This special issue of Mathematical Structures in Computer Science is devoted to the theory
and applications of graph transformations. This research area dates back to the early
seventies and is based on mathematical techniques from graph theory, algebra, logic
and category theory. The theory of graph transformations has become attractive as a
modelling and programming paradigm for complex graphical structures in a large variety
of areas in computer science and for applications to other fields. During the Joint
APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GRATRA
2000) – a satellite of ETAPS 2000 in Berlin – 35 lectures were presented by participants
from all over the world. The authors of presentations that stressed the theoretical point of
view were invited to submit a full version of their presentation to Mathematical Structures
in Computer Science. After a careful refereeing process nine papers have been accepted,
seven of which are included in this special issue.
The paper by Ehrenfeucht, Petre, Prescott and Rozenberg connects the important new
area of DNA computing in vivo to our area of graph transformation. An application
of hypergraph constructions to the static analysis of concurrent systems is presented
by König, and normal forms for context-free node rewriting hypergraph grammars by
Klempien-Hinrichs. The construction of pushout complements for ‘partly total algebras’
generalising attributed graphs is presented by Burmeister, Llabrés and Roselló. Finally,
Courcelle and Makowsky present operations on relational structures (generalising different
kinds of graphs and hypergraphs) that are compatible with monadic second order logic.
Four other accepted papers could not be included in this special issue because of space
They will appear in regular issues of MSCS:
— R. Heckel, M. Llabrés, H. Ehrig and F. Orejas: Concurrency and loose semantics of
open graph transformation systems.
— L. Helouet, C. Jard and B. Caillaud: An event structure based semantics for high-level
message sequence charts.
— J. Larossa and G. Valiente: Constraint satisfaction algorithms for graph pattern
— N. Verlinden and D. Janssens: Algebraic properties for Local Action Systems.
We are most grateful to all the referees of these papers, to Olga Runge and Claudia
Ermel for technical support, and to Giuseppe Longo and Cambridge University Press for
fruitful cooperation in editing this special issue.