Graph Transformation and State Transformation Aspect

 

 

Graph transformation                 from a pre-state G to a post-state H using rule r is represent by an occurrence

 

1.                                      

The left-hand side of the rule is matched by the pre-state and the right-hand side by the post-state.

 

 

2.

All object of G are {destroyed} that match classifier roles of L not belonging to R, and symmetrically all objects of H are {new} that match classifier roles in R not belonging to L.