Designing and Describing QVTo Model Transformations

Ulyana Tikhonova, Tim Willemse

2015

Abstract

Model transformations are the key technology of MDE that allows for software development using models as first-class artifacts. While there exist a number of languages that are specifically designed for programming model transformations, in practice, designing and maintaining model transformations still poses challenges. In this paper we demonstrate how mathematical notation of set theory and functions can be used for informal description and design of QVTo model transformations. We align the mathematical notation with the QVTo concepts, and use this notation to apply two design principles of developing QVTo transformations: structural decomposition and chain of model transformations.

References

  1. (2011). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. OMG. Version 1.1.
  2. Czarnecki, K. and Helsen, S. (2006). Feature-based Survey of Model Transformation Approaches. IBM Syst. J., 45(3):621-645.
  3. Etien, A., Dumoulin, C., and Renaux, E. (2007). Towards a Unified Notation to Represent Model Transformation. Research Report 6187, INRIA.
  4. Gerpheide, C. M., Schiffelers, R. R. H., and Serebrenik, A. (2014). A Bottom-Up Quality Model for QVTo. In QUATIC, pages 85-94. IEEE.
  5. Guerra, E., de Lara, J., Kolovos, D., Paige, R., and dos Santos, O. (2013). Engineering model transformations with transML. Software and Systems Modeling, 12(3):555-577.
  6. Idani, A., Ledru, Y., and Anwar, A. (2013). A Rigorous Reasoning about Model Transformations Using the B Method. In BPMDS, pages 426-440.
  7. Jackson, M. (2002). JSP in Perspective. In Broy, M. and Denert, E., editors, Software Pioneers, pages 480- 493. Springer-Verlag New York, Inc.
  8. Kalnins, A., Barzdins, J., and Celms, E. (2004). Model Transformation Language MOLA. In MDAFA, pages 62-76.
  9. Lano, K. and Rahimi, S. K. (2014). Model-transformation design patterns. IEEE Trans. Software Eng., 40(12):1224-1259.
  10. Rahim, L. A. and Mansoor, S. B. R. S. (2008). Proposed Design Notation for Model Transformation. In ASWEC, pages 589-598. IEEE Computer Society.
  11. van Amstel, M., van den Brand, M. G. J., Protic, Z., and Verhoeff, T. (2008). Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? In ICMT.
  12. 2The source code and the description of the transformation used as an example in this paper are available online at code.google.com/p/qvto-flatten-stm/
Download


Paper Citation


in Harvard Style

Tikhonova U. and Willemse T. (2015). Designing and Describing QVTo Model Transformations . In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 401-406. DOI: 10.5220/0005556004010406


in Bibtex Style

@conference{icsoft-ea15,
author={Ulyana Tikhonova and Tim Willemse},
title={Designing and Describing QVTo Model Transformations},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={401-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005556004010406},
isbn={978-989-758-114-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - Designing and Describing QVTo Model Transformations
SN - 978-989-758-114-4
AU - Tikhonova U.
AU - Willemse T.
PY - 2015
SP - 401
EP - 406
DO - 10.5220/0005556004010406