paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multi-Location Software Model Completion

多位置软件模型补全
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 论文属于模型驱动工程中的软件模型补全,使用神经网络与注意力机制预测多位置模型演化修改,与您的核心方向(静态分析、Agentic 程序、浮点/贝叶斯程序分析及其与 LLM 的交叉)几乎没有直接交集。虽涉及机器学习与程序语言的交叉,但更偏 MDE/软件演化,且未使用 LLM/Agent 或形式化静态分析。引用 1 inbox
Alisa Welter, Christof Tinnes, Sven Apel
crossref: 2026-09-12

AI 速览

一句话:提出首个多位置软件模型补全方法 NextFocus,用全局嵌入与注意力预测跨位置的协同修改,Precision@k 达 0.98。

软件模型是模型驱动工程的关键制品,常因演化、重构和维护经历大量修改。现有基于 LLM 的软件模型补全方法仅支持单位置补全,难以处理大型复杂模型中跨位置的协同修改。本文提出全局嵌入式下一焦点预测器 NextFocus,首次实现多位置模型补全。它使用带注意力机制的神经网络,在历史软件模型演化数据上训练,从已有变更出发预测后续需修改的模型元素,这些元素可分布在不同位置。作者在真实项目开发者实际执行的多位置模型变更上评估,即使变更高度分散,NextFocus 仍在 k≤10 时达到平均 Precision@k 0.98,显著优于三个基线方法。

问题
现有软件模型补全研究只支持单位置预测,无法应对大型复杂模型中跨多个位置的协同变更。
方法
提出 NextFocus,一种基于全局嵌入的下一焦点预测器;它用带注意力机制的神经网络在历史模型演化数据上训练,从已有变更预测后续需修改的模型元素。
评估
在真实项目开发者实际执行的多位置模型变更上评估;k≤10 时平均 Precision@k 为 0.98,显著优于三个基线。
原文摘要(Abstract)

In model-driven engineering and beyond, software models are key development artifacts. In practice, they often grow to substantial size and complexity, undergoing thousands of modifications over time due to evolution, refactoring, and maintenance. The rise of AI has sparked interest in how software modeling activities can be automated. Recently, LLM-based approaches for software model completion have been proposed, however, the state of the art supports only single-location model completion by predicting changes at a specific location. Going beyond, we aim to bridge the gap toward handling coordinated changes that span multiple locations across large, complex models. Specifically, we propose a novel global embedding-based next focus predictor, NextFocus, which is capable of multi-location model completion for the first time. The predictor consists of a neural network with an attention mechanism that is trained on historical software model evolution data. Starting from an existing change, it predicts further model elements to change, potentially spanning multiple parts of the model. We evaluate our approach on multi-location model changes that have actually been performed by developers in real-world projects. NextFocus achieves promising results for multi-location model completion, even when changes are heavily spread across the model. It achievesan average Precision@k score of 0.98 for k ≤ 10, significantly outperforming the three baseline approaches.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11916,
  title = {Multi-Location Software Model Completion},
  author = {Alisa Welter and Christof Tinnes and Sven Apel},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3787798}
}