Merging Models Based on Given Correspondences Rachel A. Pottinger Philip A. Bernstein Introduction âA model is a formal description of a complex application artifact, such…