用UML模拟量子电路
Modelling Quantum Circuits with UML
摘要：
没有量子软件，任何想象中的量子计算应用都不会成为现实。迄今为止，量子程序都是用特别技术编码的。因此，量子软件工程领域的研究人员现在需要更系统的技术和方法来生产具有足够质量的软件。经典软件工程的挑战和教训之一是需要高层次的、抽象的和技术无关的表示，在编码之前用它来设计软件。本文专门针对量子软件设计的这一挑战。由于UML是一个行之有效的建模语言，已被广泛采用的行业有一段时间，我们提出了一个UML扩展量子算法的表示。我们的建议包括基于各种定型的UML配置文件的定义，可以应用于现有的UML活动图，以表示量子电路。这种表示的优点是，UML量子电路可以与其他UML元素和图相互关联，这将使其有可能表示所谓的混合信息系统的各种关注点和观点。因此，这将使经典和量子方面在集成设计中以技术不可知的方式一起建模，这种方式已经得到相当数量的现有软件设计工具的支持。
英文摘要：
None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are, therefore, now demanding more systematic techniques and methods with which to produce software with sufficient quality. One of the challenges and lessons learned from classic software engineering is the need for high-level, abstract and technology-independent representations with which to design software before it is coded. This paper specifically addresses this challenge for quantum software design. Since UML is a well-proven modelling language that has been widely employed by industry for some time, we propose a UML extension for the representation of quantum algorithms. Our proposal comprises the definition of a UML profile based on various stereotypes that can be applied to the existing UML activity diagrams in order to represent quantum circuits. The advantage of this representation is that UML quantum circuits can be interrelated with other UML elements and diagrams, which will make it possible to represent various concerns and viewpoints of the so-called hybrid information systems. This will consequently enable classical and quantum aspects to be modelled together in integrated designs in a technological-agnostic manner that is already supported by a considerable number of existing software design tools.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
