×

自动分析微服务系统中的复杂交互。 (英语) Zbl 1435.68192号

摘要:微服务系统中的交互是复杂的,这有三个维度:大量的异步交互、异步通信的多样性和无限缓冲区。分析如此复杂的相互作用是很有挑战性的。本文提出了一种使用模型检查技术进行交互分析的方法,该方法由过程分析工具包(PAT)工具提供支持。首先,我们使用标签转换系统(LTS)将微服务系统中的交互行为建模为同步和异步通信下的发送操作序列。其次,我们引入了一个称为“交互可靠性”的正确性概念,它被视为微服务系统的最低要求。第三,我们建议将LTS编码到CSP#进程代数中,以自动验证属性交互的可靠性。实验结果表明,该方法能够自动有效地识别微服务系统中的交互故障。

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Xu,X。;刘,Q。;Luo,Y.,物联网云边缘计算的大数据计算卸载方法,未来一代计算机系统,95,522-533(2019)·doi:10.1016/j.future.2018年12月55日
[2] 齐,L。;陈,Y。;袁,Y。;傅,S。;张,X。;Xu,X.L.,一种基于QoS的云计算物理系统节能虚拟机调度方法,万维网(2019)·doi:10.1007/s11280-019-00684-y
[3] Xu,X。;薛,Y。;Qi,L.,一种支持边缘计算的计算卸载方法,用于连接车辆的互联网,未来一代计算机系统,96,89-100(2019)·doi:10.1016/j.future.2019.01.012
[4] Xu,X。;张,X。;高,H。;薛,Y。;齐,L。;Dou,W.,BeCome:移动边缘计算中物联网的基于区块链的计算卸载,IEEE工业信息学汇刊,16,6,4187-4195(2020)·doi:10.1109/tii.2019.2936869
[5] Xu,X。;他,C。;徐,Z。;齐,L。;Wan,S。;Bhuiyan,M.Z.A.,为支持边缘计算的物联网联合优化卸载实用程序和隐私,IEEE物联网杂志,1(2019)·doi:10.10109/jiot.2019.2944007
[6] Xu,X。;陈,Y。;张,X。;刘,Q。;刘,X。;Qi,L.,用于5G网络边缘计算的基于区块链的计算卸载方法,软件:实践与经验(2019)·doi:10.1002/spe.2749
[7] Heorhiadi,V。;拉贾戈帕兰,S。;Jamjoom,H。;Reiter,M.K。;Sekar,V.,Gremlin:微服务的系统弹性测试,第36届IEEE分布式计算系统国际会议论文集,ICDCS
[8] 刘易斯,J。;Fowler,M.,《微服务——这个新架构术语的定义》(2014),http://martinfowler.com/articles/microservices.html
[9] Balalaie,A。;海达努里,A。;Jamshidi,P.,《微服务架构支持DevOps:迁移到云计算架构》,IEEE Software,33,3,42-52(2016)·doi:10.1109/ms.2016.64
[10] 周,X。;彭,X。;Xie,T.,微服务系统的故障分析和调试:工业调查、基准系统和实证研究,IEEE软件工程汇刊,1(2018)·doi:10.10109次/次.2018.2887384
[11] 周,X。;彭,X。;Xie,T.,Delta调试并行优化的微服务系统,IEEE服务计算汇刊,1(2019)·doi:10.1109/tsc.2019.2919823
[12] 刘易斯,J。;Fowler,M.,《微服务:这一新架构术语的定义》(2014),http://martinfowler.com/articles/microservices.html
[13] Deb,A.,基于微服务的应用程序中的应用程序交付服务挑战(2016年),http://www.thefabricnet.com/application-delivery-servicechallenges-in-microservices-based-applications/
[14] 阿莱纳,F。;爱荷华州洛兹。,通信有限状态机的同步性不可判定,2017年第44届国际自动机、语言和编程ICALP学术讨论会论文集·Zbl 1442.68138号
[15] Fu,X。;布尔坦,T。;Su,J.,web服务间对话的同步性,IEEE软件工程学报,31,12,1042-1055(2005)·doi:10.1109/tse.2005.141
[16] 周,X。;彭,X。;Xie,T.,海报:软件工程研究的微服务系统基准测试,软件工程国际会议论文集:同伴论文集(ICSE'18)
[17] 周,X。;彭,X。;Xie,T.,Delta调试微服务系统,第33届ACM/IEEE自动化软件工程国际会议论文集
[18] 谢尔曼,G。;Schöni,D。;莱特纳,P。;Gall,H.C.,Bifrost:支持连续部署,自动制定多阶段实时测试策略,第17届国际中间件会议论文集
[19] de Camargo,A。;萨尔瓦多,I.L。;多斯桑托斯·梅洛,R。;Siqueira,F.,《自动化微服务性能测试的架构》,第18届信息集成与基于Web的应用程序和服务国际会议论文集,iiWAS 2016
[20] 莱特纳,P。;Cito,J.公司。;Stöckli,E.,基于微服务的云应用程序的部署成本建模和管理,第九届效用和云计算国际会议论文集,UCC 2016
[21] 科洛克,S。;范德沃夫,J.M.E.M。;Guelen,J.P。;Jansen,S.,微服务架构中基于工作负载的连贯特征集聚类,2017 IEEE软件架构国际会议论文集,ICSA 2017
[22] 萨尔瓦多,I.L。;哈夫,A。;多斯桑托斯·梅洛,R。;Siqueira,F.,《通过语义微服务组合发布链接数据》,《第18届信息集成与基于Web的应用程序和服务国际会议论文集》,iiWAS 2016
[23] Granchelli,G。;卡达雷利,M。;弗朗西斯科,P.D。;马拉沃尔塔,I。;艾奥维诺。;Microart,A.D.S.,维护基于微服务的系统的软件架构恢复工具,2017年IEEE软件架构研讨会国际会议记录,2017年ICSA研讨会
[24] 哈桑,S。;Bahsoon,R.,《微服务及其设计权衡:自适应路线图》,2016年IEEE服务计算国际会议论文集,SCC 2016
[25] 巴苏,S。;Bultan,T.,《通过同步性实现编舞一致性》,第20届万维网国际会议论文集
[26] 巴苏,S。;布尔坦,T。;Ouederni,M.,异步通信系统验证的可同步性,验证、模型检查和抽象解释国际研讨会论文集·Zbl 1325.68139号
[27] 巴苏,S。;Bultan,T.,《关于确定异步通信系统的同步性》,《理论计算机科学》,656,60-75(2016)·Zbl 1353.68195号 ·doi:10.1016/j.tcs.2016.09.023
[28] Sun,J。;刘,Y。;Dong,J.,《重新审视模型检查CSP:引入过程分析工具包》,2008年利用形式方法应用、验证和确认国际研讨会论文集
[29] Sun,J。;刘,Y。;Dong,J。;Chen,C.,系统建模和验证的集成规范和程序,第三届IEEE软件工程理论方面国际研讨会论文集(TASE 2009)
[30] Hoare,C.A.R.,《通信顺序过程》,计算机科学国际丛书(1985年),美国新泽西州上鞍河:普伦蒂斯·霍尔,上鞍河,新泽西州,美国·Zbl 0637.68007号
[31] 巴苏,S。;布尔坦,T。;Ouederni,M.,《决定编舞的可实现性》,ACM SIGPLAN Notices,47,1,191-202(2012)·Zbl 1321.68183号 ·doi:10.1145/2103621.2103680
[32] Fu,X。;布尔坦,T。;Su,J.,《对话协议:反应式电子服务规范和验证的形式主义》,《理论计算机科学》,328,1-2,19-37(2004)·Zbl 1071.68002号 ·doi:10.1016/j.tcs.2004.07.004
[33] Poizat,P.,《检查BPMN 2.0编舞的可实现性》,2012年ACM应用计算研讨会论文集,ACM
[34] Salaun,G。;布尔坦,T。;Roohi,N.,使用进程代数编码实现编舞,IEEE服务计算事务,5,3,290-304(2012)·doi:10.1109/tsc.2011.9
[35] Bultan,T.,网络软件交互建模,2006年网络系统自动规范和验证国际研讨会论文集,IEEE
[36] Güdemann,M。;Salaün,G。;Ouederni,M.,《可实现性实施监控器的反例引导合成》,《验证和分析自动化技术》,7561,238-253(2012)·Zbl 1374.68289号 ·数字对象标识代码:10.1007/978-3-642-33386-6_20
[37] Ouederni,M。;Salaün,G。;Bultan,T.,异步通信软件的兼容性检查,组件软件的形式方面,310-328(2013),德国柏林:施普林格,德国柏林
[38] Decker,G。;Weske,M.,交互petri网中的局部可执行性,第五届国际业务流程管理会议论文集
[39] 布尔坦,T。;克里斯·F。;Xiang,F.,《使用协作图进行编舞分析的工具》,第七届IEEE网络服务国际会议论文集(ICWS 2009)
[40] 巴苏,S。;Bultan,T.,《具有无界缓冲区的异步系统中交互的自动验证》,第29届ACM/IEEE自动化软件工程国际会议论文集ASE’14·doi:10.1145/2642937.2643016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。