Return to Article Details Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping Download Download PDF