Documenting and designing QVTo model transformations through mathematics

U. Tikhonova, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)


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 languageEnglish
Title of host publicationSoftware Technologies
Subtitle of host publication10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
EditorsP. Lorenz, J. Cardoso, L.A. Maciaszek, M. van Sinderen
Place of PublicationDordrecht
ISBN (Electronic)978-3-319-30142-6
ISBN (Print)978-3-319-30141-9
Publication statusPublished - 2015

Publication series

NameCommunications in Computer and Information Science


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

Cite this