论文标题
基于微服务接口的部署编排
Microservice Interface Based Deployment Orchestration
论文作者
论文摘要
在先前关于基于组件的应用程序的自动部署编排的工作之后，根据满足组件接口功能依赖性的行为表达编排，我们开发了专门针对微服务架构量身定制的正式模型。我们获得的第一个结果是对微服务体系结构合成最佳部署编排的问题的可决定性，而对于基于通用组件的应用程序而言，这是不可否认的问题。因此，我们展示了如何合成最佳的部署编排以及如何通过使用此类编排来设计基于执行全局重新配置的运行时适应过程。最后，我们评估了方法在从文献中获得的现实微服务架构上的适用性。特别是，我们使用高级面向对象的概率和时机过程代数抽象行为规范（ABS）来建模此类案例研究并进行模拟。模拟的结果显示了全球重新配置W.R.T.的优势。局部适应。
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model specifically tailored for microservice architectures. The first result that we obtain is decidability of the problem of synthesizing optimal deployment orchestrations for microservice architectures, a problem that is, instead, undecidable for generic component-based applications. We, thus, show how optimal deployment orchestrations can be synthesized and how, by using such orchestrations we can devise a procedure for run-time adaptation based on performing global reconfigurations. Finally, we evaluate the applicability of our approach on a realistic microservice architecture taken from the literature. In particular, we use the high-level object-oriented probabilistic and timed process algebra Abstract Behavioural Specification (ABS) to model such a case study and to simulate it. The results of simulation show the advantages of global reconfiguration w.r.t. local adaptation.
