Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Quantum Software Development Lifecycle

  • Chapter
  • First Online:
Quantum Software Engineering

Abstract

This chapter discusses that the development of quantum applications typically incorporates the development of quantum programs, classical programs, and workflows to orchestrate them. Thus, the lifecycles of these software artifacts with their included phases, related concepts, and tools are described. Finally, the points of connection between the various lifecycles are identified, and they are integrated into the overall quantum software development lifecycle.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Notes

  1. 1.

    All links were last followed on June 15, 2021.

References

All links were last followed on June 15, 2021.

  1. Barzen J (2021) From digital humanities to quantum humanities: potentials and applications. In: Quantum computing in the arts and humanities. Springer. arXiv:2103.11825

    Google Scholar 

  2. Barzen J, Leymann F, Falkenthal M, Vietz D, Weder B, Wild K (2021) Relevance of near-term quantum computing in the cloud: a humanities perspective. Cloud Comput Serv Sci 1399:25–58

    Google Scholar 

  3. Gabor T et al (2020) The holy grail of quantum artificial intelligence: major challenges in accelerating the machine learning pipeline. arXiv:2004.14035

    Google Scholar 

  4. Leymann F, Barzen J, Falkenthal M, Vietz D, Weder B, Wild K (2020) Quantum in the cloud: application potentials and research opportunities. In: Proceedings of the 10th International Conference on Cloud Computing and Services Science (CLOSER). SciTePress, pp 9–24

    Chapter  Google Scholar 

  5. Piattini M, Peterssen G, Pérez-Castillo R (2020) Quantum computing: a new software engineering golden age. ACM SIGSOFT Softw Eng Notes 45(3):12–14

    Article  Google Scholar 

  6. Dey N, Ghosh M, Kundu SS, Chakrabarti A (2020) QDLC–the quantum development life cycle. arXiv:2010.08053

    Google Scholar 

  7. Nielsen MA, Chuang I (2002) Quantum computation and quantum information

    MATH  Google Scholar 

  8. Weder B, Barzen J, Leymann F, Salm M, Vietz D (2020) The quantum software lifecycle. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, pp 2–9

    Chapter  Google Scholar 

  9. Piattini M, Serrano M, Perez-Castillo R, Petersen G, Hevia JL (2021) Toward a quantum software engineering. IT Prof 23(1):62–66

    Article  Google Scholar 

  10. Zhao J (2020) Quantum software engineering: landscapes and horizons. arXiv:2007.07047

    Google Scholar 

  11. Kohlborn T, Korthaus A, Rosemann M (2009) Business and software service lifecycle management. In: Proceedings of the 13th International Enterprise Distributed Object Computing Conference (EDOC). IEEE, pp 87–96

    Google Scholar 

  12. Canós JH, Penadés MC, Carsí JÁ (1999) From software process to workflow process: the workflow lifecycle. In: Proceedings of the International Process Technology Workshop

    Google Scholar 

  13. Munassar NMA, Govardhan A (2010) A comparison between five models of software engineering. Int J Comput Sci Issues (IJCSI) 7(5):94

    Google Scholar 

  14. Ghezzi C, Jazayeri M, Mandrioli D (2002) Fundamentals of software engineering

    Google Scholar 

  15. Leymann F, Barzen J (2020) The bitter truth about gate-based quantum algorithms in the nisq era. Quantum Sci Technol 5(4):044007

    Article  Google Scholar 

  16. Pérez-Delgado CA, Perez-Gonzalez HG (2020) Towards a quantum software modeling language. In: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, pp 442–444

    Chapter  Google Scholar 

  17. Mathur S, Malik S (2010) Advancements in the V-Model. Int J Comput Applications 1(12):29–34

    Article  Google Scholar 

  18. Weder B, Breitenbücher U, Leymann F, Wild K (2020) Integrating quantum computing into workflow modeling and execution. In: Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing (UCC). IEEE, pp 279–291

    Google Scholar 

  19. Ellis CA (1999) Workflow technology. Computer supported cooperative work, trends in software series 7:29–54

    Google Scholar 

  20. Leymann F, Roller D (2000) Production workflow: concepts and techniques. Prentice Hall PTR

    MATH  Google Scholar 

  21. Leymann F, Barzen J (2021) Hybrid quantum applications need two orchestrations in superposition: a software architecture perspective. arXiv:2103.04320

    Google Scholar 

  22. Sodhi B, Kapur R (2021) Quantum computing platforms: assessing the impact on quality attributes and SDLC activities. arXiv:2104.14261

    Google Scholar 

  23. Weder B, Barzen J, Leymann F, Zimmermann M (2021) Hybrid quantum applications need two orchestrations in superposition: a software architecture perspective. In: Proceedings of the IEEE International Conference on Web Services (ICWS). IEEE

    Google Scholar 

  24. McClean JR, Romero J, Babbush R, Aspuru-Guzik A (2016) The theory of variational hybrid quantum-classical algorithms. New J Phys 18(2):023023

    Article  MATH  Google Scholar 

  25. Cortese JA, Braje TM (2018) Loading classical data into a quantum computer. arXiv:1807.02500

    Google Scholar 

  26. Weigold M et al (2021) Data encoding patterns for quantum computing. In: Proceedings of the 27th Conference on Pattern Languages of Programs. The Hillside Group

    Google Scholar 

  27. Brenner L, Verschuuren P, Balasubramanian R, Burgard C, Croft V, Cowan G, Verkerke W (2019) Comparison of unfolding methods using RooFitUnfold. arXiv:1910.14654

    Google Scholar 

  28. Maciejewski FB et al (2020) Mitigation of readout noise in near-term quantum devices by classical post-processing based on detector tomography. Quantum 4

    Google Scholar 

  29. Shor PW (1997) Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput 26(5):1484–1509

    Article  MathSciNet  MATH  Google Scholar 

  30. Simon DR (1994) On the power of quantum cryptography. In: 35th Annual Symposium on Foundations of Computer Science, pp 116–123

    Chapter  Google Scholar 

  31. Kandala A et al (2017) Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549(7671):242–246

    Article  Google Scholar 

  32. Farhi E, Goldstone J, Gutmann S (2014) A quantum approximate optimization algorithm. arXiv:1411.4028

    Google Scholar 

  33. Weder B, Barzen J, Leymann F, Salm M (2021) Automated quantum hardware selection for quantum workflows. Electronics 10(8)

    Google Scholar 

  34. Leymann F, Roller D (1997) Workflow-based applications. IBM Syst J 36(1):102–123

    Article  Google Scholar 

  35. Liu J, Pacitti E, Valduriez P, Mattoso M (2015) A survey of data-intensive scientific workflow management. J Grid Comput 13(4):457–493

    Article  Google Scholar 

  36. Eder J, Liebhart W (1997) Workflow transactions. Workflow Handb:195–202

    Google Scholar 

  37. Bass L, Weber I, Zhu L (2015) DevOps: a software architect’s perspective. Addison-Wesley Professional

    Google Scholar 

  38. Gheorghe-Pop ID, Tcholtchev N, Ritter T, Hauswirth M (2020) Quantum DevOps: towards reliable and applicable NISQ quantum computing. In: IEEE Globecom Workshops. IEEE, pp 1–6

    Google Scholar 

  39. Wettinger J, Breitenbücher U, Kopp O, Leymann F (2016) Streamlining DevOps automation for Cloud applications using TOSCA as standardized metamodel. Future Gen Comput Syst 56:317–332

    Article  Google Scholar 

  40. Vietz D et al (2021) On decision support for quantum application developers: categorization, comparison, and analysis of existing technologies. In: Proceedings of the 21st International Conference on Computational Science (ICCS). Springer, pp 127–141

    Google Scholar 

  41. Dumas M, La Rosa M, Mendling J, Reijers HA (2013) Fundamentals of business process management, vol 1. Springer

    Book  Google Scholar 

  42. Boehm BW (1988) A spiral model of software development and enhancement. Computer 21(5):61–72

    Article  Google Scholar 

  43. Kumar N, Zadgaonkar A, Shukla A (2013) Evolving a new software development life cycle model SDLC-2013 with client satisfaction. Int J Soft Comput Eng (IJSCE) 3(1):2231–2307

    Google Scholar 

  44. Aharonov D, Van Dam W, Kempe J, Landau Z, Lloyd S, Regev O (2008) Adiabatic quantum computation is equivalent to standard quantum computation. SIAM Rev 50(4):755–787

    Article  MathSciNet  MATH  Google Scholar 

  45. Grady JO (2010) System requirements analysis. Elsevier

    Google Scholar 

  46. Pérez-Castillo R, Serrano MA, Piattini M (2021) Software modernization to embrace quantum technology. Adv Eng Softw 151:102933

    Article  Google Scholar 

  47. LaRose R (2019) Overview and comparison of gate level quantum software platforms. Quantum 3:130

    Article  Google Scholar 

  48. Salm M, Barzen J, Breitenbücher U, Leymann F, Weder B, Wild K (2020) The NISQ analyzer: automating the selection of quantum computers for quantum algorithms. In: Proceedings of the 14th Symposium and Summer School on Service-Oriented Computing (SummerSOC). Springer, pp 66–85

    Google Scholar 

  49. Leymann F (2019) Towards a pattern language for quantum algorithms. In: Quantum technology and optimization problems. Springer International Publishing, pp 218–230

    Chapter  Google Scholar 

  50. Herschel M, Diestelkämper R, Ben Lahmar H (2017) A survey on provenance: what for? What form? What from? VLDB J 26(6):881–906

    Article  Google Scholar 

  51. Weder B, Barzen J, Leymann F, Salm M, Wild K (2021) QProv: a provenance system for quantum computing. IET Quantum Commun

    Google Scholar 

  52. Gemeinhardt F, Garmendia A, Wimmer M (2021) Towards model-driven quantum software engineering. In: Proceedings of the 2nd International Workshop on Quantum Software Engineering (Q-SE). ACM

    Google Scholar 

  53. De B (2017) API management. In: API management. Springer, pp 15–28

    Chapter  Google Scholar 

  54. Garofalakis J, Panagis Y, Sakkopoulos E, Tsakalidis A (2006) Contemporary web service discovery mechanisms. J Web Eng 5(3):265–290

    Google Scholar 

  55. Leymann F, Barzen J, Falkenthal M (2019) Towards a platform for sharing quantum software. In: Proceedings of the 13th Advanced Summer School on Service-Oriented Computing (SummerSOC), IBM Technical Report. IBM Research Division, pp 70–74

    Google Scholar 

  56. Wu Y et al (2003) UML-based integration testing for component-based software. In: International Conference on COTS-Based Software Systems. Springer, pp 251–260

    Chapter  Google Scholar 

  57. Amy M (2018) Towards large-scale functional verification of universal quantum circuits. arXiv:1805.06908

    Google Scholar 

  58. Miranskyy A, Zhang L, Doliskani J (2020) Is your quantum program bug-free? In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER). ACM, pp 29–32

    Chapter  Google Scholar 

  59. Wang SA, Lu CY, Tsai IM, Kuo SY (2008) An XQDD-Based verification method for quantum circuits. IEICE Trans Fundamentals Electr Commun Comput Sci 91(2):584–594

    Article  Google Scholar 

  60. Wild K et al (2020) TOSCA4QC: two modeling styles for TOSCA to automate the deployment and orchestration of quantum applications. In: Proceedings of the 24th International Enterprise Distributed Object Computing Conference (EDOC). IEEE, pp 125–134

    Google Scholar 

  61. Wurster M et al (2019) The essential deployment metamodel: a systematic review of deployment automation technologies. Software-Intensive Cyber-Physical Systems

    Google Scholar 

  62. Weder B, Breitenbücher U, Képes K, Leymann F, Zimmermann M (2020) Deployable self-contained workflow models. In: Proceedings of the 8th European Conference on Service-Oriented and Cloud Computing (ESOCC). Springer, pp 85–96

    Chapter  Google Scholar 

  63. Preskill J (2018) Quantum Computing in the NISQ era and beyond. Quantum 2:79

    Article  Google Scholar 

  64. OMG (2011) Business Process Model and Notation (BPMN) version 2.0. Object Management Group

    Google Scholar 

  65. OASIS (2007) Web Services Business Process Execution Language (WS-BPEL) version 2.0. Organization for the Advancement of Structured Information Standards

    Google Scholar 

  66. Agrawal R, Gunopulos D, Leymann F (1998) Mining process models from workflow logs. In: International Conference on Extending Database Technology. Springer, pp 467–483

    Google Scholar 

  67. Waters BR, Balfanz D, Durfee G, Smetters DK (2004) Building an encrypted and searchable audit log. In: NDSS, vol 4. Citeseer, pp 5–6

    Google Scholar 

  68. Pinter SS, Golani M (2004) Discovering workflow models from activities’ lifespans. Comput Indus 53(3):283–296

    Article  Google Scholar 

  69. Wang D, Higgott O, Brierley S (2019) Accelerated variational quantum eigensolver. Phys Rev Lett 122(14):140504

    Article  Google Scholar 

  70. Tannu SS, Qureshi MK (2019) Not all qubits are created equal: a case for variability-aware policies for nisq-era quantum computers. In: Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems, pp 987–999

    Google Scholar 

  71. Fingerhuth M, Babej T, Wittek P (2018) Open source software in quantum computing. PLoS One 13(12)

    Google Scholar 

  72. Huang Y, Martonosi M (2019) Statistical assertions for validating patterns and finding bugs in quantum programs. In: Proceedings of the 46th International Symposium on Computer Architecture. ACM, pp 541–553

    Chapter  Google Scholar 

  73. Liu J, Byrd GT, Zhou H (2020) Quantum circuits for dynamic runtime assertions in quantum computation. In: Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, pp 1017–1030

    Google Scholar 

  74. Usaola MP (2020) Quantum Software Testing. In: Proceedings of the 1st International Workshop on the Quantum Software Engineering & Programming, pp 57–63

    Google Scholar 

  75. Kashefi E, Kent A, Vedral V, Banaszek K (2002) Comparison of quantum oracles. Phys Rev A 65(5):050304

    Article  Google Scholar 

  76. Bishop LS et al (2017) Quantum volume. Technical Report

    Google Scholar 

  77. Sete EA, Zeng WJ, Rigetti CT (2016) A functional architecture for scalable quantum computing. In: IEEE International Conference on Rebooting Computing, pp 1–6

    Google Scholar 

  78. Knill E, Laflamme R, Martinez R, Negrevergne C (2001) Benchmarking quantum computers: the five-qubit error correcting code. Phys Rev Lett 86:5811–5814

    Article  Google Scholar 

  79. Michielsen K, Nocon M, Willsch D, Jin F, Lippert T, De Raedt H (2017) Benchmarking gate-based quantum computers. Comput Phys Commun 220:44–55

    Article  MathSciNet  Google Scholar 

  80. Suchara M, Kubiatowicz J, Faruque A, Chong FT, Lai CY, Paz G (2013) QuRE: the quantum resource estimator toolbox. In: Proceedings of the 31st International Conference on Computer Design (ICCD). IEEE, pp 419–426

    Google Scholar 

  81. Booth J Jr (2012) Quantum compiler optimizations. arXiv:1206.3348

    Google Scholar 

  82. Sivarajah S, Dilkes S, Cowtan A, Simmons W, Edgington A, Duncan R (2020) t| ket>: a retargetable compiler for NISQ devices. Quantum Sci Technol

    MATH  Google Scholar 

  83. Heyfron LE, Campbell ET (2018) An efficient quantum compiler that reduces T count. Quantum Sci Technol 4(1):015004

    Article  Google Scholar 

  84. Javadi Abhari A et al (2014) ScaffCC: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th Conference on Computing Frontiers. ACM, pp 1–10

    Google Scholar 

  85. Gaitan F (2008) Quantum error correction and fault tolerant quantum computing. CRC Press

    MATH  Google Scholar 

  86. Reed MD et al (2012) Realization of three-qubit quantum error correction with superconducting circuits. Nature 482(7385):382–385

    Article  Google Scholar 

  87. Song C, Cui J, Wang H, Hao J, Feng H, Li Y (2019) Quantum computation with universal error mitigation on a superconducting quantum processor. Sci Adv 5(9)

    Google Scholar 

  88. Endo S, Benjamin SC, Li Y (2018) Practical quantum error mitigation for near-future applications. Phys Rev X 8(3):031027

    Google Scholar 

  89. Endo S, Cai Z, Benjamin SC, Yuan X (2021) Hybrid quantum-classical algorithms and quantum error mitigation. J Phys Soc Japan 90(3):032001

    Article  Google Scholar 

  90. Breitenbücher U, Binz T, Képes K, Kopp O, Leymann F, Wettinger J (2014) Combining declarative and imperative cloud application provisioning based on TOSCA. In: International Conference on Cloud Engineering (IC2E). IEEE, pp 87–96

    Google Scholar 

  91. Binz T, Breiter G, Leymann F, Spatzier T (2012) Portable cloud services using TOSCA. IEEE Internet Comput 16(3):80–85

    Article  Google Scholar 

  92. OASIS (2013) Topology and Orchestration Specification for Cloud Applications (TOSCA) version 1.0. Organization for the Advancement of Structured Information Standards

    Google Scholar 

  93. Zimmermann M et al (2018) Towards deployable research object archives based on TOSCA. In: Papers from the 12th Advanced Summer School on Service-Oriented Computing (SummerSoC). IBM Research Division, pp 31–42

    Google Scholar 

  94. Cardoso J, Sheth A, Miller J, Arnold J, Kochut K (2004) Quality of service for workflows and web service processes. J Web Semantics 1(3):281–308

    Article  Google Scholar 

  95. Ahmadighohandizi F, Systä K (2016) Application development and deployment for IoT devices. In: Proceedings of the 4th European Conference on Service-Oriented and Cloud Computing (ESOCC). Springer, pp 74–85

    Google Scholar 

  96. Zapata: Orquestra (2021) https://www.zapatacomputing.com/orquestra

  97. IBM (2021) IBM’s roadmap for building an open quantum software ecosystem. https://www.ibm.com/blogs/research/2021/02/quantum-development-roadmap

  98. Giovannetti V, Lloyd S, Maccone L (2008) Quantum random access memory. Phys Rev Lett 100(16):160501

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Architecture of Application Systems, University of Stuttgart, Stuttgart, Germany

    Benjamin Weder, Johanna Barzen, Frank Leymann & Daniel Vietz

Authors
  1. Benjamin Weder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Johanna Barzen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frank Leymann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Daniel Vietz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Benjamin Weder .

Editor information

Editors and Affiliations

  1. aQuantum, University of Castilla-La Mancha (UCLM), Ciudad Real, Spain

    Manuel A. Serrano

  2. aQuantum, University of Castilla-La Mancha (UCLM), Talavera de la Reina, Spain

    Ricardo Pérez-Castillo

  3. aQuantum, University of Castilla-La Mancha (UCLM), Ciudad Real, Spain

    Mario Piattini

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Weder, B., Barzen, J., Leymann, F., Vietz, D. (2022). Quantum Software Development Lifecycle. In: Serrano, M.A., Pérez-Castillo, R., Piattini, M. (eds) Quantum Software Engineering. Springer, Cham. https://doi.org/10.1007/978-3-031-05324-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-05324-5_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-05323-8

  • Online ISBN: 978-3-031-05324-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation