paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Analyzing Evolution of Microservice-based Systems

分析微服务系统的演化
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 论文属于静态分析工具与工程落地,和用户对程序分析的兴趣有一般性重叠;但研究对象是微服务演化中的破坏性变更与反模式,未涉及 ML/Agentic 程序、LLM 与静态分析交叉、浮点程序分析或贝叶斯程序分析等核心方向。引用 4 inbox
Tomas Cerny, Gabriel Goulis, Samanta Perry, Malia Edmonds, Amr S. Abdelfattah, Matteo Esposito, Alexander Bakhtin, Valentina Lenarduzzi, Davide Taibi
crossref: 2026-09-12

AI 速览

一句话:提出基于 AST 的分布式微服务代码库静态分析工具,用于检测演化中的破坏性变更与反模式。

微服务架构将应用组织为松耦合、可独立部署的服务,但不同团队维护的服务之间仍存在依赖。当某个微服务的代码发生变更时,可能影响其他服务并在部署时引发破坏,削弱分布式演化过程中的韧性与稳定性;目前缺乏缓解破坏性变更的有效机制。本文介绍的工具面向微服务典型的组件化开发,通过健壮的 AST 解析对分布式代码库进行静态分析,采用统一中间表示和可复用搜索规则,以检测破坏性变更与反模式。当前演示聚焦 Java,并提供网站与视频教程,邀请社区扩展平台支持。

问题
微服务系统演化缺乏最佳实践,跨服务依赖使代码变更可能破坏其他服务,影响分布式演化中的韧性与稳定性,且缺乏有效机制缓解破坏性变更。
方法
该工具对分布式代码库进行基于 AST 的静态分析,针对微服务的组件化开发定制解析,并提供统一中间表示和可复用搜索规则,以检测破坏性变更与反模式。
评估
目前以 Java 平台进行工具演示,提供网站和视频教程,并邀请社区扩展平台支持;摘要未报告定量评估。
原文摘要(Abstract)

Most leading technology companies are already on the cloud and continue investing in cloud-native systems built on microservices. Despite the trajectory, we lack guidance and best practices when coping with the evolvability of microservice-based systems. In a microservice architecture, applications are structured as a collection of loosely coupled, independently deployable services, each responsible for a specific functionality. However, despite the isolated microservice codebases managed by distinct teams, dependencies exist across microservices. When changes to the microservice code are made, we risk impacting other services with the potential for breakage when these get deployed. This compromises resilience and undermines stability throughout the distributed evolution. Unfortunately, we lack effective mechanisms to mitigate breaking changes when they are introduced. Our tool performs a comprehensive distributed codebase analysis based on robust AST-parsing tailored to component-based development typical for microservices. Such state-of-the-art static analysis is a promising instrument to effectively detect breaking changes or anti-patterns. Given the plethora of platforms, our demonstration focuses on Java and invites contributors to broaden platform support, offering unified intermediate representation to facilitate analysis with reusable search rules. Website: cloudhubs.github.io/cimet/|Video tutorial: youtu.be/mKWueuln_80

链接与引用

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

BibTeX
@inproceedings{paperbot8943,
  title = {Analyzing Evolution of Microservice-based Systems},
  author = {Tomas Cerny and Gabriel Goulis and Samanta Perry and Malia Edmonds and Amr S. Abdelfattah and Matteo Esposito and Alexander Bakhtin and Valentina Lenarduzzi and Davide Taibi},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728575}
}