Building the transformation form WF to DF