Parallel Independence in Attributed Graph Rewriting

02/04/2021
by   Thierry Boy de la Tour, et al.
0

In order to define graph transformations by the simultaneous application of concurrent rules, we have adopted in previous work a structure of attributed graphs stable by unions. We analyze the consequences on parallel independence, a property that characterizes the possibility to resort to sequential rewriting. This property turns out to depend not only on the left-hand side of rules, as in algebraic approaches to graph rewriting, but also on their right-hand side. It is then shown that, of three possible definitions of parallel rewriting, only one is convenient in the light of parallel independence.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset