paperbot · PL 论文追踪

全部论文 待读 收藏

P2 End-to-End Rationale Reconstruction

端到端设计理据重建
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 论文关注用ML/NLP从软件制品中重建设计决策及其理据,属于软件工程/开发者工具方向,与用户核心的静态分析、Agentic程序、LLM辅助形式化验证、浮点程序分析和贝叶斯程序分析几乎没有直接交集。仅因涉及ML与程序语言/软件制品的交叉而有一点弱相关,但不是用户正在追的问题。引用 5 inbox
Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis
crossref: 2026-09-12

AI 速览

一句话:提出基于 ML/NLP 的上下文无关方法 Kantara,从软件制品端到端重建设计决策及其理据的知识图谱。

设计决策背后的逻辑即设计理据,具有重要价值,但已有自动提取与利用技术多局限于特定上下文,且缺乏端到端管线。本文提出 Kantara,一种上下文无关的端到端理据重建方法,借助多种机器学习与自然语言处理技术,将决策及其理据表示为知识图谱,并兼顾其历史演化与可追溯性;同时提出验证机制以保证抽取信息的正确性与开发过程的一致性。作者在 Linux 内核的小型示例上进行了初步评估,结果显示出良好前景。

问题
设计理据的自动提取与利用已有方法仅适用于特定上下文,尚缺乏端到端的信息提取管线。
方法
提出 Kantara,用 ML/NLP 技术从软件制品中抽取决策与理据,生成兼顾历史演化和可追溯性的知识图谱,并设计验证机制。
评估
在 Linux 内核的小型示例上进行初步评估,结果显示出良好前景。
原文摘要(Abstract)

The logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there is insufficient progress on an end-to-end rationale information extraction pipeline. Here we outline a path towards such a pipeline that leverages several Machine Learning (ML) and Natural Language Processing (NLP) techniques. Our proposed context-independent approach, called Kantara, produces a knowledge graph representation of decisions and of their rationales, which considers their historical evolution and traceability. We also propose validation mechanisms to ensure the correctness of the extracted information and the coherence of the development process. We conducted a preliminary evaluation of our proposed approach on a small example sourced from the Linux Kernel, which shows promising results.

链接与引用

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

BibTeX
@inproceedings{paperbot7198,
  title = {End-to-End Rationale Reconstruction},
  author = {Mouna Dhaouadi and Bentley James Oakes and Michalis Famelis},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559547}
}