Traceability, that is, maintaining links between input model elements and their corresponding output elements, can be useful in analyzing transformations, performing impact analysis for manipulated model elements, determining the source/target of a transformation in model synchronization, and consistency checking between the input and output models.