1. Home
  2. To appear
  3. Transforming Quantum Programmes in KDM t ...

Informatica


Transforming Quantum Programmes in KDM to Quantum Design Models in UML
Pub. online: 22 January 2025      Type: Research Article      Open accessOpen Access
Received
1 April 2024
Accepted
1 December 2024
Published
22 January 2025

Abstract

Quantum computing has come to stay in our lives. Companies are investing billions of dollars in it because of the potential benefits that it can achieve, providing promising applications in almost every business sector. Although quantum computing is evolving at an exponential rate, the development of tools, techniques, or frameworks for the evolution of current information systems towards quantum software systems is still proving to be a challenge. This research contributes to the evolution of current information systems towards hybrid information systems (combining the classical and quantum computing paradigm). We propose a software modernization process, by following model-driven engineering principles, adapted to the quantum paradigm, based on modified versions of standards for reverse engineering of classical, quantum software assets, and for the design of the target system. In particular, this paper focuses on the restructuring transformation from KDM to UML models, where KDM models have been generated from Q# code. This proposal has been validated through a case study involving 17 programmes. The results obtained show optimistic values regarding the complexity of the UML models generated, their expressiveness and scalability. The main implication of this research is that UML models can indeed help the software evolution of/toward hybrid information systems.

References

 
Aaronson, S. (2008). The limits of quantum. Scientific American, 298(3), 62–69.
 
Caivano, D., Fernández-Ropero, M., Pérez-Castillo, R., Piattini, M., Scalera, M. (2018). Artifact-based vs. human-perceived understandability and modifiability of refactored business processes: an experiment. Journal of Systems and Software, 144, 143–164.
 
Canfora, G., Di Penta, M. (2007). New frontiers of reverse engineering. In: Future of Software Engineering (FOSE’07), pp. 326–341. IEEE.
 
Courtland, R. (2017). Google aims for quantum computing supremacy [News]. IEEE Spectrum, 54(6), 9–10. https://doi.org/10.1109/MSPEC.2017.7934217.
 
Cruz-Lemus, J.A., Maes, A., Genero, M., Poels, G., Piattini, M. (2010). The impact of structural complexity on the understandability of UML statechart diagrams. Information Sciences, 180(11), 2209–2220.
 
Cruz-Lemus, J.A., Marcelo, L.A., Piattini, M. (2021). Towards a set of metrics for quantum circuits understandability. In: International Conference on the Quality of Information and Communications Technology. Springer, Cham, pp. 239–249.
 
De Lucia, A., Ferrucci, F., Tortora, G., Tucci, M. (2008). Emerging Methods, Technologies, and Process Management in Software Engineering. John Wiley & Sons.
 
Dwivedi, K., Haghparast, M., Mikkonen, T. (2024). Quantum software engineering and quantum software development lifecycle: a survey. Cluster Computing, 27(6), 7127–7145. https://doi.org/10.1007/s10586-024-04362-1.
 
Feynman, R.P. (2018). Simulating physics with computers. In: Feynman and Computation. CRC Press, pp. 133–153.
 
Flagship, E.Q. (2020). The Quantum Flagship officially presents the Strategic Research Agenda to the European Commission. https://shorturl.at/dzNX5.
 
Eclipse Foundation (2024). ATL – a model transformation technology. https://eclipse.dev/atl/.
 
Garhwal, S., Ghorani, M., Ahmad, A. (2021). Quantum programming language: a systematic review of research topic and top cited languages. Archives of Computational Methods in Engineering, 28, 289–310.
 
Genero, M., Piattini-Velthuis, M., Cruz-Lemus, J.-A., Reynoso, L. (2004). Metrics for UML models. UPGRADE-The European Journal for the Informatics Professional, 5, 43–48.
 
Gidney, C. (2019). Quirk: Quantum Circuit Simulator. https://algassert.com/quirk.
 
Group, O.M. (2017). UML 2.5.1. https://www.omg.org/spec/UML/2.5.1/PDF.
 
Group, O.M. (2019). OMG Meta Object Facility (MOF) Core Specification. https://www.omg.org/spec/MOF/2.5.1/PDF.
 
Heim, B., Soeken, M., Marshall, S., Granade, C., Roetteler, M., Geller, A., Troyer, M., Svore, K. (2020). Quantum programming languages. Nature Reviews Physics, 2(12), 709–722.
 
Hevia, J.L., Peterssen, G., Ebert, C., Piattini, M. (2021). Quantum computing. IEEE Software, 38(5), 7–15.
 
Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K. (2009). Quantum entanglement. Reviews of Modern Physics, 81(2), 865.
 
Iacob, M.E., Monteban, J., Van Sinderen, M., Hegeman, E., Bitaraf, K. (2018). Measuring enterprise architecture complexity. In: 2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 115–124.
 
IBM (2024). IBM Quantum Experience Webpage. https://quantum-computing.ibm.com/.
 
Jimenez-Navajas, L. (2023). Quantum model transformation. Zenodo. https://doi.org/10.5281/zenodo.8187198.
 
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M. (2020). Reverse engineering of quantum programs toward KDM models. In: International Conference on the Quality of Information and Communications Technology. Springer, Cham, pp. 249–262.
 
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M. (2021). KDM to UML model transformation for quantum software modernization. In: International Conference on the Quality of Information and Communications Technology. Springer, Cham, pp. 211–224.
 
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M. (2024a). Github’s repository of the technique. https://github.com/ricpdc/qrev-api.
 
Jimenez-Navajas, L., Buhler, F., Leymann, F., Perez-Castillo, R., Piattini, M., Vietz, D. (2024b). Quantum software development: a survey. Quantum Information and Computation, 24(7 and 8), 0609–0642. https://www.rintonpress.com/journals/doi/QIC24.7-8-4.html.
 
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I. (2008). ATL: a model transformation tool. Science of Computer Programming, 72(1–2), 31–39.
 
Kim, Y., Eddins, A., Anand, S., Wei, K.X., van den Berg, E., Rosenblatt, S., Nayfeh, H., Wu, Y., Zaletel, M., Temme, K., Kandala, A. (2023). Evidence for the utility of quantum computing before fault tolerance. Nature, 618(7965), 500–505. https://doi.org/10.1038/s41586-023-06096-3.
 
Kshetri, N. (2024). Monetizing quantum computing, IT Professional, 26(1), 10–15. https://doi.org/10.1109/mitp.2024.3356111.
 
Microsoft (2018). Microsoft’s Quantum Network. https://azure.microsoft.com/es-es/solutions/quantum-computing/network/#university-curriculum.
 
Müller, H.A., Jahnke, J.H., Smith, D.B., Storey, M.-A., Tilley, S.R., Wong, K. (2000). Reverse engineering: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 47–60.
 
Muñoz, L., Mazón, J.-N., Trujillo, J. (2010). A family of experiments to validate measures for UML activity diagrams of ETL processes in data warehouses. Information and Software Technology, 52(11), 1188–1203.
 
Paradigm, V. (2024). Visual Paradigm Website. https://www.visual-paradigm.com/.
 
Pérez-Castillo, R., de Guzmán, I.G.R., Piattini, M. (2011a). Architecture-driven modernization. In: Modern Software Engineering Concepts and Practices: Advanced Approaches. IGI Global, pp. 75–103.
 
Pérez-Castillo, R., De Guzman, I.G.-R., Piattini, M. (2011b). Knowledge discovery metamodel-ISO/IEC 19506: a standard to modernize legacy systems. Computer Standards & Interfaces, 33(6), 519–532.
 
Pérez-Castillo, R., Jiménez-Navajas, L., Piattini, M. (2021a). Modelling quantum circuits with UML. In: 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE), pp. 7–12.
 
Pérez-Castillo, R., Serrano, M.A., Piattini, M. (2021b). Software modernization to embrace quantum technology. Advances in Engineering Software, 151, 102933.
 
Pérez-Castillo, R., Jiménez-Navajas, L., Piattini, M. (2022a). QRev: migrating quantum code towards hybrid information systems. Software Quality Journal, 30(2), 551–580.
 
Pérez-Castillo, R., Delgado, A., Ruiz, F., Bacigalupe, V., Piattini, M. (2022b). A method for transforming knowledge discovery metamodel to ArchiMate models. Software And Systems Modeling, 21, 311–336.
 
Pérez-Castillo, R., Serrano, M.A., Cruz-Lemus, J.A., Piattini, M. (2024). Guidelines to use the incremental commitment spiral model for developing quantum-classical systems. Quantum Information and Computation, 24(1&2), 71–88. https://www.rintonpress.com/xxqic24/qic-24-12/0071-0088.pdf.
 
Pérez-Delgado, C.A., Perez-Gonzalez, H.G. (2020). Towards a quantum software modeling language. In: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, pp. 442–444.
 
Peterssen, G., Hevia, J.L., Piattini, M. (2022). Quantum software development with QuantumPath®. In: Quantum Software Engineering. Springer, Cham, pp. 251–268.
 
Piattini, M., Peterssen, G., Pérez-Castillo, R., Hevia, J.L., Serrano, M.A., Hernández, G., de Guzmán, I.G.R., Paradela, C.A., Polo, M., Murina, E., Jiménez, L., Marqueño, J.C., Gallego, R., Tura, J., Phillipson, F., Murillo, J.M., Niño, A., Rodríguez, M. (2020). The talavera manifesto for quantum software engineering and programming. In: QANSWER, pp. 1–5.
 
Piattini, M., Serrano, M., Perez-Castillo, R., Petersen, G., Hevia, J.L. (2021). Toward a quantum software engineering. IT Professional, 23(1), 62–66.
 
Preskill, J. (2018). Quantum computing in the NISQ era and beyond. Quantum, 2), 79. https://doi.org/10.22331/q-2018-08-06-79.
 
QuSoft (2022). Quantum Software Manifiesto. https://www.qusoft.org/quantum-software-manifesto/.
 
Ribo, J.M., Franch Gutiérrez, J. (2002). A two-tiered methodology to extend the UML metamodel. ORKG Ask.
 
Rieffel, E.G., Polak, W.H. (2011). Quantum Computing: A Gentle Introduction. MIT Press.
 
Romero, J. (2011). jsUML2-A lightweight HTML5/javascript library for UML 2 diagramming. Technical Report, Universidad de Córdoba. http://code.google.com/p/jsuml2.
 
Runeson, P., Höst, M. (2009). Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering, 14, 131–164.
 
Schütz, A., Widjaja, T., Kaiser, J. (2013). Complexity in enterprise architectures-conceptualization and introduction of a measure from a system theoretic perspective. In: European Conference on Information Systems (ECIS).
 
Sendall, S., Kozaczynski, W. (2003). Model transformation: the heart and soul of model-driven software development. IEEE Software, 20(5), 42–45.
 
Sneed, H.M. (2005). Estimating the costs of a reengineering project. In: 12th Working Conference on Reverse Engineering (WCRE’05), p. 9.
 
Ulrich, W.M. (2002). Legacy Systems: Transformation Strategies. Prentice Hall PTR.
 
Ulrich, W.M., Newcomb, P. (2010). Information Systems Transformation: Architecture-Driven Modernization Case Studies. Morgan Kaufmann.
 
Vernacchia, S. (2019). Quantum leap: advancing a strategy for quantum computing that will inspire, support and safeguard economic growth in the Middle East. In: World Government Summit.
 
Weder, B., Breitenbücher, U., Leymann, F., Wild, K. (2020). Integrating quantum computing into workflow modeling and execution. In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), pp. 279–291.
 
Weinberg, S.J., Sanches, F., Ide, T., Kamiya, K., Correll, R. (2023). Supply chain logistics with quantum and classical annealing algorithms. Scientific Reports, 13(1), 4770.
 
Wojcieszyn, F. (2022). Introduction to Quantum Computing with Q# and QDK. Springer Nature.
 
Yanofsky, N.S., Mannucci, M.A. (2008). Quantum Computing for Computer Scientists. Cambridge University Press.
 
Zhao, X., Xu, X., Qi, L., Xia, X., Bilal, M., Gong, W., Kou, H. (2024). Unraveling quantum computing system architectures: an extensive survey of cutting-edge paradigms. Information and Software Technology, 167, 107380. https://doi.org/10.1016/j.infsof.2023.107380. https://www.sciencedirect.com/science/article/pii/S0950584923002355.

Biographies

Jiménez-Navajas Luis
luis.jimeneznvajas@uclm.es

L. Jiménez-Navajas obtained his PhD on computer science from the University of Castilla-La Mancha (Spain). He is currently a member of the scientific research group aQuantum, working on the software modernization of classical-quantum information systems with specific focus on hybrid software modernization.

Pérez-Castillo Ricardo
https://orcid.org/0000-0002-9271-3184
ricardo.pdelcastillo@uclm.es

R. Pérez-Castillo holds the PhD degree in computer science from the University of Castilla-La Mancha (Spain). He works at the IT & Social Sciences School of Talavera at University of Castilla-La Mancha. His research interests include architecture-driven modernization, model-driven development and business process archaeology. Currently member of the aQuantum scientific research team where he works on the migration of classical systems to quantum architectures and quantum software reengineering.

Piattini Mario
mario.piattini@uclm.es

M. Piattini MSc. (1989) and PhD (1994) in computer science from Madrid Technical University (UPM). PMP, CISA, CISM, CGEIT and CRISC. Founder-Director of the Information Systems and Technologies of the UCLM (University of Castilla-La Mancha) and of the UCLM-INDRA Research and Development Joint Center. Between the “15 Top scholars in the field of systems and software engineering (2004–2008)” and the “Among the 15 “Most active experienced SE researchers (2010–2017)”. Full Professor of Software Engineering at UCLM, and leader of the Alarcos Research Group and scientific director of AQCLab, S.L. (first ENAC / ILAC accredited laboratory for software and data quality based on ISO 25000). He is currently the leader of the aQuantum scientific research team (Alarcos Group).


Full article Related articles PDF XML
Full article Related articles PDF XML

Copyright
© 2025 Vilnius University
Open access article under the CC BY license.

Keywords
quantum software engineering software modernization hybrid information systems model transformation KDM UML

Metrics
since January 2020
57

Article info
views

13

Full article
views

19

PDF
downloads

5

XML
downloads


Share


RSS