A Case Study for Evaluating Bidirectional Transformations in QVT Relations

Bernhard Westfechtel

2015

Abstract

In model-driven software engineering, high-level models of a software system are eventually transformed into executable code. Model transformations constitute a key technology for model-driven software engineering. QVT Relations (QVT-R) is a language for the declarative specification of model transformations which was defined in an OMG (Object Management Group) standard. In addition to unidirectional transformations, QVT-R supports bidirectional transformations: Rather than writing two unidirectional transformations separately, the user may provide a single relational specification which may be executed in both directions. In this way, the specification of a bidirectional transformation may be simplified considerably — which is crucial e.g. for round-trip engineering. This paper investigates a case study for evaluating QVT-R’s capabilities for specifying bidirectional transformations. Even in this rather simple case study, development of a bidirectional transformation turns out to be more complex than expected. Motivated by the case study, we propose extensions to QVT-R which facilitate the specification of bidirectional transformations considerably.

References

  1. Brunelière, H., Cabot, J., Dupé, G., and Madiot, F. (2014). MoDisco: A model-driven reverse engineering framework. Information and Software Technology, 56(8):1012-1032.
  2. Buchmann, T. (2012). Valkyrie: A UML-based modeldriven environment for model-driven software engineering. In Hammoudi, S., van Sinderen, M., and Cordeiro, J., editors, Proceedings of the 7th International Conference on Software Paradigm Trends (ICSOFT 2012), pages 147-157. ScitePress.
  3. Buchmann, T. and Westfechtel, B. (2013). Towards incremental round-trip engineering using model transformations. In Demirors, O. and Turetken, O., editors, Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), pages 130-133. IEEE Conference Publishing Service.
  4. Czarnecki, K., Foster, J. N., Hu, Z., Lämmel, R., Schürr, A., and Terwilliger, J. F. (2009). Bidirectional transformations: A cross-discipline perspective. In Paige, R. F., editor, Proceedings of the Second International Conference on Theory and Practice of Model Transformations (ICMT 2009), volume 5563 of Lecture Notes in Computer Science, pages 260-283, Zurich, Switzerland. Springer-Verlag.
  5. Czarnecki, K. and Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-645.
  6. de Lara, J. and Guerra, E. (2009). Formal support for QVTRelations with coloured petri nets. In Schürr, A. and Selic, B., editors, Proceedings of the 12th International Conference on Model Driven Engineering and Systems (MODELS 2009), volume 5795 of Lecture Notes in Computer Science, pages 256-270, Denver, CO. Springer-Verlag.
  7. Guerra, E. and de Lara, J. (2012). An algebraic semantics for QVT-Relations check-only transformations. Fundamentae Informaticae, 114(1):73-101.
  8. Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, A., Herrmannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzold, S., and Mazanek, S. (2014). A survey and comparison of transformation tools based on the transformation tool contest. Science of Computer Programming, 85A:41-99.
  9. Jouault, F., Allilaire, F., Bézivin, J., and Kurtev, I. (2008). ATL: A model transformation tool. Science of Computer Programming, 72(1-2):31-39.
  10. Jungnickel, D. (2008). Graphs, Networks and Algorithms, volume 5 of Algorithms and Computation in Mathematics. Springer, Berlin, Germany, 3rd edition.
  11. Kerzner, H. (1998). Project Management: A Systems Approach to Planning, Scheduling, and Controlling. John Wiley & Sons, New York, NY, 6th edition.
  12. Kindler, E. and Wagner, R. (2007). Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Technical Report tr-ri-07-284, University of Paderborn, Paderborn, Germany.
  13. Königs, A. and Schürr, A. (2006). Tool integration with triple graph grammars - a survey. In Heckel, R., editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), volume 148 of Electronic Notes in Theoretical Computer Science, pages 113- 150, Dagstuhl, Germany. Elsevier Science.
  14. Kühne, T. (2006). Matters of (meta-)modeling. Software and Systems Modeling, 5(4):369-385.
  15. Object Management Group (2012). Object Constraint Language Version 2.3.1. Needham, MA, formal/2012-01- 01 edition.
  16. Object Management Group (2013). OMG Meta Object Facility (MOF) Core Specification Version 2.4.1. Needham, MA, formal/2013-06-01 edition.
  17. Object Management Group (2014). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification Version 1.2 Beta. Needham, MA, ptc-2014-03-38 edition.
  18. Reddy, S., Venkatesh, R., and Zahid, A. (2006). A relational approach to model transformation using QVT Relations. Technical report, Tata Research Development and Design Centre, Pune, India.
  19. Schmidt, D. C. (2006). Guest editor's introduction: Modeldriven engineering. IEEE Computer, 39(2):25-31.
  20. Schürr, A. (1995). Specification of graph translators with triple graph grammars. In Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 1994), volume 903 of Lecture Notes in Computer Science, pages 151-163, Herrsching, Germany. Springer-Verlag.
  21. Schürr, A. and Klar, F. (2008). 15 years of triple graph grammars - research challenges, new contributions, open problems. In Ehrig, H., Heckel, R., Rozenberg, G., and Taentzer, G., editors, Graph Transformations: 4th International Conference (ICGT 2008), volume 5214 of Lecture Notes in Computer Science, pages 411-425, Leicester, UK. Springer-Verlag.
  22. Schwichtenberg, S., Gerth, C., Huma, Z., and Engels, G. (2014). Normalizing heterogeneous service description models with generated QVT transformations. In Cabot, J. and Rubin, J., editors, Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA 2014), volume 8569 of Lecture Notes in Computer Science, pages 180-195, York, UK. Springer-Verlag.
  23. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley, Upper Saddle River, NJ, 2nd edition.
  24. Stevens, P. (2010). Bidirectional model transformations in QVT: Semantic issues and open questions. Software and Systems Modeling, 9(1):7-20.
  25. Stevens, P. (2013). A simple game-theoretic approach to checkonly QVT Relations. Software and Systems Modeling, 12(1):175-199.
  26. Westfechtel, B. (2015). Bidirectional transformations in QVT Relations: Potentials and limitations. Journal of Object Technology. Submitted for publication.
Download


Paper Citation


in Harvard Style

Westfechtel B. (2015). A Case Study for Evaluating Bidirectional Transformations in QVT Relations . In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-100-7, pages 141-155. DOI: 10.5220/0005466801410155


in Bibtex Style

@conference{enase15,
author={Bernhard Westfechtel},
title={A Case Study for Evaluating Bidirectional Transformations in QVT Relations},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2015},
pages={141-155},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005466801410155},
isbn={978-989-758-100-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Case Study for Evaluating Bidirectional Transformations in QVT Relations
SN - 978-989-758-100-7
AU - Westfechtel B.
PY - 2015
SP - 141
EP - 155
DO - 10.5220/0005466801410155