范TY -的盟戴盟——陈郝盟——羌族,镇坪盟——梁、Zhihong盟——黄、Bi AU -王,Leiguang PY - 2020 DA - 2020/03/31 TI -自动分析复杂的交互Microservice系统中SP - 2128793六世- 2020 AB -交互Microservice系统是复杂的三维空间:大量的异步交互,异步通信的多样性,无限的缓冲区。这种复杂的交互分析是具有挑战性的。在本文中,我们提出一个方法的交互分析使用模型检查技术,这是支持的流程分析工具包(PAT)工具。首先,我们使用标签转换系统(lts)模型交互行为microservice系统下的发送行为序列同步和异步通信。其次,我们引入一个概念叫做“交互稳健”的正确性,被认为是最小microservice系统要求。第三,我们提出一个编码的lts CSP #过程代数自动验证的属性交互合理性。实验结果表明,我们的方法可以自动、有效地识别交互microservice系统故障。SN - 1076 - 2787你——https://doi.org/10.1155/2020/2128793——10.1155 / 2020/2128793 JF - PB - Hindawi KW - ER -复杂性