Research Article
Modeling Interactions Among Microservices Communicating via FIFO or Bag Buffers
@INPROCEEDINGS{10.1007/978-3-030-72795-6_41, author={Fei Dai and Jinmei Yang and Qi Mo and Hua Zhou and Lianyong Qi}, title={Modeling Interactions Among Microservices Communicating via FIFO or Bag Buffers}, proceedings={Simulation Tools and Techniques. 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II}, proceedings_a={SIMUTOOLS PART 2}, year={2021}, month={4}, keywords={Interactions Microservice Asynchronous communication FIFO buffers Bag buffers}, doi={10.1007/978-3-030-72795-6_41} }- Fei Dai
Jinmei Yang
Qi Mo
Hua Zhou
Lianyong Qi
Year: 2021
Modeling Interactions Among Microservices Communicating via FIFO or Bag Buffers
SIMUTOOLS PART 2
Springer
DOI: 10.1007/978-3-030-72795-6_41
Abstract
Interactions among individual microservices communicating asynchronously via FIFO or bag buffers vary significantly even for the same buffer size. Different interactions among microservices will lead to different interaction behaviors, which can make microservices systems malfunction during their execution. However, these two asynchronous communication models with FIFO or bag buffers are seldom distinguished. In this paper, we present new results for the interaction differences between one asynchronous communication model with FIFO buffers and another asynchronous communication model with bag buffers. First, we propose a framework to uniformly define two asynchronous communication models. Second, we model interaction behaviors among microservices as sequences of send and receive message actions under these two asynchronous communication models. Finally, we compare these two asynchronous communication models using refinement checking to show their differences. Experimental results show that the asynchronous communication model with FIFO buffers is included in the asynchronous communication model with bag buffers.
