Waseem, Muhammad and Mikkonen, Tommi and Ahmad, Aakash and Khan, Muhammad Taimoor and Haghparast, Majid and Stirbu, Vlad and Liang, Peng (2024) QADL: Prototype of Quantum Architecture Description Language. Other. Arxiv.
Full text not available from this repository.Abstract
Quantum Software (QSW) aims to exploit the principles of quantum mechanics – programming quantum bits (qubits) that manipulate quantum gates (qugates) – to implement quantum computing systems. QSW has emerged as a quantum-specific genre of software-intensive systems, requiring notations, languages, patterns, and tools, etc., for mapping the operations of qubits and the structure of qugates to components and connectors of QSW architectures. To support the declarative modelling of QSW, we seek to enable architecture-centric development where software engineers can model, program, and evaluate quantum software systems by abstracting away implementation details through high-level components and connectors. In particular, we propose the specification and present a prototype for QADL – Quantum Architecture Description Language – providing a specification language, design space, and execution environment to architect QSW. Inspired by classical ADLs, QADL provides (I) a graphical interface to specify and design QSW components, (ii) a parser for syntactical correctness of the components, and (iii) execution by integrating QADL with IBM Qiskit. The preliminary evaluation of QADL is based on usability analysis by a team of quantum physicists and software engineers, using quantum algorithms such as Quantum Teleportation and Grover’s Search. QADL is a pioneering effort, complementing existing research and development on classical ADLs, to offer a specification language and design environment dedicated to architecting QSW. A demo is available at https://youtu.be/xaplHH 3NtQ