Read on to learn how formalizing model transformations and traceability mappings helps to chain, reuse and compose model transformations