论文标题
迈向量子软件建模语言
Towards a Quantum Software Modeling Language
论文作者
论文摘要
我们设置了量子软件建模语言背后的原理。我们向众所周知的统一建模语言（UML）提供了一组最小的扩展，使其可以有效地对量子软件进行建模。这些扩展是分开的，并且独立于整个UML。因此，它们可用于扩展任何其他软件建模语言，也可以作为全新语言的基础。我们认为，这些扩展是必要的，足以抽象地建模任何量子软件。最后，我们提供了一小部分示例，以展示扩展集的有效性。
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.
