Theory and Application of Graph Transformations