Automatic Analysis of Complex Interactions in Microservice Systems
Interactions in microservice systems are complex due to three dimensions: numerous asynchronous interactions, the diversity of asynchronous communication, and unbounded buffers. Analyzing such complex interactions is challenging. In this paper, we propose an approach for interaction analysis using m...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2020-01-01
|
| Series: | Complexity |
| Online Access: | http://dx.doi.org/10.1155/2020/2128793 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832563171604299776 |
|---|---|
| author | Fei Dai Hao Chen Zhenping Qiang Zhihong Liang Bi Huang Leiguang Wang |
| author_facet | Fei Dai Hao Chen Zhenping Qiang Zhihong Liang Bi Huang Leiguang Wang |
| author_sort | Fei Dai |
| collection | DOAJ |
| description | Interactions in microservice systems are complex due to three dimensions: numerous asynchronous interactions, the diversity of asynchronous communication, and unbounded buffers. Analyzing such complex interactions is challenging. In this paper, we propose an approach for interaction analysis using model checking techniques, which is supported by the Process Analysis Toolkit (PAT) tool. First, we use Labeled Transition Systems (LTSs) to model interaction behaviors in microservice systems as sequences of send actions under synchronous and asynchronous communications. Second, we introduce a notion of correctness called “interaction soundness” which is considered as a minimal requirement for microservice systems. Third, we propose an encoding of LTSs into the CSP# process algebra for automatic verification of the property interaction soundness. The experimental results show that our approach can automatically and effectively identify interaction faults in microservice systems. |
| format | Article |
| id | doaj-art-a397149821c3450ca2012adff40d8263 |
| institution | Kabale University |
| issn | 1076-2787 1099-0526 |
| language | English |
| publishDate | 2020-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Complexity |
| spelling | doaj-art-a397149821c3450ca2012adff40d82632025-02-03T01:20:47ZengWileyComplexity1076-27871099-05262020-01-01202010.1155/2020/21287932128793Automatic Analysis of Complex Interactions in Microservice SystemsFei Dai0Hao Chen1Zhenping Qiang2Zhihong Liang3Bi Huang4Leiguang Wang5School of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaSchool of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaSchool of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaSchool of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaSchool of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaSchool of Big Data and Intelligence Engineering, Southwest Forestry University, Kunming, ChinaInteractions in microservice systems are complex due to three dimensions: numerous asynchronous interactions, the diversity of asynchronous communication, and unbounded buffers. Analyzing such complex interactions is challenging. In this paper, we propose an approach for interaction analysis using model checking techniques, which is supported by the Process Analysis Toolkit (PAT) tool. First, we use Labeled Transition Systems (LTSs) to model interaction behaviors in microservice systems as sequences of send actions under synchronous and asynchronous communications. Second, we introduce a notion of correctness called “interaction soundness” which is considered as a minimal requirement for microservice systems. Third, we propose an encoding of LTSs into the CSP# process algebra for automatic verification of the property interaction soundness. The experimental results show that our approach can automatically and effectively identify interaction faults in microservice systems.http://dx.doi.org/10.1155/2020/2128793 |
| spellingShingle | Fei Dai Hao Chen Zhenping Qiang Zhihong Liang Bi Huang Leiguang Wang Automatic Analysis of Complex Interactions in Microservice Systems Complexity |
| title | Automatic Analysis of Complex Interactions in Microservice Systems |
| title_full | Automatic Analysis of Complex Interactions in Microservice Systems |
| title_fullStr | Automatic Analysis of Complex Interactions in Microservice Systems |
| title_full_unstemmed | Automatic Analysis of Complex Interactions in Microservice Systems |
| title_short | Automatic Analysis of Complex Interactions in Microservice Systems |
| title_sort | automatic analysis of complex interactions in microservice systems |
| url | http://dx.doi.org/10.1155/2020/2128793 |
| work_keys_str_mv | AT feidai automaticanalysisofcomplexinteractionsinmicroservicesystems AT haochen automaticanalysisofcomplexinteractionsinmicroservicesystems AT zhenpingqiang automaticanalysisofcomplexinteractionsinmicroservicesystems AT zhihongliang automaticanalysisofcomplexinteractionsinmicroservicesystems AT bihuang automaticanalysisofcomplexinteractionsinmicroservicesystems AT leiguangwang automaticanalysisofcomplexinteractionsinmicroservicesystems |