量子软件建模语言
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
