Results 1 
1 of
1
An Inductive View of Graph Transformation
 In Workshop on Algebraic Development Techniques
, 1998
"... . The dynamic behavior of rulebased systems (like term rewriting systems [24], process algebras [27], 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 i ..."
Abstract

Cited by 30 (12 self)
 Add to MetaCart
. The dynamic behavior of rulebased systems (like term rewriting systems [24], process algebras [27], 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 dgsmonoidal category. We then apply 2categorical techniques, already known for term and term graph rewriting [29, 7], recasting in this framework the...