research-article

Modeling Quantum programs: challenges, initial results, and research directions

Authors:

Tao YueAuthors Info & Claims

APEQS 2020: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

Pages 14 - 21

https://doi.org/10.1145/3412451.3428499

Published: 04 December 2020 Publication History

Abstract

Quantum programming languages provide necessary constructs to program quantum computers. To write such programs, one needs to understand the characteristics of quantum computers such as superposition and entanglement, which are novel as compared to programming with classical computers. Understanding these characteristics requires an understanding of quantum physics. Thus, there is a need to build high-level modeling abstractions of quantum programs for software engineers who are used to program on classical computers to understand and model quantum programs at a high-level of abstraction and independent of quantum platforms. To this end, we present some ideas for developing such quantum software modeling languages, by presenting a conceptual model of quantum programs and an example of modeling the state-based behavior of quantum entanglement program. Moreover, we present some open issues in the area of modeling quantum programs.

References

[1]

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 ). https://doi.org/10.1145/3387940.3392183

Digital Library

[2]

S. Ali, M. Zohaib Iqbal, A. Arcuri, and L. C. Briand. 2013. Generating Test Data from OCL Constraints with Search Techniques. IEEE Transactions on Software Engineering 39, 10 ( 2013 ), 1376-1402. https://doi.org/10.1109/TSE. 2013.17

Digital Library

[3]

K. Bertels, A. Sarkar, T. Hubregtsen., M. Serrao, A. A. Mouedenne, A. Yadav, A. Krol, and I. Ashraf. 2020. Quantum Computer Architecture: Towards Full-Stack Quantum Accelerators. In 2020 Design, Automation Test in Europe Conference Exhibition (DATE). 1-6. https://doi.org/10.23919/DATE48585. 2020.9116502

[4]

F. Bloch. 1946. Nuclear Induction. Phys. Rev. 70 (Oct 1946 ), 460-474. Issue 7-8. https://doi.org/10.1103/PhysRev.70.460

[5]

Dominik Bork, Dimitris Karagiannis, and Benedikt Pittl. 2020. A survey of modeling language specification techniques. Information Systems 87 ( 2020 ), 101425. https://doi.org/10.1016/j.is. 2019.101425

[6]

Birgit Demuth. 2004. The Dresden OCL Toolkit and its Role in Information Systems Development.

[7]

P. A. M. Dirac. 1939. A new notation for quantum mechanics. Mathematical Proceedings of the Cambridge Philosophical Society 35, 3 ( 1939 ), 416-418. https: //doi.org/10.1017/S0305004100021162

[8]

Martin Fowler. 2010. Domain Specific Languages (1st ed.). Addison-Wesley Professional.

Digital Library

[9]

Sunita Garhwal, Maryam Ghorani, and Amir Ahmad. 2019. Quantum Programming Language: A Systematic Review of Research Topic and Top Cited Languages. Archives of Computational Methods in Engineering (06 Dec 2019 ). https://doi.org/10.1007/s11831-019-09372-6

[10]

Alexandru Gheorghiu, Theodoros Kapourniotis, and Elham Kashefi. 2018. Verification of Quantum Computation: An Overview of Existing Approaches. Theory of Computing Systems 63, 4 (Jul 2018 ), 715-808. https://doi.org/10.1007/s00224-018-9872-3

Digital Library

[11]

M. Gimeno-Segovia, N. Harrigan, and E.R. Johnston. 2019. Programming Quantum Computers: Essential Algorithms and Code Samples. O'Reilly Media, Incorporated. https://books.google.no/books?id=LZY1vgEACAAJ

[12]

Gian Giacomo Guerreschi, Justin Hogaboam, Fabio Barufa, and Nicolas Per Dane Sawaya. 2020. Intel Quantum Simulator: A cloud-ready high-performance simulator of quantum circuits. Quantum Science and Technology ( 2020 ). http://iopscience.iop. org/10.1088/2058-9565/ab8505

[13]

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

[14]

M. Lukac and M. Perkowski. 2009. Quantum Finite State Machines as Sequential Quantum Circuits. In 2009 39th International Symposium on Multiple-Valued Logic. 92-97.

[15]

D. Maslov, G. W. Dueck, D. M. Miller, and C. Negrevergne. 2008. Quantum Circuit Simplification and Level Compaction. IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems 27, 3 ( 2008 ), 436-444. https: //doi.org/10.1109/TCAD. 2007.911334

Digital Library

[16]

Cristopher Moore and James P. Crutchfield. 2000. Quantum automata and quantum grammars. Theoretical Computer Science 237, 1 ( 2000 ), 275-306. https://doi.org/10.1016/S0304-3975 ( 98 ) 00191-1

Digital Library

[17]

Michael A. Nielsen and Isaac L. Chuang. 2011. Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.). Cambridge University Press, USA.

Digital Library

[18]

John Preskill. 2018. Quantum Computing in the NISQ era and beyond. Quantum 2 ( Aug 2018 ), 79. https://doi.org/10.22331/q-2018-08-06-79

[19]

A.C. Cem Say and Abuzer Yakaryılmaz. 2014. Quantum Finite Automata: A Modern Introduction. Springer International Publishing, Cham, 208-222. https: //doi.org/10.1007/978-3-319-13350-8_16

[20]

Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand. 2020. Practical Constraint Solving for Generating System Test Data. ACM Trans. Softw. Eng. Methodol. 29, 2, Article 11 ( April 2020 ), 48 pages. https://doi.org/10.1145/3381032

Digital Library

[21]

Krysta Svore, Martin Roetteler, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, and Andres Paz. 2018. Q#. Proceedings of the Real World Domain Specific Languages Workshop 2018 on-RWDSL2018 ( 2018 ). https://doi.org/10.1145/3183895.3183901

Digital Library

[22]

Yuling Tian, Tianfeng Feng, Maolin Luo, Shenggen Zheng, and Xiaoqi Zhou. 2019. Experimental demonstration of quantum finite automaton. npj Quantum Information 5, Article 4 ( June 2019 ), 4 pages. https://doi.org/10.1038/s41534-019-0163-x

[23]

B. Ulke, F. Steimann, and R. Lämmel. 2017. Partial Evaluation of OCL Expressions. In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). 63-73. https://doi.org/10.1109/MODELS. 2017. 31

Digital Library

[24]

Mark Utting and Bruno Legeard. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.

Digital Library

[25]

R. Wille, R. Van Meter, and Y. Naveh. 2019. IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. In 2019 Design, Automation Test in Europe Conference Exhibition (DATE). 1234-1240.

[26]

Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv: 2007. 07047 [cs.SE]

Cited By

Shameem MNadeem MNiazi MMahmood SKumar A(2025)Taxonomy of metrics for effectively estimating quantum software projects: A fuzzy-AHP based analysisApplied Soft Computing10.1016/j.asoc.2025.112816172(112816)Online publication date: Mar-2025
https://doi.org/10.1016/j.asoc.2025.112816
Gemeinhardt FGarmendia AWimmer MWille R(2024)A Model-Driven Framework for Composition-Based Quantum Circuit DesignACM Transactions on Quantum Computing10.1145/36888565:4(1-36)Online publication date: 21-Aug-2024
https://dl.acm.org/doi/10.1145/3688856
Wright CLuján MPetoumenos PGoodacre JErtl MKirsch C(2024)Quff: A Dynamically Typed Hybrid Quantum-Classical Programming LanguageProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685063(65-81)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3679007.3685063
Show More Cited By

Index Terms

Modeling Quantum programs: challenges, initial results, and research directions
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software design engineering
  2. Software notations and tools
    1. System description languages
      1. Design languages
2. Theory of computation
  1. Models of computation
    1. Quantum computation theory

Recommendations

Mermin polynomials for non-locality and entanglement detection in Grover’s algorithm and Quantum Fourier Transform
Abstract
The non-locality and thus the presence of entanglement of a quantum system can be detected using Mermin polynomials. This gives us a means to study non-locality evolution during the execution of quantum algorithms. We first consider Grover’s ...
Quantum Software Testing 101
ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

Quantum software testing (QST) is an emerging research area within quantum software engineering (QSE) to ensure quantum software functional and non-functional correctness and dependability. Since quantum computers perform computations significantly ...
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 ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

APEQS 2020: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

November 2020

30 pages

ISBN:9781450381000

DOI:10.1145/3412451

Copyright © 2020 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 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Norges Forskningsråd

Conference

ESEC/FSE '20

Sponsor:

SIGSOFT

ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

November 13, 2020

Virtual, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
370
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Shameem MNadeem MNiazi MMahmood SKumar A(2025)Taxonomy of metrics for effectively estimating quantum software projects: A fuzzy-AHP based analysisApplied Soft Computing10.1016/j.asoc.2025.112816172(112816)Online publication date: Mar-2025
https://doi.org/10.1016/j.asoc.2025.112816
Gemeinhardt FGarmendia AWimmer MWille R(2024)A Model-Driven Framework for Composition-Based Quantum Circuit DesignACM Transactions on Quantum Computing10.1145/36888565:4(1-36)Online publication date: 21-Aug-2024
https://dl.acm.org/doi/10.1145/3688856
Wright CLuján MPetoumenos PGoodacre JErtl MKirsch C(2024)Quff: A Dynamically Typed Hybrid Quantum-Classical Programming LanguageProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685063(65-81)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3679007.3685063
Long PZhao J(2024)Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration TestingACM Transactions on Software Engineering and Methodology10.1145/365633933:6(1-61)Online publication date: 27-Jun-2024
https://dl.acm.org/doi/10.1145/3656339
Piattini MHevia JPeterssen G(2024)Quantum Software Engineering: Practical ChallengesInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402441002X34:09(1387-1413)Online publication date: 30-Aug-2024
https://doi.org/10.1142/S021819402441002X
Polat FTuncer HMoin AChallenger M(2024)Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)10.1109/COMPSAC61105.2024.00378(2353-2360)Online publication date: 2-Jul-2024
https://doi.org/10.1109/COMPSAC61105.2024.00378
Nagarajan SMalarvel MJ T(2024)A Framework for Quantum based Software Development Process2024 International Conference on Advances in Data Engineering and Intelligent Computing Systems (ADICS)10.1109/ADICS58448.2024.10533595(1-6)Online publication date: 18-Apr-2024
https://doi.org/10.1109/ADICS58448.2024.10533595
Aparicio-Morales ÁMoguel EBibbo LFernandez AGarcia-Alonso JMurillo J(2024)An overview of quantum software engineering in Latin AmericaQuantum Information Processing10.1007/s11128-024-04586-523:11Online publication date: 22-Nov-2024
https://doi.org/10.1007/s11128-024-04586-5
Alonso DSánchez PÁlvarez B(2023)A Graph-Based Approach for Modelling Quantum CircuitsApplied Sciences10.3390/app13211179413:21(11794)Online publication date: 28-Oct-2023
https://doi.org/10.3390/app132111794
Ali SYue TSanta Barletta VPecorelli FSerrano M(2023)On the Need of Quantum-Oriented ParadigmProceedings of the 2nd International Workshop on Quantum Programming for Software Engineering10.1145/3617570.3617868(17-20)Online publication date: 4-Dec-2023
https://dl.acm.org/doi/10.1145/3617570.3617868
Show More Cited By

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten