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.
|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|
|Publication status||Published - 2015|
|Name||Communications in Computer and Information Science|
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