Coupled Transformations of Graph Structures applied to Model Migration