Research on the Realizability of Microservice Interaction Contract Based on CSP

Microservice Architecture is a new development paradigm that transforms the traditional business-oriented information management system into the collaborative work of microservices. Microservices are usually distributed in a loosely coupled manner in the network. In order to coordinate tasks, micros...

Full description

Saved in:
Bibliographic Details
Published in2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) Vol. 2; pp. 622 - 627
Main Authors Wu, Ruiqiong, Duan, Qing, Dai, Fei, Yang, Hongji, Zhang, Yi, Xie, Biseng
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2019
Subjects
Analytical models
Asynchronous communication
Contracts
CSP
Interaction contract
Maintenance engineering
Microservice
Model verification
Reactive power
Realizability
Receivers
Online AccessGet full text

Cover

More Information
Summary:Microservice Architecture is a new development paradigm that transforms the traditional business-oriented information management system into the collaborative work of microservices. Microservices are usually distributed in a loosely coupled manner in the network. In order to coordinate tasks, microservices must coordinate their executions through message interactions with each other. Therefore, modeling and analyzing the interaction between microservices becomes a key issue. The choreography defines the interaction contract between services, and the realizability analysis is the key task to ensure the correct implementation of the microservices interaction contract. The choreography is realizable if interaction contract satisfies choreography specification. This paper use CSP# to analyze the realizability of microservice choreography under synchronous communication and bounded asynchronous communication, and a solution is proposed to repair the unrealizable microservice choreography and made it realizable.
ISBN:9781728126074
172812607X
DOI:10.1109/COMPSAC.2019.10277