A formal foundation for transformations in model driven engineering
In the MDE (Model Driven Engineering) paradigm, models are thought to be the primary conductors in all software development aspects.A PIM (Platform Independent Model) is transformed into one or more PSMs (Platform Specific Model); hence, a specific PSM is generated for each specific technological platform.In turn these output models may be transfor