Graph Process and Interaction Aspect

 

Graph Transformation System (GTS) consists of a type graph and a set of transformation rules. The type graph grasps structural aspects, while the rules model different kinds of basic actions.Graph process provides a partial order semantics for GTS.

 

Let T represent all transformation rules and C is common context for the rules in T.

 t: G®H ÎT and e is any edge, node or attribute in C. We have:

 

            t consumes e if e Î G\H

            t creates e if e Î H\G

            t preserves e if e Î GÇ H

 

            e<t1 if t1 consumes e

            t1<e if t1 creates e

            t1 <t2 if t1 creates e and t2 preserves e, or t1 preserves e and t2 consumes e