research-article

Open access

On the Need of Quantum-Oriented Paradigm

Authors:

Tao YueAuthors Info & Claims

QP4SE 2023: Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering

Pages 17 - 20

https://doi.org/10.1145/3617570.3617868

Published: 04 December 2023 Publication History

Abstract

Since the invention of Quantum Computing (QC) in the 1980s, substantial claims about QC’s ability to solve computational problems of unparalleled complexity have emerged. However, forty years later, no significant real-world QC applications exist. Indeed, the availability of small-scale noisy quantum computers is to blame. Still, simultaneously, the programming of quantum computers is too close to quantum hardware, requiring software engineers with specialized backgrounds to build QC applications and limiting the maximum exploitation of QC’s potential. Thus, there is a need for an abstract yet intuitive quantum-oriented paradigm (QOP) for building QC applications, similar to the object-oriented paradigm established in the 1960s for classical computers that laid the foundations of modern programming and modeling languages for classical computers. Unfortunately, such a QC paradigm doesn’t exist. Thus, we foresee the need to build a novel QOP based on which future quantum programming and modeling languages shall be developed. Such QOP shall enable users with diverse backgrounds (e.g., computer scientists, software engineers, and physicists) to build QC applications cost-effectively, intuitively, and independently of low-level quantum mechanics characteristics (e.g., superposition and entanglement). This paper discusses the emerging work of QOP and presents research directions that the software engineering and programming communities can follow to build a successful QOP.

References

[1]

2020. Overview on quantum initiatives worldwide. https://www.qureca.com/overview-on-quantum-initiatives-worldwide

[2]

2023. OpenQASM. https://github.com/openqasm/openqasm

[3]

2023. PennyLane. https://pennylane.ai/

[4]

2023. PyQuil. https://github.com/rigetti/pyquil

[5]

C. A Perez Delgado and H. G. Perez-Gonzalez. 2020. Towards a Quantum Software Modeling Language. In First International Workshop on Quantum Software Engineering (Q-SE 2020).

[6]

Samson Abramsky and Bob Coecke. 2008. Categorical quantum mechanics. arxiv:0808.1023.

[7]

Shaukat Ali, Lionel Briand, and Hadi Hemmati. 2010. Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Software and Systems Modeling, 11 (2010), 01, 1–38. https://doi.org/10.1007/s10270-011-0206-z

Digital Library

[8]

Shaukat Ali and Tao Yue. 2020. Modeling Quantum Programs: Challenges, Initial Results, and Research Directions. In Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020). Association for Computing Machinery, New York, NY, USA. 14–21. isbn:9781450381000 https://doi.org/10.1145/3412451.3428499

Digital Library

[9]

Shaukat Ali, Tao Yue, and Rui Abreu. 2022. When Software Engineering Meets Quantum Computing. Commun. ACM, 65, 4 (2022), mar, 84–88. issn:0001-0782 https://doi.org/10.1145/3512340

Digital Library

[10]

Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, Tobias Haug, Sumner Alperin-Lea, Abhinav Anand, Matthias Degroote, Hermanni Heimonen, Jakob S. Kottmann, Tim Menke, Wai-Keong Mok, Sukin Sim, Leong-Chuan Kwek, and Alán Aspuru-Guzik. 2022. Noisy intermediate-scale quantum algorithms. Rev. Mod. Phys., 94 (2022), Feb, 015004. https://doi.org/10.1103/RevModPhys.94.015004

[11]

Lev S. Bishop, Sergey Bravyi, Andrew W. Cross, Jay M. Gambetta, John A. Smolin, and March. 2017. Quantum Volume.

[12]

Arnab Chakraborty. 2011. QuECT: A New Quantum Programming Paradigm. arxiv:1104.0497.

[13]

Cirq Developers. 2018. Cirq. https://doi.org/10.5281/zenodo.4062499

[14]

Piattini et. al. 2020. The Talavera Manifesto for Quantum Software Engineering and Programming. https://ceur-ws.org/Vol-2561/paper0.pdf

[15]

Felix Gemeinhardt, Antonio Garmendia, and Manuel Wimmer. 2021. Towards Model-Driven Quantum Software Engineering. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). 13–15. https://doi.org/10.1109/Q-SE52541.2021.00010

[16]

Sukhpal Singh Gill, Adarsh Kumar, Harvinder Singh, Manmeet Singh, Kamalpreet Kaur, Muhammad Usman, and Rajkumar Buyya. 2022. Quantum computing: A taxonomy, systematic review and future directions. Software: Practice and Experience, 52, 1 (2022), 66–114. https://doi.org/10.1002/spe.3039 arxiv:https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.3039.

[17]

Jean-Yves Girard. 1995. Linear Logic: Its Syntax and Semantics. In Proceedings of the Workshop on Advances in Linear Logic. Cambridge University Press, USA. 1–42. isbn:0521559618

Digital Library

[18]

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Benoît Valiron. 2013. Quipper: A Scalable Quantum Programming Language. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’13). New York, NY, USA. 333–342. https://doi.org/10.1145/2491956.2462177 arxiv:1304.3390.

Digital Library

[19]

Bettina Heim, Mathias Soeken, Sarah Marshall, Christopher E. Granade, Martin Roetteler, Alan Geller, Matthias Troyer, and Krysta M. Svore. 2020. Quantum Programming Languages. Nature Reviews Physics, 2, 12 (2020), Dec., 709–722. https://doi.org/10.1038/s42254-020-00245-7

[20]

Ali Javadi-Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabarti, Chen-Fu Chiang, Seth Vanderwilt, John Black, Frederic T. Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012. Scaffold: Quantum Programming Language. Princeton University. https://www.cs.princeton.edu/research/techreps/TR-934-12

[21]

Hang Jing, Ye Wang, and Yan Li. 2023. Data-driven quantum approximate optimization algorithm for power systems. Communications Engineering, 2, 1 (2023), 3, https://doi.org/10.1038/s44172-023-00061-8

[22]

Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. 1997. Aspect-oriented programming. In ECOOP’97 — Object-Oriented Programming, Mehmet Akşit and Satoshi Matsuoka (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 220–242. isbn:978-3-540-69127-3

[23]

Ryan LaRose. 2019. Overview and Comparison of Gate Level Quantum Software Platforms. Quantum, 3 (2019), Mar, 130. issn:2521-327X https://doi.org/10.22331/q-2019-03-25-130

[24]

Yangyang Li, Mengzhuo Tian, Guangyuan Liu, Cheng Peng, and Licheng Jiao. 2020. Quantum Optimization and Quantum Learning: A Survey. IEEE Access, 8 (2020), 23568–23593. https://doi.org/10.1109/ACCESS.2020.2970105

[25]

Phillip Lotshaw, Thien Nguyen, Anthony Santana, Alexander McCaskey, Rebekah Herrman, James Ostrowski, George Siopsis, and Travis Humble. 2022. Scaling quantum approximate optimization on near-term hardware. Scientific Reports, 12 (2022), 07, 12388. https://doi.org/10.1038/s41598-022-14767-w

[26]

Stefano Martina, Stefano Gherardini, Lorenzo Buffoni, and Filippo Caruso. 2022. Noise fingerprints in quantum computers: Machine learning software tools. Software Impacts, 12 (2022), 100260. issn:2665-9638 https://doi.org/10.1016/j.simpa.2022.100260

[27]

Microsoft. 2020. Q# Language Specification. https://github.com/microsoft/qsharp-language/tree/main/Specifications/Language##q-language

[28]

Asmar Muqeet, Tao Yue, Shaukat Ali, and Paolo Arcaini. 2023. Noise-Aware Quantum Software Testing. arxiv:2306.16992.

[29]

Noah Oldfield, Tao Yue, and Shaukat Ali. 2023. Investigating Quantum Cause-Effect Graphs. In Proceedings of the 3rd International Workshop on Quantum Software Engineering (Q-SE ’22). Association for Computing Machinery, New York, NY, USA. 8–15. isbn:9781450393355 https://doi.org/10.1145/3528230.3529186

Digital Library

[30]

Jennifer Paykin, Robert Rand, and Steve Zdancewic. 2017. QWIRE: A Core Language for Quantum Circuits. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’17). New York, NY, USA. 846–858. https://doi.org/10.1145/3009837.3009894

Digital Library

[31]

R. Perez-Castillo, L. Jimenez-Navajas, and M. Piattini. 2021. Modelling Quantum Circuits with UML. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE Computer Society, Los Alamitos, CA, USA. 7–12. https://doi.org/10.1109/Q-SE52541.2021.00009

[32]

Carlos A. Pérez-Delgado. 2022. A Quantum Software Modeling Language. Springer International Publishing, Cham. 103–119. isbn:978-3-031-05324-5 https://doi.org/10.1007/978-3-031-05324-5_6

[33]

Qiskit Community. 2017. Qiskit: An Open-Source Framework for Quantum Computing. https://doi.org/10.5281/zenodo.2562110

[34]

Eyob A. Sete, William J. Zeng, and Chad T. Rigetti. 2016. A functional architecture for scalable quantum computing. In 2016 IEEE International Conference on Rebooting Computing (ICRC). 1–6. https://doi.org/10.1109/ICRC.2016.7738703

[35]

D. M. Simmonds. 2012. The Programming Paradigm Evolution. Computer, 45, 06 (2012), jun, 93–95. issn:1558-0814 https://doi.org/10.1109/MC.2012.219

Digital Library

[36]

Manuela Weigold, Johanna Barzen, Frank Leymann, and Daniel Vietz. 2021. Patterns for Hybrid Quantum Algorithms. In Service-Oriented Computing, Johanna Barzen (Ed.). Springer International Publishing, Cham. 34–51. isbn:978-3-030-87568-8

[37]

Robert Wille, Stefan Hillmich, and Lukas Burgholzer. 2022. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 3, 3 (2022), Article 13, jun, 17 pages. issn:2643-6809 https://doi.org/10.1145/3491246

Digital Library

[38]

Robert Wille, Stefan Hillmich, and Lukas Burgholzer. 2023. Decision Diagrams for Quantum Computing.

[39]

Nengkun Yu and Jens Palsberg. 2021. Quantum Abstract Interpretation. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA. 542–558. isbn:9781450383912 https://doi.org/10.1145/3453483.3454061

Digital Library

[40]

Nengkun Yu and Jens Palsberg. 2021. Quantum Abstract Interpretation. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA. 542–558. isbn:9781450383912 https://doi.org/10.1145/3453483.3454061

Digital Library

[41]

Chunying Zhao and Kang Zhang. 2007. Transformational Approaches to Model Driven Architecture - A Review. In 31st IEEE Software Engineering Workshop (SEW 2007). 67–74. https://doi.org/10.1109/SEW.2007.111

Digital Library

Cited By

Perez-Castillo RFernandez-Osuna MCruz-Lemus JPiattini M(2024)A preliminary study of the usage of design patterns in quantum softwareProceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering10.1145/3643667.3648220(41-48)Online publication date: 16-Apr-2024
https://dl.acm.org/doi/10.1145/3643667.3648220
De Stefano MPecorelli FDi Nucci DPalomba FDe Lucia A(2024)The quantum frontier of software engineeringInformation and Software Technology10.1016/j.infsof.2024.107525175:COnline publication date: 18-Nov-2024
https://dl.acm.org/doi/10.1016/j.infsof.2024.107525

Index Terms

On the Need of Quantum-Oriented Paradigm
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Very high level languages

Index terms have been assigned to the content through auto-classification.

Recommendations

Quantum software engineering and quantum software development lifecycle: a survey
Abstract
Quantum software engineering is advancing in the domain of quantum computing research and application, yet the documentation is scattered. The slow transition from Von-Neumann based computation systems to quantum systems, and conserving the ...
The Quantum software lifecycle
APEQS 2020: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

Quantum computing is an emerging paradigm that enables to solve a variety of problems more efficiently than it is possible on classical computers. As the first quantum computers are available, quantum algorithms can be implemented and executed on real ...
Quantum Computing: A New Software Engineering Golden Age

Quantum computing, and to an even greater extent quantum technology, is changing the world. Quantum computing is not an evolution of classical computer science; it is actually a revolution that completely changes the computing paradigm. Quantum ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

QP4SE 2023: Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering

December 2023

20 pages

ISBN:9798400703768

DOI:10.1145/3617570

General Chairs:
Vita Santa Barletta
University of Bari, Italy
,
Fabiano Pecorelli
Jheronimus Academy of Data Science, Netherlands / Eindhoven University of Technology, Netherlands
,
Manuel A. Serrano
University of Castilla-La Mancha, Spain

Copyright © 2023 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 December 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Norges Forskningsråd
Oslo Metropolitan University

Conference

QP4SE '23

Sponsor:

SIGSOFT

QP4SE '23: 2nd International Workshop on Quantum Programming for Software Engineering

December 4, 2023

CA, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
191
Total Downloads

Downloads (Last 12 months)147
Downloads (Last 6 weeks)16

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Perez-Castillo RFernandez-Osuna MCruz-Lemus JPiattini M(2024)A preliminary study of the usage of design patterns in quantum softwareProceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering10.1145/3643667.3648220(41-48)Online publication date: 16-Apr-2024
https://dl.acm.org/doi/10.1145/3643667.3648220
De Stefano MPecorelli FDi Nucci DPalomba FDe Lucia A(2024)The quantum frontier of software engineeringInformation and Software Technology10.1016/j.infsof.2024.107525175:COnline publication date: 18-Nov-2024
https://dl.acm.org/doi/10.1016/j.infsof.2024.107525

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten