Supporting variability exploration and resolution during model migration