Documenting and designing QVTo model transformations through mathematics

U. Tikhonova, T.A.C. Willemse

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

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 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
PublisherSpringer
Pages349-364
ISBN (Electronic)978-3-319-30142-6
ISBN (Print)978-3-319-30141-9
DOIs
Publication statusPublished - 2015

Publication series

NameCommunications in Computer and Information Science
Volume586

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