Logo PTI Logo FedCSIS

Communication Papers of the 17th Conference on Computer Science and Intelligence Systems

Annals of Computer Science and Information Systems, Volume 32

From MSL to Dezyne: an Industrial Application Of QVTo

, , ,

DOI: http://dx.doi.org/10.15439/2022F93

Citation: Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 32, pages 339348 ()

Full text

Abstract. At Philips Image Guided Therapy (IGT), we have developed a Domain Specific Language (DSL) that describes the behaviour of one of the subsystems of our interventional X-ray system. With the current implementation of our DSL we are able to generate C++ code that is integrated in our product software. As a next evolutionary step for our DSL, we would like to benefit from the features the Dezyne toolset offers, like C++ code generation and model checking. If all model checks pass, we know that the generated C++ code is free of certain issues. We present a model to model transformation developed in QVTo, that transforms our own DSL called the Movement Specification Language (MSL) to another DSL called Dezyne. To avoid confidentiality issues, we use a Lego robot example to explain the MSL.


  1. L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, 2013.
  2. R. V. Beusekom, J. F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa, and T. A. C. Willemse, “Formalising the dezyne modelling language in mcrl2,” Lecture Notes in Computer Science Critical Systems: Formal Methods and Automated Verification, p. 217–233, 2017.
  3. G. H. Broadfoot and P. J. Hopcroft, “Analytical software design,” Verum Consultants BV, 2003.
  4. S. Cranen, J. F. Groote, J. J. A. Keiren, F. P. M. Stappers, E. P. D. Vink, W. Wesselink, and T. A. C. Willemse, “An overview of the mcrl2 toolset and its recent advances,” Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, p. 199–213, 2013.
  5. J. F. Groote, A. Osaiweran, and J. Wesselius, “Analyzing the effects of formal methods on the development of industrial control software,” in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). United States: Institute of Electrical and Electronics Engineers, 2011, pp. 467–472.
  6. J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems. The MIT Press, 2014.
  7. D. Harel and H. Kugler, “The rhapsody semantics of statecharts (or, on the executable core of the uml),” in Integration of Software Specification Techniques for Applications in Engineering. Springer, 2004, pp. 325–354.
  8. Y. L. Hwong, J. J. Keiren, V. J. Kusters, S. Leemans, and T. A. Willemse, “Formalising and analysing the control software of the compact muon solenoid experiment at the large hadron collider,” Science of Computer Programming, vol. 78, no. 12, pp. 2435–2452, 2013, special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011).
  9. I. Kurtev, “State of the art of qvt: A model transformation language standard,” in Applications of Graph Transformations with Industrial Relevance, A. Schürr, M. Nagl, and A. Zündorf, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 377–393.
  10. OMG, “meta object facility (mof) 2.0 query/view/transformation specification_2008,” Apr 2008.
  11. A. Osaiweran, M. Schuts, J. Hooman, J. F. Groote, and B. V. Rijnsoever, “Evaluating the effect of a lightweight formal technique in industry,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 1, p. 93–108, 2015.
  12. L. v. Schooten, “Extending a domain specific language using model transformations,” Master’s thesis, 2021.
  13. M. Schuts, M. Alonso, and J. Hooman, Industrial Experiences with the Evolution of a DSL. New York, NY, USA: Association for Computing Machinery, 2021, p. 21–30.
  14. M. Schuts, J. Hooman, and P. Tielemans, “Industrial experience with the migration of legacy models using a dsl,” in Proceedings of the Real World Domain Specific Languages Workshop 2018, 02 2018, pp. 1–10.
  15. A. S. Tanenbaum and H. Bos, Modern operating systems. Prentice Hall, 2015.
  16. U. Tikhonova and T. Willemse, “Designing and describing qvto model transformations,” in 2015 10th International Joint Conference on Software Technologies (ICSOFT), vol. 1, 2015, pp. 1–6.
  17. M. van den Brand, A. van Deursen, J. Heering, H. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. Olivier, J. Scheerder, J. Vinju, E. Visser, and J. Visser, “The asf+sdf meta-environment: A component-based language development environment,” Electronic Notes in Theoretical Computer Science, vol. 44, no. 2, pp. 3–8, 2001, lDTA’01, First Workshop on Language Descriptions, Tools and Applications (a Satellite Event of ETAPS 2001).