Abstract
Thanks to the last engineering advances, quantum computing is gaining an increasing importance in many sectors that will be benefited from its superior computational power. Before achieving all those promising benefits, companies must be able to combine their classical information systems and the new quantum software to operate with the so-called hybrid information systems. This implies, at some point of such a modernization process, that hybrid information systems will have to be (re)designed. UML can be used for defining abstract design models, not only for the classical part as done before, but also for the quantum software in an integrated manner. This paper proposes a model transformation for generating UML models that represents quantum circuits as activity diagrams. Thanks to the usage of UML, these designs are technological-independent which contributes to the modernization of hybrid information systems. The outgoing UML models are compliant with a vast amount of design tools and might be understood by a big community.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Haroche, S., Raimond, J.-M.J.P.T.: Quantum computing: dream or nightmare? Phys. Today 49(8), 51–54 (1996)
Piattini, M., Peterssen, G., Pérez-Castillo, R.: Quantum computing: a new software engineering golden age. ACM SIGSOFT Softw. Eng. Notes 45(3), 12–14 (2020). https://doi.org/10.1145/3402127.3402131
Pérez-Castillo, R., Serrano, M.A., Piattini, M.: Software modernization to embrace quantum technology. Adv. Eng. Softw. 151, 102933 (2021)
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M.: Reverse engineering of quantum programs toward KDM models. In: Shepperd, M., Brito e Abreu, F., Rodrigues da Silva, A., Pérez-Castillo, R. (eds.) QUATIC 2020. CCIS, vol. 1266, pp. 249–262. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-58793-2_20
OMG. ADM Task Force by OMG (2020). Accessed 25 May 2020. https://www.omg.org/adm/
Piattini, M., et al.: The talavera manifesto for quantum software engineering and programming. In: QANSWER (2020)
Foundation, E.: ATL - a model transformation technology. https://www.eclipse.org/atl/
Pérez-Castillo, R., Jiménez-Navajas, L., Piattini, M.: Modelling quantum circuits with UML. In: Second International Workshop on Quantum Software Engineering (Q-SE 2021). IEEE Computer Society, Madrid (2021). In Press
Egger, D.J., et al.: Quantum computing for finance: state of the art and future prospects (2020)
Cao, Y., et al.: Quantum chemistry in the age of quantum computing. Chem. Rev. 119(19), 10856–10915 (2019)
Ristè, D., et al.: Demonstration of quantum advantage in machine learning. npj Quant. Inf. 3(1), 1–5 (2017)
Bagnato, A., et al.: MOMOCS: MDE for the modernization of complex systems. Genie Log. 85, 49–52 (2008)
Comission, E.: MODELWARE: a new approach to model-driven development (2005). https://cordis.europa.eu/article/id/97188-modelware-a-new-approach-to-modeldriven-development
Pérez-Castillo, R., de Guzmán, I.G.R., Piattini, M.: Architecture-driven modernization. In: Modern Software Engineering Concepts and Practices: Advanced Approaches, pp. 75–103. IGI Global (2011)
Selic, B.: Using UML for modeling complex real-time systems. In: Mueller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 250–260. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0057795
Pérez-Castillo, R., et al.: Knowledge discovery metamodel-ISO/IEC 19506: a standard to modernize legacy systems. Comput. Stand. Interfaces. 33(6), 519–532 (2011)
IBM. IBM Quantum Experience Webpage. https://quantum-computing.ibm.com/
OMG. Object Constraint Language (2014). https://www.omg.org/spec/OCL/2.4. Accessed 18 Mar 2021
UML ECORE. https://github.com/ricpdc/qrev-api/blob/main/qrev-api/resources/metamodels/uml.ecore
Eclipse. EMF, ECore & Meta Model. https://www.eclipse.org/modeling/emft/search/concepts/subtopic.html. Accessed 27 March 2021
OMG. Architecture-Driven Modernization: Knowledge Discovery Meta-Model (KDM) (2016). https://www.omg.org/spec/KDM/1.4/PDF
Microsoft. Teleportation Algorithm in Q#. https://github.com/ricpdc/qrev-api/blob/main/qrev-api/test/casestudy/qsharp_programs/TeleportationSample.qs
Eclipse. Eclipse Modeling Project Website. https://www.eclipse.org/modeling/
Luis Jiménez-Navajas, R.P.-C.: Folder in a Github repository with the resources (2021). https://github.com/ricpdc/qrev-api/tree/main/qrev-api/test/es/alarcos/qrev/atl/models
Acknowledgments
This work is part of the SMOQUIN project (PID2019-104791RBI00) funded by the Spanish Ministry of Science and Innovation (MICINN) and “QHealth: Quantum Pharmacogenomics Applied to Aging”, 2020 CDTI Missions Programme (Center for the Development of Industrial Technology of the Ministry of Science and Innovation of Spain). We would like to thank all the aQuantum members, and particularly Guido Peterssen and Pepe Hevia, for their help and support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M. (2021). KDM to UML Model Transformation for Quantum Software Modernization. In: Paiva, A.C.R., Cavalli, A.R., Ventura Martins, P., Pérez-Castillo, R. (eds) Quality of Information and Communications Technology. QUATIC 2021. Communications in Computer and Information Science, vol 1439. Springer, Cham. https://doi.org/10.1007/978-3-030-85347-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-85347-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-85346-4
Online ISBN: 978-3-030-85347-1
eBook Packages: Computer ScienceComputer Science (R0)