The transformation of graphs is often formalized .
The transformation of graphs is often represented by graph rewrite systems .
The transformation of graphs is often formalized and represented by graph rewrite systems .