Towards a Quantum Software Modeling Language
Carlos A. Perez-Delgado, Hector G. Perez-Gonzalez
TL;DR
This paper proposes a set of extensions to UML to enable effective modeling of quantum software, providing a flexible foundation for future quantum programming language design.
Contribution
It introduces a minimal, independent extension set to UML for quantum software modeling, adaptable to other languages or new language development.
Findings
Extensions are necessary and sufficient for quantum software modeling.
Extensions can be used independently of UML or to extend other languages.
Examples demonstrate the effectiveness of the proposed extensions.
Abstract
We set down the principles behind a modeling language for quantum software. We present a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows it to effectively model quantum software. These extensions are separate and independent of UML as a whole. As such they can be used to extend any other software modeling language, or as a basis for a completely new language. We argue that these extensions are both necessary and sufficient to model, abstractly, any piece of quantum software. Finally, we provide a small set of examples that showcase the effectiveness of the extension set.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.