Ugo Montanari and Graph Transformation

摘要

Graphs are widely exploited in several fields of computer science (as well as in other disciplines) to represent in a direct and adequate way the structure of the states of a system, making it easily understandable also to a non-technical audience. In many situations, the behaviour of such systems can be specified faithfully with a rule-based approach. A graph rule describes how a state can evolve into another state by replacing a sub-state matching the left-hand side of the rule with its right-hand side. The field of Graph Grammars (also known as Graph Rewriting Systems, or Graph Transformation Systems (gts)) is concerned with the study of specification formalisms based on the above idea, and with their use for modelling and analysing a variety of systems emerging from several fields of computer science.