QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development

Abstract

This paper introduces QuanUML, an extension of the Unified Modeling Language (UML) tailored for quantum software systems. QuanUML integrates quantum-specific constructs, such as qubits and quantum gates, into the UML framework, enabling the modeling of both quantum and hybrid quantum-classical systems. We apply QuanUML to Efficient Long-Range Entanglement using Dynamic Circuits and Shor's Algorithm, demonstrating its utility in designing and visualizing quantum algorithms. Our approach supports model-driven development of quantum software and offers a structured framework for quantum software design. We also highlight its advantages over existing methods and discuss future improvements.

arXiv commentA short version of the paper will be appeared in the proceedings of the IEEE Computers, Software, and Applications Conference (COMPSAC 2025) on July 8-11, 2025