Towards a Quantum Software Modeling Language
This work addresses the need for a modeling language in quantum computing, but it is incremental as it builds on existing UML frameworks.
The authors tackled the problem of modeling quantum software by proposing a minimal set of extensions to the Unified Modeling Language (UML) that are necessary and sufficient for abstractly modeling any quantum software, with examples provided to showcase effectiveness.
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.