{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:53:21Z","timestamp":1762869201494,"version":"3.40.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1007\/s11036-023-02181-z","type":"journal-article","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T05:01:45Z","timestamp":1698037305000},"page":"1257-1272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Verifying Dubbo Using Process Algebra"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3266-0084","authenticated-orcid":false,"given":"Zhiru","family":"Hou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaqi","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phan Cong","family":"Vinh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"2181_CR1","doi-asserted-by":"crossref","unstructured":"Bao C (2022) Enterprise informatization construction and management mode feedback platform design based on dubbo architecture and concurrency computation. In: 2022 International Conference on Edge Computing and Applications (ICECAA), IEEE, pp 1521\u20131524","DOI":"10.1109\/ICECAA55415.2022.9936063"},{"key":"2181_CR2","doi-asserted-by":"crossref","unstructured":"Baptista T, Silva LB, Costa C (2021) Highly scalable medical imaging repository based on kubernetes. In: 2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), IEEE, pp 3193\u20133200","DOI":"10.1109\/BIBM52615.2021.9669559"},{"issue":"1","key":"2181_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/2080.357392","volume":"2","author":"AD Birrell","year":"1984","unstructured":"Birrell AD, Nelson BJ (1984) Implementing remote procedure calls. ACM Trans Comput Syst (TOCS) 2(1):39\u201359","journal-title":"ACM Trans Comput Syst (TOCS)"},{"key":"2181_CR4","doi-asserted-by":"crossref","unstructured":"Brewer EA (2015) Kubernetes and the path to cloud native. In: Proceedings of the sixth ACM symposium on cloud computing, pp 167\u2013167","DOI":"10.1145\/2806777.2809955"},{"key":"2181_CR5","doi-asserted-by":"crossref","unstructured":"Cao L, Sharma P (2021) Co-locating containerized workload using service mesh telemetry. In: Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies, pp 168\u2013174","DOI":"10.1145\/3485983.3494867"},{"issue":"10","key":"2181_CR6","volume":"34","author":"N Chen","year":"2022","unstructured":"Chen N, Zhu H, Yin J, Fei Y, Xiao L, Zhu M (2022) Modeling and verifying ndn-based iov using csp. Journal of Software: Evolution and Process 34(10):e2371","journal-title":"Journal of Software: Evolution and Process"},{"key":"2181_CR7","unstructured":"CNCF Cloud Native Definition v10 (2023) [Online] Available. https:\/\/github.com\/cncf\/toc\/blob\/main\/DEFINITION.md"},{"key":"2181_CR8","doi-asserted-by":"crossref","unstructured":"Dab B, Fajjari I, Rohon M, Auboin C, Diqu\u00e9lou A (2020) Cloud-native service function chaining for 5g based on network service mesh. In: ICC 2020-2020 IEEE International Conference on Communications (ICC), IEEE, pp 1\u20137","DOI":"10.1109\/ICC40277.2020.9149045"},{"issue":"1","key":"2181_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10458-020-09489-0","volume":"35","author":"S D\u00e4hling","year":"2021","unstructured":"D\u00e4hling S, Razik L, Monti A (2021) Enabling scalable and fault-tolerant multi-agent systems by utilizing cloud-native computing. Auton Agent Multi-Agent Syst 35(1):1\u201327","journal-title":"Auton Agent Multi-Agent Syst"},{"key":"2181_CR10","unstructured":"Dubbo (2023) [Online] Available. http:\/\/dubbo.apache.org"},{"key":"2181_CR11","unstructured":"Dubbo 30 forward-looking docking of Kubernetes native services (2023) [Online] Available. https:\/\/www.kubernetes.org.cn\/8852.html"},{"key":"2181_CR12","unstructured":"ETCD (2023) [Online] Available. https:\/\/etcd.io\/"},{"issue":"8","key":"2181_CR13","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Communications of the ACM 21(8):666\u2013677","journal-title":"Communications of the ACM"},{"key":"2181_CR14","doi-asserted-by":"crossref","unstructured":"Hou Z, Yin J, Zhu H (2021) Formalization and verification of dubbo using CSP. In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 -July 10, 2021, KSI Research Inc., pp 154\u2013159","DOI":"10.18293\/SEKE2021-077"},{"key":"2181_CR15","unstructured":"HSF (2023) [Online] Available. https:\/\/help.aliyun.com\/document_detail\/100087.html"},{"key":"2181_CR16","doi-asserted-by":"crossref","unstructured":"Hussain F, Li W, Noye B, Sharieh S, Ferworn A (2019) Intelligent service mesh framework for api security and management. In: 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), IEEE, pp 0735\u20130742","DOI":"10.1109\/IEMCON.2019.8936216"},{"issue":"12","key":"2181_CR17","doi-asserted-by":"crossref","first-page":"3272","DOI":"10.14778\/3415478.3415550","volume":"13","author":"X Jiang","year":"2020","unstructured":"Jiang X, Hu Y, Xiang Y, Jiang G, Jin X, Xia C, Jiang W, Yu J, Wang H, Jiang Y et al (2020) Alibaba hologres: A cloud-native service for hybrid serving\/analytical processing. Proceedings of the VLDB Endowment 13(12):3272\u20133284","journal-title":"Proceedings of the VLDB Endowment"},{"key":"2181_CR18","unstructured":"Josuttis NM (2007) SOA in practice: the art of distributed system design. \u201cO\u2019Reilly Media, Inc.\u201d"},{"key":"2181_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2017.01.001","volume":"126","author":"N Kratzke","year":"2017","unstructured":"Kratzke N, Quint PC (2017) Understanding cloud-native applications after 10 years of cloud computing-a systematic mapping study. J Syst Softw 126:1\u201316","journal-title":"J Syst Softw"},{"key":"2181_CR20","doi-asserted-by":"crossref","unstructured":"Kummert H (1998) The ppp triple-des encryption protocol (3dese). Tech. rep","DOI":"10.17487\/rfc2420"},{"issue":"12","key":"2181_CR21","doi-asserted-by":"crossref","first-page":"2263","DOI":"10.14778\/3352063.3352141","volume":"12","author":"F Li","year":"2019","unstructured":"Li F (2019) Cloud-native database systems at alibaba: Opportunities and challenges. Proceedings of the VLDB Endowment 12(12):2263\u20132272","journal-title":"Proceedings of the VLDB Endowment"},{"key":"2181_CR22","doi-asserted-by":"crossref","unstructured":"Li W, Lemieux Y, Gao J, Zhao Z, Han Y (2019) Service mesh: Challenges, state of the art, and future research opportunities. In: 2019 IEEE International Conference on Service-Oriented System Engineering (SOSE), IEEE, pp 122\u20131225","DOI":"10.1109\/SOSE.2019.00026"},{"issue":"110","key":"2181_CR23","first-page":"559","volume":"165","author":"A Liu","year":"2020","unstructured":"Liu A, Zhu H, Popovic M, Xiang S, Zhang L (2020) Formal analysis and verification of the pstm architecture using csp. J Syst Softw 165(110):559","journal-title":"J Syst Softw"},{"issue":"10","key":"2181_CR24","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G Lowe","year":"1997","unstructured":"Lowe G, Roscoe B (1997) Using csp to detect errors in the tmn protocol. IEEE Trans Softw Eng 23(10):659\u2013669","journal-title":"IEEE Trans Softw Eng"},{"key":"2181_CR25","doi-asserted-by":"crossref","unstructured":"Marchese A, Tomarchio O (2022) Extending the kubernetes platform with network-aware scheduling capabilities. In: International Conference on Service-Oriented Computing, Springer, pp 465\u2013480","DOI":"10.1007\/978-3-031-20984-0_33"},{"key":"2181_CR26","unstructured":"Merenstein A, Tarasov V, Anwar A, Bhagwat D, Lee J, Rupprecht L, Skourtis D, Yang Y, Zadok E (2021) $$\\{$$CNSBench$$\\}$$: A cloud native storage benchmark. In: 19th USENIX Conference on File and Storage Technologies (FAST 21), pp 263\u2013276"},{"key":"2181_CR27","unstructured":"Microservices (2023) [Online] Available. https:\/\/martinfowler.com\/articles\/microservices.html"},{"key":"2181_CR28","unstructured":"Motan (2023) [Online] Available. https:\/\/github.com\/weibocom\/motan"},{"key":"2181_CR29","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.sysarc.2016.12.007","volume":"73","author":"HV Netto","year":"2017","unstructured":"Netto HV, Lung LC, Correia M, Luiz AF, de Souza LMS (2017) State machine replication in containers managed by kubernetes. J Syst Archit 73:53\u201359","journal-title":"J Syst Archit"},{"key":"2181_CR30","unstructured":"PAT (2023) [Online] Available. http:\/\/pat.comp.nus.edu.sg\/"},{"key":"2181_CR31","first-page":"1","volume-title":"2019 Dynamics of Systems","author":"KY Ponomarev","year":"2019","unstructured":"Ponomarev KY (2019) Attribute-based access control in service mesh. 2019 Dynamics of Systems. Mechanisms and Machines (Dynamics), IEEE, pp 1\u20134"},{"issue":"1","key":"2181_CR32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00165-012-0251-6","volume":"25","author":"A Roscoe","year":"2013","unstructured":"Roscoe A, Huang J (2013) Checking noninterference in timed csp. Form Asp Comput 25(1):3\u201335","journal-title":"Form Asp Comput"},{"key":"2181_CR33","unstructured":"Stine M (2015) Migrating to cloud-native application architectures. O\u2019Reilly Media"},{"key":"2181_CR34","doi-asserted-by":"crossref","unstructured":"Sun J, Liu Y, Dong JS (2008) Model checking csp revisited: Introducing a process analysis toolkit. In: International symposium on leveraging applications of formal methods, verification and validation, Springer, pp 307\u2013322","DOI":"10.1007\/978-3-540-88479-8_22"},{"key":"2181_CR35","unstructured":"Tars (2023) [Online] Available. https:\/\/tarscloud.org\/"},{"key":"2181_CR36","unstructured":"The Distributed Service Framework (DSF) (2023) [Online] Available. https:\/\/github.com\/dist-svc"},{"key":"2181_CR37","first-page":"28","volume":"2","author":"M Van Steen","year":"2002","unstructured":"Van Steen M, Tanenbaum A (2002) Distributed systems principles and paradigms. Network 2:28","journal-title":"Network"},{"issue":"110","key":"2181_CR38","first-page":"924","volume":"175","author":"LA Vayghan","year":"2021","unstructured":"Vayghan LA, Saied MA, Toeroe M, Khendek F (2021) A kubernetes controller for managing the availability of elastic microservice based stateful applications. J Syst Softw 175(110):924","journal-title":"J Syst Softw"},{"key":"2181_CR39","doi-asserted-by":"crossref","unstructured":"Xiao L, Zhu H, Xu Q, Vinh PC (2022) Modeling and verifying pso memory model using csp. Mobile Networks and Applications, pp 1\u201316","DOI":"10.1007\/s11036-022-01989-5"},{"key":"2181_CR40","doi-asserted-by":"crossref","unstructured":"Xiong S, Huang B (2021) A novel think tanks evaluation system based on micro service. In: Journal of Physics: Conference Series, IOP Publishing, vol 1757, p 012197","DOI":"10.1088\/1742-6596\/1757\/1\/012197"},{"key":"2181_CR41","unstructured":"Yi J, Lin L (2019) Deep understanding of Apache Dubbo and actual combat. \u201cHouse of Electronics Industry.\u201d"},{"key":"2181_CR42","first-page":"391","volume-title":"2019 International Joint Conference on Information","author":"Y Zhang","year":"2019","unstructured":"Zhang Y, Liu Y, Li B, Li L (2019) Research on distribution network status management system based on cloud platform. 2019 International Joint Conference on Information. Media and Engineering (IJCIME), IEEE, pp 391\u2013395"},{"key":"2181_CR43","first-page":"870","volume-title":"2020 5th International Conference on Mechanical","author":"H Zhao","year":"2020","unstructured":"Zhao H, Jiang Y, Zhao X (2020) Design and research of university intelligent education cloud platform based on dubbo microservice framework. 2020 5th International Conference on Mechanical. Control and Computer Engineering (ICMCCE), IEEE, pp 870\u2013874"},{"key":"2181_CR44","unstructured":"Zookeeper (2023) [Online] Available. https:\/\/zookeeper.apache.org"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-023-02181-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11036-023-02181-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-023-02181-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:35:24Z","timestamp":1743741324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11036-023-02181-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["2181"],"URL":"https:\/\/doi.org\/10.1007\/s11036-023-02181-z","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"5 July 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 October 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"We have no competing interests to declare that are relevant to the content of this article. This article does not involve ethics issues.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}