paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated capacity analysis of limitation-aware microservices architectures

限制感知微服务架构的自动化容量分析
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10 · 论文聚焦于限制感知微服务架构的容量分析、形式化描述与领域建模,与用户关注的 PL/AI 交叉、静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关联;仅在“形式化描述与自动化分析”层面有非常宽泛的方法论交集,但问题域差异很大。引用 2 inbox
Rafael Fresno-Aranda
crossref: 2026-09-12

AI 速览

一句话:提出自动化框架,依据内部拓扑与外部定价计划的形式化描述分析限制感知微服务架构的容量。

API经济的兴起形成了带定价计划与容量限制的公共API生态。现代Web应用常采用微服务架构(MSA),服务间通过RESTful等公共API通信;当MSA消费带限制的外部API时,这类架构称为限制感知微服务架构(LAMA),其容量会受到这些限制影响,因此需要分析限制对整体容量的冲击。该博士论文旨在提出一个自动化框架,输入LAMA内部拓扑与外部定价计划的形式化描述,输出容量分析结果,并支持一类分析操作,从模型提取有助于开发者构建和调整LAMA的有用信息。摘要未给出具体实现与实验评估。

问题
微服务架构消费带容量限制和定价计划的外部API时,如何分析这些限制对整体容量的影响。
方法
提出自动化框架,以LAMA内部拓扑和外部定价计划的形式化描述为输入,求解面向容量分析的操作。
评估
摘要仅说明框架用于求解分析操作以帮助开发者构建LAMA,未给出具体实现、案例或实验评估。
原文摘要(Abstract)

Over the last years, the concept of API economy has fostered the creation of an ecosystem of public APIs used as business elements. These APIs include various pricing plans, which allow developers to consume an API for a specific price and under certain conditions. These conditions include capacity limits, a.k.a. limitations, that limit the usage of the API. Additionally, modern web applications are usually based on a microservices architecture (MSA), in which multiple services communicate with each other through public APIs using a standardized paradigm, commonly RESTful. When an MSA consumes external APIs with limitations, it is necessary to analyse the impact of these limitations in its capacity. These MSAs are known as Limitation-Aware Microservices Architecture (LAMA). This PhD dissertation aims to provide an automated framework to analyse the capacity of a LAMA given the formal description of its internal topology and the external pricing plans. This framework would be used to solve analysis operations, which deal with the extraction of useful information that helps developers build their LAMAs.

链接与引用

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

BibTeX
@inproceedings{paperbot7129,
  title = {Automated capacity analysis of limitation-aware microservices architectures},
  author = {Rafael Fresno-Aranda},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3558905}
}