Backwards reasoning for model transformations: Method and applications

Research paper by Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara

Indexed on: 14 Mar '16Published on: 22 Aug '15Published in: Journal of Systems and Software


Model transformations are key elements of model driven engineering. Current challenges for transformation languages include improving usability (i.e., succinct means to express the transformation intent) and devising powerful analysis methods.

Figure 10.1016/j.jss.2015.08.017.0.jpg
Figure 10.1016/j.jss.2015.08.017.1.jpg
Figure 10.1016/j.jss.2015.08.017.2.jpg
Figure 10.1016/j.jss.2015.08.017.3.jpg
Figure 10.1016/j.jss.2015.08.017.4.jpg
Figure 10.1016/j.jss.2015.08.017.5.jpg
Figure 10.1016/j.jss.2015.08.017.6.jpg
Figure 10.1016/j.jss.2015.08.017.7.jpg
Figure 10.1016/j.jss.2015.08.017.8.jpg