4.7 Article

Engineering the development of quantum programs: Application to the Boolean satisfiability problem

期刊

ADVANCES IN ENGINEERING SOFTWARE
卷 173, 期 -, 页码 -

出版社

ELSEVIER SCI LTD
DOI: 10.1016/j.advengsoft.2022.103216

关键词

Quantum computing; Model-driven engineering; Boolean satisfiability

向作者/读者索取更多资源

The development of quantum programs has become reality as a result of rapid advances in quantum computing. This paper introduces a systematic approach using Model-Driven Engineering techniques to simplify the generation of quantum programs for solving the satisfiability problem. A metamodel for representing quantum circuits and a model-to-text transformation for generating IBM Qiskit code are proposed. Formulas for calculating the number of required quantum elements from SAT equations are also provided, which is crucial given the current limited quantum resources.
The development of quantum programs is becoming a reality due to the rapid advancement of quantum computing. Over the past few years, a multitude of hardware platforms, algorithms, and programming languages have emerged to support this paradigm. By the very nature of Quantum Mechanics principles, there is an enormous change of philosophy when building quantum programs, which operate in a probabilistic space, unlike the deterministic behaviour shown by classical programming languages. These conceptual differences can be overcome by using techniques and tools of Software Engineering. In this paper, we apply Model-Driven Engineering techniques in a systematic way to ease the generation of quantum programs and we apply it to solve the satisfiability problem, very important in many engineering domains like verification of discrete systems and test of integrated circuits. To that aim, we contribute with a metamodel for representing quantum circuits and a model-to-text transformation to generate working IBM Qiskit code. This model-driven infrastructure is employed to automatically generate quantum programs from SAT equations through a model-to-model transformation that embeds Grover's algorithm. Besides, we provide formulas for calculating the number of required quantum elements from SAT equations, crucial in the current context of limited quantum resources. The interoperability with other tools and the extensibility to target additional quantum platforms is guaranteed thanks to the use of a model-based toolchain. We cover several usage scenarios to validate the approach, providing exemplary SAT equations, the generated Qiskit code and the results of executing this code in IBM Quantum infrastructure.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.7
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据