Skip to main content
Kent Academic Repository

A Quantum Software Modeling Language

Pérez-Delgado, Carlos A (2022) A Quantum Software Modeling Language. In: Quantum Software Engineering. First Edition. Springer International Publishing Cham, Switzerland, pp. 103-119. ISBN 978-3-031-05323-8. E-ISBN 978-3-031-05324-5. (doi:10.1007/978-3-031-05324-5_6) (KAR id:97519)

Abstract

In this chapter we will discuss the development of a quantum software modeling language. We begin by discussing the need for a quantum-specific modelling language, and why existing 'classical' modeling languages may not be properly suited for the task of modeling quantum software. We then proceed with a discussion of the fundamental principles, or axioms, that any such modeling language should adhere to. We then present ‘Q-UML’ a quantum software modeling language based on the popular Unified modeling Language (UML). We conclude with some examples of Q-UML that showcase the expressive power of the language, as well as the importance of the aforementioned principles.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-031-05324-5_6
Uncontrolled keywords: Quantum Computation, Software Engineering, Software Modeling, UML
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Q Science > QC Physics > QC174.12 Quantum theory
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
University-wide institutes > Institute of Cyber Security for Society
Funders: Engineering and Physical Sciences Research Council (https://ror.org/0439y7842)
Depositing User: Carlos Perez Delgado
Date Deposited: 09 Nov 2022 14:24 UTC
Last Modified: 05 Nov 2024 13:02 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/97519 (The current URI for this page, for reference purposes)

University of Kent Author Information

Pérez-Delgado, Carlos A.

Creator's ORCID: https://orcid.org/0000-0003-3536-2549
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.