### Abstract

Model transformations play an essential role in Model Driven Engineering (MDE), as they provide the means to use models as first-class artifacts in the software development process. While there exist a number of languages specifically designed to program model transformations, the practical challenges of documenting and designing model transformations are hardly addressed. In this paper we demonstrate how QVTo model transformations can be described and designed informally through the mathematical notation of set theory and functions. We align the QVTo concepts with the mathematical concepts, and, building on the latter, we formulate two design principles of developing QVTo transformations: structural decomposition and chaining model transformations.

Original language | English |
---|---|

Title of host publication | Software Technologies |

Subtitle of host publication | 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers |

Editors | P. Lorenz, J. Cardoso, L.A. Maciaszek, M. van Sinderen |

Place of Publication | Dordrecht |

Publisher | Springer |

Pages | 349-364 |

ISBN (Electronic) | 978-3-319-30142-6 |

ISBN (Print) | 978-3-319-30141-9 |

DOIs | |

Publication status | Published - 2015 |

### Publication series

Name | Communications in Computer and Information Science |
---|---|

Volume | 586 |

## Fingerprint Dive into the research topics of 'Documenting and designing QVTo model transformations through mathematics'. Together they form a unique fingerprint.

## Cite this

Tikhonova, U., & Willemse, T. A. C. (2015). Documenting and designing QVTo model transformations through mathematics. In P. Lorenz, J. Cardoso, L. A. Maciaszek, & M. van Sinderen (Eds.),

*Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers*(pp. 349-364). (Communications in Computer and Information Science; Vol. 586). Dordrecht: Springer. https://doi.org/10.1007/978-3-319-30142-6_19