Automatic Analysis of Complex Interactions in Microservice Systems
Joint Authors
Qiang, Zhenping
Dai, Fei
Chen, Hao
Liang, Zhihong
Huang, Bi
Wang, Leiguang
Source
Issue
Vol. 2020, Issue 2020 (31 Dec. 2020), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2020-03-31
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Dai, Fei& Chen, Hao& Qiang, Zhenping& Liang, Zhihong& Huang, Bi& Wang, Leiguang. 2020. Automatic Analysis of Complex Interactions in Microservice Systems. Complexity،Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1140870
Modern Language Association (MLA)
Dai, Fei…[et al.]. Automatic Analysis of Complex Interactions in Microservice Systems. Complexity No. 2020 (2020), pp.1-12.
https://search.emarefa.net/detail/BIM-1140870
American Medical Association (AMA)
Dai, Fei& Chen, Hao& Qiang, Zhenping& Liang, Zhihong& Huang, Bi& Wang, Leiguang. Automatic Analysis of Complex Interactions in Microservice Systems. Complexity. 2020. Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1140870
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1140870