research-article

Design of classical-quantum systems with UML

Authors:

Ricardo Pérez-Castillo,

Mario PiattiniAuthors Info & Claims

Computing, Volume 104, Issue 11

Pages 2375 - 2403

https://doi.org/10.1007/s00607-022-01091-4

Published: 01 November 2022 Publication History

Abstract

Developers of the many promising quantum computing applications that currently exist are urging companies in many different sectors seriously consider integrating this new technology into their business. For these applications to function, not only are quantum computers required, but quantum software also. Accordingly, quantum software engineering has become an important research field, in that it attempts to apply or adapt existing methods and techniques (or propose new ones) for the analysis, design, coding, and testing of quantum software, as well as playing a key role in ensuring quality in large-scale productions. The design of quantum software nevertheless poses two main challenges: the modelling of software quantum elements must be done in high-level modelling languages; and the need to further develop so-called “hybrid information systems”, which combine quantum and classical software. To address these challenges, we first propose a quantum UML profile for analysing and designing hybrid information systems; we then demonstrate its applicability through various structural and behavioural diagrams such as use case, class, sequence, activity, and deployment. In comparison to certain other quantum domain-specific languages, this UML profile ensures compliance with a well-known international standard that is supported by many tools and is followed by an extensive community.

References

[1]

Egger DJ, Gambella C, Marecek J, McFaddin S, Mevissen M, Raymond R, Simonetto A, Woerner S, and Yndurain E Quantum computing for finance: state-of-the-art and future prospects IEEE Trans Quantum Eng 2020 1 1-24

[2]

The Economist (2020) Wall street’s latest shiny new thing: quantum computing. https://www.economist.com/finance-and-economics/2020/12/19/wall-streets-latest-shiny-new-thing-quantum-computing

[3]

Yudong C, Jonathan R, Olson Jonathan P, Matthias D, Johnson Peter D, Mária K, Kivlichan Ian D, Tim M, Borja P, Sawaya Nicolas PD, Sukin S, Libor V, and Alán A-G Quantum chemistry in the age of quantum computing Chem Rev 2019 119 19 10856-10915

[4]

Cao Y, Romero J, and Aspuru-Guzik A Potential of quantum computing for drug discovery IBM J Res Dev 2018 62 6 6:1-6:20

[5]

Njorbuenwu M, Swar B, Zavarsky P (2019) A survey on the impacts of quantum computers on information security. In: 2019 2nd International conference on data intelligence and security (ICDIS), pp 212–218

[6]

Christopher S (2021) How quantum computers could cut millions of miles from supply chains and transform logistics. https://www.forbes.com/sites/forbestechcouncil/2021/02/05/how-quantum-computers-could-cut-millions-of-miles-from-supply-chains-and-transform-logistics/

[7]

Zhang Y and Ni Q Recent advances in quantum machine learning Quantum Eng 2020 2 1 e34

[8]

Mueck L Quantum software Nature 2017 549 7671 171-171

[9]

Piattini M et al (2020) The Talavera manifesto for quantum software engineering and programming. In: Piattini M et al (eds) QANSWER 2020. QuANtum SoftWare Engineering and pRogramming, CEUR-WS, vol 2561, pp 1–5

[10]

Booch G The history of software engineering IEEE Softw 2018 35 5 108-114

[11]

Piattini M, Peterssen G, Serrano MA, Hevia JL, and Pérez-Castillo R Towards a quantum software engineering IT Prof 2021 23 1 62-66

[12]

Rieffel EG and Polak WH Quantum computing: a gentle introduction (scientific and engineering computation) 2011 Cambridge MIT Press

[13]

Wang SP, Sakk E (2021) Quantum algorithms: overviews, foundations, and speedups. In: 2021 IEEE 5th international conference on cryptography, security and privacy (CSP), pp 17–21

[14]

Pérez-Castillo R, Serrano MA, and Piattini M Software modernization to embrace quantum technology Adv Eng Softw 2021 151 102933

[15]

Dey N, Ghosh M, Kundu SS, Chakrabarti A (2020) Qdlc—the quantum development life cycle. arxiv: abs/2010.08053v1

[16]

OMG. UML 2.5.1 The Object Management Group (2017). https://www.omg.org/spec/UML/2.5.1/PDF

[17]

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, ICSEW’20, New York, Association for Computing Machinery, pp 442–444

[18]

Ribo JM, Franch J (2002) A two-tiered methodology to extend the uml metamodel. Universitat Politècnica de Catalunya. https://upcommons.upc.edu/bitstream/handle/2117/97437/R02-52.pdf

[19]

Maslov D, Nam Y, and Kim J An outlook for quantum computing [point of view] Proc IEEE 2019 107 1 5-10

[20]

Barbosa LS (2020) Software engineering for ’quantum advantage’. In: Proceedings of the IEEE/ACM 42nd international conference on software engineering workshops, ICSEW’20, Association for Computing Machinery, New York, pp 427–429

[21]

Aaronson S The limits of quantum J Sci Am 2008 298 3 62-69

[22]

Ferrari D, Cacciapuoti AS, Amoretti M, and Caleffi M Compiler design for distributed quantum computing IEEE Trans Quantum Eng 2021 2 1-20

[23]

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

[24]

McCaskey A, Dumitrescu E, Liakh D, Humble T (2018) Hybrid programming for near-term quantum computing systems. In: 2018 IEEE international conference on rebooting computing (ICRC), pp 1–12

[25]

Geller A (2020) Introducing quantum intermediate representation (QIR). https://devblogs.microsoft.com/qsharp/introducing-quantum-intermediate-representation-qir/

[26]

Carleton AD, Harper E, Robert JE, Klein MH, De Niz D, Desautels E, Goodenough JB, Holland C, Ozkaya I (2021) Schmidt Douglas architecting the future of software engineering: a national agenda for software engineering research and development. https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=741193

[27]

Johnston ER, Harrigan N, Gimeno-Segovia M (2019) Programming quantum computers: essential algorithms and code samples. O’Reilly Media

[28]

Silva Vladimir Practical Quantum Computing for Developers (2018) Springer

[29]

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 2020, Association for Computing Machinery, New York, pp 2–9

[30]

Zhao J (2020) Quantum software engineering: landscapes and horizons. arxiv: 2007.07047v1

[31]

van den Brink RFM, Phillipson F, Neumann NMP (2019) Vision on next level quantum software tooling. In: COMPUTATION TOOLS 2019: the tenth international conference on computational logics, Algebras, Programming, Tools, and Benchmarking, IARIA, pp 16–23

[32]

Wille R, Chattopadhyay A, Drechsler R (2016) From reversible logic to quantum circuits: logic design for an emerging technology. In: 2016 International conference on embedded computer systems: architectures, modeling and simulation (SAMOS), pp 268–274

[33]

Wang S, Wang Z, Li W, Fan L, Cui G, Wei Z, and Yongjian G Quantum circuits design for evaluating transcendental functions based on a function-value binary expansion method Quantum Inf Process 2020 19 10 347

[34]

Wille R, Fowler A, Naveh Y (2018) Computer-aided design for quantum computation. In: 2018 IEEE/ACM international conference on computer-aided design (ICCAD), pp 1–6

[35]

Genç HH, Aydın S, Erdal H (2020) Design of virtual reality browser platform for programming of quantum computers via vr headsets. In: 2020 International congress on human-computer interaction, optimization and robotic applications (HORA), pp 1–5

[36]

Bandic M, Zarein H, Alarcon E, Almudever CG (2020) On structured design space exploration for mapping of quantum algorithms. In: 2020 XXXV conference on design of circuits and integrated systems (DCIS), pp 1–6

[37]

Zhou X, Li S, and Feng Y Quantum circuit transformation based on simulated annealing and heuristic search IEEE Trans Comput Aided Des Integr Circuits Syst 2020 39 12 4683-4694

[38]

Thompson N, Steck J, Behrman E (2020) A non-algorithmic approach to programming quantum computers via machine learning. In: 2020 IEEE international conference on quantum computing and engineering (QCE), pp 63–71

[39]

Wecker D, Svore KM (2014) Liqui: a software design architecture and domain-specific language for quantum computing. arxiv: abs/1402.4467

[40]

Chancellor N, Cumming R, Thomas T (2020) Toward a standardized methodology for constructing quantum computing use cases. arxiv: 2006.05846v1

[41]

Weder B, Breitenbücher U, Leymann F, Wild K (2020) Integrating quantum computing into workflow modeling and execution. In: 2020 IEEE/ACM 13th international conference on utility and cloud computing (UCC), pp 279–291

[42]

Weder B (2021) Quantme-quantum4bpmn, UST-QuAntiL. https://github.com/UST-QuAntiL/QuantME-Quantum4BPMN

[43]

Exman I, Shmilovich AT (2021) Quantum software models: the density matrix for classical and quantum software systems design. arxiv: 2103.13755v1

[44]

Ali S, Yue T (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, pp 14–21

[45]

Pérez-Castillo R, Jiménez-Navajas L, Piattini M (2021) Modelling quantum circuits with uml. In: 2021 IEEE/ACM 2nd international workshop on quantum software engineering (Q-SE), pp 7–12

[46]

ISO/IEC/IEEE (2017) International standard-systems and software engineering-vocabulary. ISO/IEC/IEEE 24765:2017(E), pp 1–541

[47]

Ralph P, Wand Y (2009) A proposal for a formal definition of the design concept. In: Design requirements engineering: a ten-year perspective, Springer, Berlin, pp 103–136

[48]

Lange CFJ, Chaudron MRV, and Muskens J In practice: Uml software architecture and design description IEEE Softw 2006 23 2 40-46

[49]

Gamma E (2002) Design patterns—ten years later, Springer, Berlin, pp 688–700

[50]

Gemeinhardt F, Garmendia A, Wimmer M (2021) Modelling quantum circuits with uml. In: Second international workshop on quantum software engineering (Q-SE 2021), IEEE Computer Society

[51]

OMG (2016) Meta object facility (MOF

^{TM}

) version 2.5.1, The Object Management Group. https://www.omg.org/spec/MOF/2.5.1/PDF

[52]

Medvidovic N, Rosenblum DS, Redmiles DF, and Robbins JE Modeling software architectures in the unified modeling language ACM Trans Softw Eng Methodol 2002 11 1 2-57

[53]

Pérez-Castillo R (2021) Quantum uml profile repository. https://github.com/ricpdc/quml

[54]

Pérez-Castillo R (2022) Example of application of quantum uml profile—pricing european call options. https://github.com/ricpdc/quml-example

[55]

Alarcos RG (2022) Pricing European call options app. http://alarcosj.esi.uclm.es:8080/

[56]

QisKit (2021) Pricing European call options. https://qiskit.org/documentation/finance/tutorials/03_european_call_option_pricing.html

[57]

Woerner S and Egger DJ Quantum risk analysis NPJ Quantum Inf 2019 5 1 15

[58]

Stamatopoulos N, Egger DJ, Sun Y, Zoufal C, Iten R, Shen N, and Woerner S Option pricing using quantum computers Quantum Open J Quantum Sci 2020 4 291

[59]

Jacobson I, Booch G, Rumbaugh J (1999) The unified software development process, 1st edn, Addison-Wesley

Cited By

Baczyk MPérez-Castillo RPiattini M(2024)Patterns for Quantum Software EngineeringProceedings of Recent Advances in Quantum Computing and Technology10.1145/3665870.3665871(1-6)Online publication date: 19-Jun-2024
https://dl.acm.org/doi/10.1145/3665870.3665871
Ishikawa FSaito S(2024)Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid SystemsCompanion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming10.1145/3660829.3660849(118-125)Online publication date: 11-Mar-2024
https://dl.acm.org/doi/10.1145/3660829.3660849
Bonilla JMoguel EGarcía-Alonso JCanal C(2023)Integration of Classical and Quantum Services Using an Enterprise Service BusProduct-Focused Software Process Improvement10.1007/978-3-031-49269-3_11(107-118)Online publication date: 11-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-49269-3_11

Index Terms

Design of classical-quantum systems with UML
1. Software and its engineering

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

Recommendations

Quantum Software Engineering: Roadmap and Challenges Ahead
As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective —key qualities of any industry-grade software— mature software engineering ...
A classical leash for a quantum system: command of quantum systems via rigidity of CHSH games
ITCS '13: Proceedings of the 4th conference on Innovations in Theoretical Computer Science

Can a classical experimentalist command an untrusted quantum system to realize arbitrary quantum dynamics, aborting if it misbehaves? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to ...
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 Computing

Computing Volume 104, Issue 11

Nov 2022

189 pages

ISSN:0010-485X

Issue’s Table of Contents

© The Author(s) 2022.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 November 2022

Accepted: 05 May 2022

Received: 28 September 2021

Author Tags

Author Tags

Qualifiers

Research-article

Funding Sources

Ministerio de Ciencia e Innovación
Centre for Industrial Technological Development

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Baczyk MPérez-Castillo RPiattini M(2024)Patterns for Quantum Software EngineeringProceedings of Recent Advances in Quantum Computing and Technology10.1145/3665870.3665871(1-6)Online publication date: 19-Jun-2024
https://dl.acm.org/doi/10.1145/3665870.3665871
Ishikawa FSaito S(2024)Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid SystemsCompanion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming10.1145/3660829.3660849(118-125)Online publication date: 11-Mar-2024
https://dl.acm.org/doi/10.1145/3660829.3660849
Bonilla JMoguel EGarcía-Alonso JCanal C(2023)Integration of Classical and Quantum Services Using an Enterprise Service BusProduct-Focused Software Process Improvement10.1007/978-3-031-49269-3_11(107-118)Online publication date: 11-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-49269-3_11

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents