Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

QADL: Prototype of Quantum Architecture Description Language

Muhammad Waseem, Tommi Mikkonen, Aakash Ahmad, Muhammad Taimoor Khan, Majid Haghparast, Vlad Stirbu, Peng Liang

TL;DR

A prototype for QADL – Quantum Architecture Description Language – providing a specification language, design space, and execution environment to architect QSW, and is based on usability analysis by a team of quantum physicists and software engineers.

Abstract

Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. QSW has become a specialized field of software development, requiring specific notations, languages, patterns, and tools for mapping the behavior of qubits and the structure of quantum gates to components and connectors of QSW architectures. To support declarative modeling of QSW, we aim to enable architecture-driven development, where software engineers can design, program, and evaluate quantum software systems by abstracting complex details through high-level components and connectors. We introduce QADL (Quantum Architecture Description Language), which provides a specification language, design space, and execution environment for architecting QSW. Inspired by classical ADLs, QADL offers (1) a graphical interface to specify and design QSW components, (2) a parser for syntactical correctness, and (3) an execution environment by integrating QADL with IBM Qiskit. The initial evaluation of QADL is based on usability assessments by a team of quantum physicists and software engineers, using quantum algorithms such as Quantum Teleportation and Grover's Search. QADL offers a pioneering specification language and environment for QSW architecture. A demo is available at https://youtu.be/xaplHH_3NtQ.

QADL: Prototype of Quantum Architecture Description Language

TL;DR

A prototype for QADL – Quantum Architecture Description Language – providing a specification language, design space, and execution environment to architect QSW, and is based on usability analysis by a team of quantum physicists and software engineers.

Abstract

Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. QSW has become a specialized field of software development, requiring specific notations, languages, patterns, and tools for mapping the behavior of qubits and the structure of quantum gates to components and connectors of QSW architectures. To support declarative modeling of QSW, we aim to enable architecture-driven development, where software engineers can design, program, and evaluate quantum software systems by abstracting complex details through high-level components and connectors. We introduce QADL (Quantum Architecture Description Language), which provides a specification language, design space, and execution environment for architecting QSW. Inspired by classical ADLs, QADL offers (1) a graphical interface to specify and design QSW components, (2) a parser for syntactical correctness, and (3) an execution environment by integrating QADL with IBM Qiskit. The initial evaluation of QADL is based on usability assessments by a team of quantum physicists and software engineers, using quantum algorithms such as Quantum Teleportation and Grover's Search. QADL offers a pioneering specification language and environment for QSW architecture. A demo is available at https://youtu.be/xaplHH_3NtQ.

Paper Structure

This paper contains 16 sections, 23 equations, 8 figures.

Table of Contents

  1. Introduction
  2. Overview
  3. Graphical User Interface
  4. Parsing
  5. Component Execution
  6. Use Case and Early Validation
  7. Quantum Teleportation
  8. Mathematical Form
  9. QADL Description and Visualization
  10. Grover's Search Algorithm
  11. Mathematical Form
  12. QADL Description and Visualization
  13. Early Validation
  14. Limitation and Future Work
  15. Related Work
  16. ...and 1 more sections

Figures (8)

  • Figure 1: Overview of QADL
  • Figure 2: QADL Graphical User Interface
  • Figure 3: Quantum Teleportation Algorithm: The steps for teleporting the state of qubit $q_1$ to qubit $q_3$ using an entangled pair and classical communication.
  • Figure 4: Quantum Teleportation Algorithm: This algorithm describes the steps required to teleport the state of qubit $q_1$ to qubit $q_3$ using an entangled pair and classical communication.
  • Figure 5: QADL Script for Quantum Teleportation
  • ...and 3 more figures