; 2; 1; 2; Universit`a di Pisa, Dipartimento di Informatica
SVM HeaderParse 0.2
; TUB, Fachbereich 13 Informatik, Franklinstrae 28/29, 10587 Berlin, Germany,; Corso Italia 40, 56124 Pisa, Italy,
SVM HeaderParse 0.1
. The dynamic behavior of rule-based systems (like term rewriting systems , process algebras , and so on) can be traditionally determined in two orthogonal ways. Either operationally, in the sense that a way of embedding a rule into a state is devised, stating explicitly how the result is built: This is the role played by (the application of) a substitution in term rewriting. Or inductively, showing how to build the class of all possible reductions from a set of basic ones: For term rewriting, this is the usual definition of the rewrite relation as the minimal closure of the rewrite rules. As far as graph transformation is concerned, the operational view is by far more popular: In this paper we lay the basis for the orthogonal view. We first provide an inductive description for graphs as arrows of a freely generated dgs-monoidal category. We then apply 2-categorical techniques, already known for term and term graph rewriting [29, 7], recasting in this framework the...