Skip to main content
SpringerLink
Log in
Book cover

International Conference on the Quality of Information and Communications Technology

QUATIC 2020: Quality of Information and Communications Technology pp 249–262Cite as

Reverse Engineering of Quantum Programs Toward KDM Models

  • Conference paper
  • First Online:

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1266))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Washburn, S.H.: Boolean algebra in electronic circuit design. Electr. Eng. 73, 164 (2013). https://doi.org/10.1109/ee.1954.6439254

    Article  Google Scholar 

  2. 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

  3. 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

    Article  Google Scholar 

  4. 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

    Article  MathSciNet  MATH  Google Scholar 

  5. Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982). https://doi.org/10.1007/BF02650179

    Article  MathSciNet  Google Scholar 

  6. Manin, I.I.: Vychislimoe i nevychislimoe (1980)

    Google Scholar 

  7. 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

    Article  MathSciNet  MATH  Google Scholar 

  8. Schrödinger, E.: Die gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften 23, 807–812 (1935). https://doi.org/10.1007/BF01491891

    Article  MATH  Google Scholar 

  9. Bloch, F.: Nuclear induction. Phys. Rev. 70, 460–474 (1946). https://doi.org/10.1103/PhysRev.70.460

    Article  Google Scholar 

  10. Marinescu, D.C.: Classical and quantum information (2012). https://doi.org/10.1016/C2009-0-64195-7

  11. Preskill, J.: Quantum computing and the entanglement frontier, 1–18 (2012). http://arxiv.org/abs/1203.5813

  12. Google’s quantum blog (2019). https://www.blog.google/technology/ai/computing-takes-quantum-leap-forward/. Accessed 13 April 2020

  13. 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

    Chapter  MATH  Google Scholar 

  14. Piattini, M., et al.: The Talavera manifesto for quantum software engineering and programming. In: CEUR Workshop Proceedings, vol. 2561, pp. 1–5 (2020)

    Google Scholar 

  15. William, M.: Ulrich, Legacy Systems: Transformation Strategies. Prentice Hall PTR, Upper Saddle River (2002)

    Google Scholar 

  16. 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

  17. 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

    Article  Google Scholar 

  18. 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

  19. Ulrich, W.M., Newcomb, P.H.: Information systems transformation (2010). https://doi.org/10.1016/C2009-0-19987-7

  20. 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

  21. IBM quantum experience homepage (2016). https://quantum-computing.ibm.com/. Accessed 23 April 2020

  22. ANTLR homepage (n.d.). https://www.antlr.org/. Accessed 26 Mar 2020

Download references

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

  1. University of Castilla-La Mancha, 13071, Ciudad Real, Spain

    Luis Jiménez-Navajas, Ricardo Pérez-Castillo & Mario Piattini

Authors
  1. Luis Jiménez-Navajas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ricardo Pérez-Castillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario Piattini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Luis Jiménez-Navajas or Ricardo Pérez-Castillo .

Editor information

Editors and Affiliations

  1. Brunel University, London, UK

    Martin Shepperd

  2. Lisbon University Institute, Lisbon, Portugal

    Fernando Brito e Abreu

  3. University of Lisbon, Lisbon, Portugal

    Alberto Rodrigues da Silva

  4. University of Castilla-La Mancha, Talavera de la Reina, Spain

    Ricardo Pérez-Castillo

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation