{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T20:20:53Z","timestamp":1782591653366,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,26]]},"DOI":"10.1145\/3459960.3459961","type":"proceedings-article","created":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T16:16:22Z","timestamp":1622132182000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP"],"prefix":"10.1145","author":[{"given":"Junya","family":"Xu","sequence":"first","affiliation":[{"name":"East China Normal University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaqi","family":"Yin","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lili","family":"Xiao","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[\n  1\n  ]  Sharvari T Sowmya Nag K: A study on Modern Messaging Systems- Kafka RabbitMQ and NATS Streaming. CoRR abs\/1912.03715 (2019)  [1] Sharvari T Sowmya Nag K: A study on Modern Messaging Systems- Kafka RabbitMQ and NATS Streaming. CoRR abs\/1912.03715 (2019)"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824063"},{"key":"e_1_3_2_1_3_1","volume-title":"Katinka Wolter: TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka. ISSRE Workshops 2019:  394-397","author":"Wu Han","unstructured":"[ 3 ] Han Wu , Zhihao Shang , Katinka Wolter: TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka. ISSRE Workshops 2019: 394-397 [3] Han Wu, Zhihao Shang, Katinka Wolter: TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka. ISSRE Workshops 2019: 394-397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466826.3466833"},{"key":"e_1_3_2_1_5_1","volume-title":"Luis Garc\u00e9s-Erice","author":"Rooney Sean","year":"2019","unstructured":"[ 5 ] Sean Rooney , Peter Urbanetz , Chris Giblin , Daniel Bauer , Florian Froese , Luis Garc\u00e9s-Erice , Sasa Tomic : Kafka: the Database Inverted, but Not Garbled or Compromised. BigData 2019 : 3874-3880 [5] Sean Rooney, Peter Urbanetz, Chris Giblin, Daniel Bauer, Florian Froese, Luis Garc\u00e9s-Erice, Sasa Tomic: Kafka: the Database Inverted, but Not Garbled or Compromised. BigData 2019: 3874-3880"},{"key":"e_1_3_2_1_6_1","unstructured":"[\n  6\n  ]  ApacheKafka. Powered by - apache Kafka - the apache software foundation. [Online]. Available: https:\/\/kafka.apache.org \/powered-by  [6] ApacheKafka. Powered by - apache Kafka - the apache software foundation. [Online]. Available: https:\/\/kafka.apache.org \/powered-by"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"[\n  7\n  ] \n      CSR\n      Prabhu R. Venkateswara\n      Gandhi Ajeet K.\n      Jain Vaibhav Sanjay Lalka Sree Ganesh Thottempudi PVRD Prasad Rao: A Novel Approach to Extend KM Models with Object Knowledge Model (OKM) and Kafka for Big Data and Semantic Web with Greater Semantics. CISIS\n  2019\n  :  \n  544\n  -\n  554  [7] CSR Prabhu R. Venkateswara Gandhi Ajeet K. Jain Vaibhav Sanjay Lalka Sree Ganesh Thottempudi PVRD Prasad Rao: A Novel Approach to Extend KM Models with Object Knowledge Model (OKM) and Kafka for Big Data and Semantic Web with Greater Semantics. CISIS 2019: 544-554","DOI":"10.1007\/978-3-030-22354-0_48"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110559"},{"key":"e_1_3_2_1_9_1","volume-title":"Zhihao Shang","author":"Wu Han","year":"2019","unstructured":"[ 9 ] Han Wu , Zhihao Shang , Katinka Wolter : Performance Prediction for the Apache Kafka Messaging System. HPCC\/SmartCity\/DSS 2019 : 154-161 [9] Han Wu, Zhihao Shang, Katinka Wolter: Performance Prediction for the Apache Kafka Messaging System. HPCC\/SmartCity\/DSS 2019: 154-161"},{"key":"e_1_3_2_1_10_1","unstructured":"[\n  10\n  ]     \n      PAT\n  : Process Analysis Toolkit. http:\/\/pat.comp.nus.edu.sg\/  [10] PAT: Process Analysis Toolkit. http:\/\/pat.comp.nus.edu.sg\/"},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/www.rabbitmq.com\/tutorials\/amqp-concepts. html","year":"2019","unstructured":"[ 11 ] RabbitMQ , https:\/\/www.rabbitmq.com\/tutorials\/amqp-concepts. html , 2019 [11] RabbitMQ, https:\/\/www.rabbitmq.com\/tutorials\/amqp-concepts. html, 2019"},{"key":"e_1_3_2_1_12_1","first-page":"307","article-title":"Model Checking CSP Revisited: Introducing a Process Analysis Toolkit","volume":"2008","author":"Sun Jun","unstructured":"[ 12 ] Jun Sun , Yang Liu , Jin Song Dong : Model Checking CSP Revisited: Introducing a Process Analysis Toolkit . ISoLA 2008 : 307 - 322 [12] Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322","journal-title":"ISoLA"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_3_2_1_14_1","volume-title":"Huibiao Zhu: Modeling and Verifying NDN Access Control Using CSP. ICFEM 2018:  143-159","author":"Fei Yuan","unstructured":"[ 14 ] Yuan Fei , Huibiao Zhu: Modeling and Verifying NDN Access Control Using CSP. ICFEM 2018: 143-159 [14] Yuan Fei, Huibiao Zhu: Modeling and Verifying NDN Access Control Using CSP. ICFEM 2018: 143-159"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194018400223"},{"key":"e_1_3_2_1_16_1","volume-title":"NetDB workshop,2011","author":"Kreps Jay","unstructured":"[ 16 ] Jay Kreps , Neha Narkhede , Jun Rao , \u201c Kafka: A Distributed Messaging System for Log Processing \u201d,at NetDB workshop,2011 [16] Jay Kreps, Neha Narkhede, Jun Rao, \u201cKafka: A Distributed Messaging System for Log Processing\u201d,at NetDB workshop,2011"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857078"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.637148"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2013.98"},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/dzone.com\/articles\/benchmarking-nats-streaming-and-apachekafka","author":"Treat T.","year":"2016","unstructured":"[ 20 ] T. Treat . Benchmarking NATS Streaming and Apache Kafka , https:\/\/dzone.com\/articles\/benchmarking-nats-streaming-and-apachekafka , 2016 [20] T. Treat. Benchmarking NATS Streaming and Apache Kafka, https:\/\/dzone.com\/articles\/benchmarking-nats-streaming-and-apachekafka, 2016"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-013-3091-5"},{"key":"e_1_3_2_1_22_1","volume-title":"Gorazd Kandus","author":"Vucnik Matevz","year":"2019","unstructured":"[ 22 ] Matevz Vucnik , Ales Svigelj , Gorazd Kandus , Mihael Mohorcic : Secure Hybrid Publish-Subscribe Messaging Architecture. SoftCOM 2019 : 1-5 [22] Matevz Vucnik, Ales Svigelj, Gorazd Kandus, Mihael Mohorcic: Secure Hybrid Publish-Subscribe Messaging Architecture. SoftCOM 2019: 1-5"},{"key":"e_1_3_2_1_23_1","volume-title":"Tilmann Rabl","author":"Hesse Guenter","year":"2003","unstructured":"[ 23 ] Guenter Hesse , Christoph Matthies , Tilmann Rabl , Matthias Uflacker : How Fast Can We Insert? A Performance Study of Apache Kafka. CoRR abs\/ 2003 .06452 (2020) [23] Guenter Hesse, Christoph Matthies, Tilmann Rabl, Matthias Uflacker: How Fast Can We Insert? A Performance Study of Apache Kafka. CoRR abs\/2003.06452 (2020)"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093742.3093908"}],"event":{"name":"ECBS 2021: 7th Conference on the Engineering of Computer Based Systems","location":"Novi Sad Serbia","acronym":"ECBS 2021"},"container-title":["7th Conference on the Engineering of Computer Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459961","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3459960.3459961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:43Z","timestamp":1750191463000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,26]]},"references-count":24,"alternative-id":["10.1145\/3459960.3459961","10.1145\/3459960"],"URL":"https:\/\/doi.org\/10.1145\/3459960.3459961","relation":{},"subject":[],"published":{"date-parts":[[2021,5,26]]},"assertion":[{"value":"2021-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}