paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Lifecycle-Aware GenAI Assistance with MCP via Context Refinement Loops: A Reference Architecture

通过上下文精化循环与 MCP 实现生命周期感知的 GenAI 辅助:一个参考架构
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10 · 论文提出基于 MCP 的 GenAI 辅助软件生命周期参考架构,涉及 Agent/工具使用与开发者工具,但与画像核心的静态分析、形式化验证、浮点程序分析或贝叶斯程序分析没有直接关联,且属于设计型架构而非带 benchmark 的实现研究。引用 0 inbox
Omar Elsisi, Fabio De Abreu Santos, Glaucia Melo
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出基于 MCP 的 DevCoach 参考架构,用两个上下文精化循环让 GenAI 辅助具备生命周期感知、可治理与可审查性。

GenAI 在软件密集型企业中的快速、无结构化采用带来社会技术挑战:它加速个体任务,却因跨 SDLC 的协调、验证与治理开销抵消收益。本文提出基于模型上下文协议(MCP)的参考架构 DevCoach,使 GenAI 辅助更具生命周期感知、可治理与可审查。它把模型输出视为提案而非权威动作,将生成与生命周期范围内的检索、有界工具调用、确定性验证及带溯源的审计产物耦合。核心机制是两个上下文精化循环(CRL):CRL1 把用户意图稳定为显式检索契约,CRL2 执行有界检索、证据验证与溯源构建,产出经验证的上下文包。贡献偏架构与设计,非基准实现研究,从而把 GenAI 集成重构为软件工程设计与治理问题,而非提示词级优化。

问题
组织级采用 GenAI 虽能加速单个开发任务,却引入跨软件开发生命周期的协调、验证与治理开销,抵消其收益,且缺乏生命周期感知、可治理与可审查的集成方式。
方法
提出基于 MCP 的参考架构 DevCoach:将模型输出视为提案,结合生命周期范围检索、有界工具使用、确定性验证与带溯源的审计产物,并以 CRL1(意图→检索契约)与 CRL2(有界检索、证据验证、上下文包构建)两个上下文精化循环为核心机制。
评估
本文为架构与设计导向的贡献,通过参考架构与机制论证说明设计合理性,而非基准化的实现评估研究。
原文摘要(Abstract)

The rapid, often unstructured adoption of Generative AI (GenAI) in software-intensive organizations creates a socio-technical challenge. While GenAI can accelerate individual tasks, these gains are often offset by added coordination, verification, and governance effort across the software development lifecycle (SDLC). This paper presents DevCoach as a reference architecture built on the Model Context Protocol (MCP) to make GenAI assistance more lifecycle-aware, governable, and inspectable in organizational settings. DevCoach treats model outputs as proposals rather than authoritative actions, and couples generation to lifecycle-scoped retrieval, bounded tool use, deterministic validation, and provenance-linked audit artifacts. Its core mechanism is two Context Refinement Loops (CRLs): CRL 1 stabilizes user intent into an explicit retrieval contract, and CRL 2 performs bounded retrieval, evidence verification, and provenance construction to produce a verified context pack. The contribution is therefore architectural and design-oriented rather than a benchmarked implementation study. In this way, the paper reframes GenAI integration as a software engineering design and governance problem rather than a prompt-level optimization problem.

链接与引用

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

BibTeX
@inproceedings{ElsisiSM26,
  title = {Lifecycle-Aware GenAI Assistance with MCP via Context Refinement Loops: A Reference Architecture},
  author = {Omar Elsisi and Fabio De Abreu Santos and Glaucia Melo},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805617}
}