paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Pattern-Based Generation and Adaptation of Quantum Workflows

基于模式的量子工作流生成与适配
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 1/10 · 该论文研究量子工作流的模式化生成与适配,属于量子计算与领域建模/DSL方向,与用户关注的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析等核心问题基本无关。仅在“编程语言与建模”层面有非常间接的关联。引用 0 inbox
Martin Beisel, Johanna Barzen, Frank Leymann, Lavinia Stiliadou, Daniel Vietz, Benjamin Weder
crossref: 2026-09-12

AI 速览

一句话:利用量子计算模式自动生成与适配量子工作流,降低手工建模异构软件工件的复杂度。

构建量子应用需要量子计算与软件工程的深厚知识,因此需要抽象层来降低非专家的使用门槛。模式是描述重复出现问题之已验证解决方案的成熟概念,量子计算模式可用于定义混合量子应用的构件与结构,并将具体软件工件关联到模式。然而这些工件通常异构,量子工作流虽能实现其鲁棒、可扩展编排,但手工建模与配置复杂、易错且耗时。本文提出一种利用量子计算模式自动生成与适配量子工作流的方法,给出了实现架构和相应原型,并通过多个用例、运行时间对比和用户研究进行评估。

问题
手工建模和配置由异构软件工件组成的量子工作流复杂、易错且耗时,非专家难以构建量子应用。
方法
基于量子计算模式定义量子应用的构件与结构,并将具体软件工件与模式关联,提出自动化生成与适配量子工作流的方法,给出实现架构和原型。
评估
通过多个用例、运行时间对比以及用户研究对提出的方法进行评估。
原文摘要(Abstract)

Building quantum applications requires deep knowledge of quantum computing and software engineering. Hence, an abstraction layer reducing the complexity for non-experts is needed. Patterns are an established concept for the abstract description of proven solutions to recurring problems. Therefore, the quantum computing patterns, a pattern language for the quantum computing domain, can be used to define the building blocks and the structure of hybrid quantum applications. Furthermore, concrete software artifacts can be associated with patterns to solve the corresponding problem. However, these software artifacts are usually heterogeneous, e.g., using different data formats. Quantum workflows enable a robust and scalable orchestration of these heterogeneous software artifacts. However, manually modeling and configuring such quantum workflows is a complex, error-prone, and time-consuming task. To overcome this issue, we present an approach that automates the generation and adaptation of quantum workflows using the quantum computing patterns. We provide an architecture realizing our approach, a corresponding prototype, as well as an evaluation comprising different use cases, a runtime comparison, and a user study.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8707,
  title = {Pattern-Based Generation and Adaptation of Quantum Workflows},
  author = {Martin Beisel and Johanna Barzen and Frank Leymann and Lavinia Stiliadou and Daniel Vietz and Benjamin Weder},
  booktitle = {ICSE},
  year = {2025},
  doi = {10.1109/icse55347.2025.00196}
}