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 vibrating-dildos 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 model