Code generation for classical-quantum software systems modelled in UML - Dataset and EGL Transformation

This dataset contains all the elements necessary for carry out the EGL transformation from UML models to Hybrid and Quantum code, as well as to carry its validation. Quantum computing is gaining an increasing interest since it can solve certain problems exponentially faster than classical computing. Thus, many organizations are researching and launching investments for integrating quantum software into their existing systems. Software modernization (as based on Model-Driven Engineering) has been proposed to migrate from/to the so-called hybrid software systems, which integrate classical and quantum software. In that process, both, reverse engineering and restructuring phases, have already been investigated. However, forward engineering phase for generating hybrid source code from high-level design models has not yet been addressed. Thus, this research proposes a quantum code generation technique from extended UML design models. It consists of a set of Model-to-Text transformations (defined through Epsilon Generation Language) to generate both Python and Qiskit code, which respectively integrate classical and quantum code. The transformation has been validated through a multi-case study with 7 hybrid software systems modelled in UML, which demonstrated that the transformation is effective and efficient. The implication of this work is that the software modernization process for hybrid software systems can be completed by tackling forward engineering phase, and that Model-Driven Engineering can therefore globally facilitate industry adoption of quantum software.本数据集包含了所有用于执行基于Epsilon生成语言（Epsilon Generation Language，EGL）的转换、将统一建模语言（UML）模型转换为混合式代码与量子代码，以及对该转换过程进行验证所需的全部要素。 量子计算正受到越来越多的关注，因其能够以指数级更快的速度解决部分经典计算机难以高效处理的问题。因此，诸多机构正开展相关研究并投入资源，将量子软件集成至其现有系统之中。基于模型驱动工程（Model-Driven Engineering）的软件现代化方案已被提出，用于在集成了经典软件与量子软件的所谓混合式软件系统之间进行迁移。在此过程中，逆向工程与重构阶段的相关研究已较为充分。然而，针对从高层设计模型生成混合式源代码的正向工程阶段，目前尚未有完善的解决方案。为此，本研究提出了一种基于扩展UML设计模型的量子代码生成技术。该技术包含一系列基于Epsilon生成语言（EGL）定义的模型到文本转换规则，可分别生成集成经典代码的Python代码与集成量子代码的Qiskit代码。本转换已通过一项包含7个UML建模混合软件系统的多案例研究进行了验证，结果表明该转换具备良好的有效性与高效性。本研究的意义在于，通过攻克正向工程阶段的难题，可完成混合式软件系统的软件现代化流程，进而使模型驱动工程能够在全球范围内助力产业界推广量子软件的应用。