A declarative and bidirectional model transformation approach based on graph co-spans
Yngve Lamo, Florian Mantz, Adrian Rutle, Juan D. Lara · 2013
In Model Driven Engineering (MDE) models are the main artefacts of the software development process. Model transformations are used both in the software development phase and for verification and simulation of the system behaviour. Hence, tools and languages for describing model transformations are essential in MDE. While many practical transformation languages and tools have been proposed, there is still the need for formal foundations of model transformations.