In this paper we propose an iterative process for the correct specication of model transformations, i.e., for developing correct transformation models. This permits checking the correctness of a model transformation specication before any implementation is available. The proposal is based on the use of classifying terms for partitioning the input space and for simplifying the testing process.