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.

中文翻译：

---

迈向量子软件建模语言

我们制定了量子软件建模语言背后的原则。我们为著名的统一建模语言 (UML) 提供了一组最小的扩展，使其能够有效地对量子软件进行建模。这些扩展是独立的，并且作为一个整体独立于 UML。因此，它们可用于扩展任何其他软件建模语言，或作为全新语言的基础。我们认为，这些扩展对于抽象地建模任何量子软件既是必要的，也是充分的。最后，我们提供了一小组示例来展示扩展集的有效性。