Abstract
The interest on quantum computing has grown dramatically due to its incomparable computation power and many promising applications. This new computing paradigm influences the way on how future information systems will be built. Legacy, classical systems cannot be simply replaced with quantum software by several reasons. First, legacy systems usually embed a lot of mission-critical knowledge over time, making its replacing too risky. Second, some business processes do not make sense to be supported through quantum computing because it supposes unnecessary expenses. This signifies that organizations need to adapt their classical information systems alongside new specific quantum applications, evolving toward hybrid information systems. Unfortunately, there are not specific methods for dealing with this challenge. We believe reengineering, and more specifically software modernization using model-driven engineering principles, could be useful for migrating classical systems toward hybrid ones. In particular, this paper presents a reverse engineering technique that analyses quantum software information from Q# code and generates more abstract models. These models are generated according to the Knowledge Discovery Metamodel (KDM) standard. The main implication is that through the usage of KDM the reengineering toward hybrid systems can be accomplished in an independent way regarding the specific quantum technology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Washburn, S.H.: Boolean algebra in electronic circuit design. Electr. Eng. 73, 164 (2013). https://doi.org/10.1109/ee.1954.6439254
Pérez-Castillo, R., García Rodríguez de Guzmán, I., Piattini, M.: Architecture-driven modernization. Mod. Softw. Eng. Concepts Pract. Adv. Approaches, 75–103 (2010). https://doi.org/10.4018/978-1-60960-215-4.ch004
Pérez-Castillo, R., De Guzmán, I.G.R., Piattini, M.: Knowledge discovery metamodel-ISO/IEC 19506: a standard to modernize legacy systems. Comput. Stand. Interfaces 33, 519–532 (2011). https://doi.org/10.1016/j.csi.2011.02.007
Benioff, P.: The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by turing machines. J. Stat. Phys. 22, 563–591 (1980). https://doi.org/10.1007/BF01011339
Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982). https://doi.org/10.1007/BF02650179
Manin, I.I.: Vychislimoe i nevychislimoe (1980)
Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26, 1484–1509 (1997). https://doi.org/10.1137/S0097539795293172
Schrödinger, E.: Die gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften 23, 807–812 (1935). https://doi.org/10.1007/BF01491891
Bloch, F.: Nuclear induction. Phys. Rev. 70, 460–474 (1946). https://doi.org/10.1103/PhysRev.70.460
Marinescu, D.C.: Classical and quantum information (2012). https://doi.org/10.1016/C2009-0-64195-7
Preskill, J.: Quantum computing and the entanglement frontier, 1–18 (2012). http://arxiv.org/abs/1203.5813
Google’s quantum blog (2019). https://www.blog.google/technology/ai/computing-takes-quantum-leap-forward/. Accessed 13 April 2020
Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1–6. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24754-8_1
Piattini, M., et al.: The Talavera manifesto for quantum software engineering and programming. In: CEUR Workshop Proceedings, vol. 2561, pp. 1–5 (2020)
William, M.: Ulrich, Legacy Systems: Transformation Strategies. Prentice Hall PTR, Upper Saddle River (2002)
De Lucia, A., Ferrucci, F., Tortora, G., Tucci, M.: Emerging methods, technologies, and process management in software engineering (2007). https://doi.org/10.1002/9780470238103
Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7, 13–17 (1990). https://doi.org/10.1109/52.43044
Kazman, R., Woods, S.G., Carriere, S.J.: Requirements for integrating software architecture and reengineering models: CORUM II. In: Reverse Engineering - Workshop Conference Proceedings, pp. 154–163 (1998). https://doi.org/10.1109/wcre.1998.723185
Ulrich, W.M., Newcomb, P.H.: Information systems transformation (2010). https://doi.org/10.1016/C2009-0-19987-7
Schmidt, D.C.: Model-Driven Engineering. Vanderbilt University Model-driven, Historia Santiago, vol. 39, pp. 2–9 (2006). http://www.computer.org/portal/site/computer/menuitem.e533b16739f5
IBM quantum experience homepage (2016). https://quantum-computing.ibm.com/. Accessed 23 April 2020
ANTLR homepage (n.d.). https://www.antlr.org/. Accessed 26 Mar 2020
Acknowledgments
This research has been partially funded by the G3SOFT (SBPLY/17/ 180501/ 000150), and GEMA (SBPLY/17/180501/000293) projects funded by the ‘Dirección General de Universidades, Investigación e Innovación – Consejería de Educación, Cultura y Deportes; Gobierno de Castilla-La Mancha’. This work is also part of the projects BIZDEVOPS-Global (RTI2018-098309-B-C31) and ECLIPSE (RTI2018-094283-B-C31) funded by Ministerio de Economía, Industria y Competitividad (MINECO) & Fondo Europeo de Desarrollo Regional (FEDER); and SMOQUIN (PID2019-104791RB-I00) funded by Spanish Ministry of Science and Innovation (MICINN).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Jiménez-Navajas, L., Pérez-Castillo, R., Piattini, M. (2020). Reverse Engineering of Quantum Programs Toward KDM Models. In: Shepperd, M., Brito e Abreu, F., Rodrigues da Silva, A., Pérez-Castillo, R. (eds) Quality of Information and Communications Technology. QUATIC 2020. Communications in Computer and Information Science, vol 1266. Springer, Cham. https://doi.org/10.1007/978-3-030-58793-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-58793-2_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58792-5
Online ISBN: 978-3-030-58793-2
eBook Packages: Computer ScienceComputer Science (R0)