Model-to-Model Transformations

Abstract

Models are neither isolated nor static entities. As part of an MDE process, models are merged (e.g., to homogenize different versions of a system), aligned (e.g., to create a global representation of the system from different views to reason about consistency), refactored (to improve their internal structure without changing their observable behavior), refined (to detail high-level models), and translated (to other languages/representations, e.g., as part of code-generation or verification/simulation processes).