paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets

大语言模型驱动的软件模型演化:在模拟、公共与工业数据集上的实验
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10 · 该论文将 LLM+RAG 用于软件模型补全与演化,属于 LLM 辅助软件工程/建模,并非静态分析、形式化验证、浮点程序分析或贝叶斯程序分析等核心方向;仅有“LLM 作为工具改进 PL/SE 任务”和工业落地评估这些外围共性。引用 3 inbox
Christof Tinnes, Alisa Welter, Sven Apel
crossref: 2026-09-12

AI 速览

一句话:提出 RAMC,用大语言模型、模型历史与检索增强生成补全软件模型,支撑模型演化。

软件模型的结构与行为建模在工业软件工程中很重要,模型也需随需求演化,但为建模者推荐模型补全仍是开放问题。论文探索大语言模型在该任务上的潜力,提出 RAMC,结合大语言模型、模型历史和检索增强生成来生成补全。作者在工业应用、公共开源社区和受控模拟模型仓库三个数据集上评估。结果显示该方法有效:真实工业数据上 62.30% 的补全语义正确,类型正确补全最高达 86.19%;当概念缺少、噪声大或没有示例时,大语言模型的通用推理能力尤其有用。

问题
如何利用大语言模型为软件模型演化提供模型补全建议,仍是一个未充分解决的开放问题。
方法
提出 RAMC,结合大语言模型、模型历史与检索增强生成,为建模者生成模型补全建议。
评估
在工业应用、公共开源社区和受控模拟模型仓库三个数据集上评估补全的语义正确率与类型正确率。
原文摘要(Abstract)

Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering. As with other software engineering artifacts, software models are subject to evolution. Supporting modelers in evolving software models with recommendations for model completions is still an open problem, though. In this paper, we explore the potential of large language models for this task. In particular, we propose an approach, RAMC, leveraging large language models, model histories, and retrieval-augmented generation for model completion. Through experiments on three datasets, including an industrial application, one public open-source community dataset, and one controlled collection of simulated model repositories, we evaluate the potential of large language models for model completion with RAMC. We found that large language models are indeed a promising technology for supporting software model evolution (62.30% semantically correct completions on real-world industrial data and up to 86.19% type-correct completions). The general inference capabilities of large language models are particularly useful when dealing with concepts for which there are few, noisy, or no examples at all.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8914,
  title = {Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets},
  author = {Christof Tinnes and Alisa Welter and Sven Apel},
  booktitle = {ICSE},
  year = {2025},
  doi = {10.1109/icse55347.2025.00112}
}