[论文解读] Microservices: a Language-based Approach

Claudio Guidi, Ivan Lanese+2 more|arXiv (Cornell University)|Apr 26, 2017

Software System Performance and Reliability被引用 4

一句话总结

本文倡导采用基于语言的微服务开发方法，认为通用编程语言缺乏原生的微服务组合与协调抽象。该文提出使用端口、接口和工作流等一等语言构造来建模微服务——以Jolie编程语言为例——以提升模块化程度，减少错误，并系统化地管理复杂的消息传递交互。

ABSTRACT

Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition. Instead, current practice is focused on the deployment aspects of microservices, in particular by using containerization. In this chapter, we make the case for a language-based approach to the engineering of microservice architectures, which we believe is complementary to current practice. We discuss the approach in general, and then we instantiate it in terms of the Jolie programming language.

研究动机与目标

• 解决主流编程语言在微服务开发中缺乏原生微服务组合抽象的问题。
• 将关注点从以部署为中心的实践（如容器化）转向以开发为中心的语言支持，提升微服务工程能力。
• 通过一等语言构造实现模块化、可组合且类型安全的微服务协调。
• 证明为微服务设计的编程语言能够比通用语言更清晰地表达复杂的工作流和消息交换模式。

提出的方法

• 使用一等语言构造（如端口、接口和工作流）建模微服务。
• 通过输入端口和输出端口上的接收与发送操作定义服务行为，并辅以显式接口定义。
• 使用顺序、条件、循环和并行组合等工作流构造来组织服务逻辑。
• 通过相关集（csets）实现动态消息处理，以管理多个并发客户端会话。
• 引入“provide-until”构造以建模重复性、事件驱动的交互（如购物车操作）。
• 通过将行为与部署解耦，支持运行时动态配置端口位置和协议。

实验结果

研究问题

• RQ1 编程语言如何通过一等抽象原生支持微服务的组合与协调？
• RQ2 显式接口和端口在提升微服务开发模块化程度和减少错误方面发挥什么作用？
• RQ3 与通用语言中临时实现的消息传递协调相比，基于语言的方法能否降低复杂性？
• RQ4 工作流构造（如provide-until）的集成如何提升微服务行为的表达能力？
• RQ5 Jolie这类语言在支持细粒度服务组合和运行时流程管理的同时，能在多大程度上保持清晰性和正确性？

主要发现

• Jolie语言对端口和接口提供一等支持，可清晰地指定服务契约和依赖关系。
• 使用如“provide-until”等工作流构造，可自然地建模长时运行、有状态的交互（如在线购物系统中的客户会话）。
• 相关集（csets）支持运行时管理多个并发进程，确保消息被正确路由至对应会话。
• 行为与部署的解耦使得服务端点和协议可在不修改逻辑的前提下实现动态重新配置。
• 通过显式且可组合的通信结构，该语言方法降低了由底层协调逻辑引发的错误风险。
• Jolie的设计通过将服务组合视为一等语言关注点，实现了模块化、可扩展且可维护的微服务架构。