{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:45:20Z","timestamp":1747248320939,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031622809"},{"type":"electronic","value":"9783031622816"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62281-6_41","type":"book-chapter","created":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T23:04:58Z","timestamp":1718319898000},"page":"603-619","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling and\u00a0Verification of\u00a0Kafka Producer-Consumer Communication in\u00a0Mediator"],"prefix":"10.1007","author":[{"given":"Meng","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhirui","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,14]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Bano, S., Carlini, E., Cassar\u00e0, P., Coppola, M., Dazzi, P., Gotta, A.: A novel approach to distributed model aggregation using apache kafka. In: Ferrucci, L., Coppola, M., Kavalionak, H., Kontopoulos, I. (eds.) FRAME@HPDC 2022: Proceedings of the 2nd Workshop on Flexible Resource and Application Management on the Edge, Minneapolis, MN, USA, 1 July 2022, pp. 33\u201336. ACM (2022)","DOI":"10.1145\/3526059.3533621"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"41_CR3","unstructured":"https:\/\/kafka.apache.org\/powered-by"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_13"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Lakkad, A.K., Bhadaniya, R.D., Shah, V.N., Lavanya, K.: Complex events processing on live news events using apache Kafka and clustering techniques. Int. J. Intell. Inf. Technol. 17(1), 39\u201352 (2021)","DOI":"10.4018\/IJIIT.2021010103"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-68034-7_1","volume-title":"Formal Aspects of Component Software","author":"Y Li","year":"2017","unstructured":"Li, Y., Sun, M.: Component-based modeling in mediator. In: Proen\u00e7a, J., Lumpe, M. (eds.) FACS 2017. LNCS, vol. 10487, pp. 1\u201319. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68034-7_1"},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"102438","DOI":"10.1016\/j.scico.2020.102438","volume":"192","author":"Y Li","year":"2020","unstructured":"Li, Y., Sun, W., Sun, M.: Mediator: a component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192, 102438 (2020)","journal-title":"Sci. Comput. Program."},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-15643-4_30","volume-title":"Automated Technology for Verification and Analysis","author":"Y Liu","year":"2010","unstructured":"Liu, Y., Sun, J., Dong, J.S.: Developing model checkers using PAT. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 371\u2013377. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15643-4_30"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Peddireddy, K.: Streamlining enterprise data processing, reporting and realtime alerting using apache Kafka. In: 11th International Symposium on Digital Forensics and Security, ISDFS 2023, Chattanooga, TN, USA, May 11-12, 2023, pp. 1\u20134. IEEE (2023)","DOI":"10.1109\/ISDFS58141.2023.10131800"},{"issue":"2","key":"41_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.3390\/fi15020043","volume":"15","author":"TP Raptis","year":"2023","unstructured":"Raptis, T.P., Cicconetti, C., Falelakis, M., Kalogiannis, G., Kanellos, T., Lobo, T.P.: Engineering resource-efficient data management for smart cities with apache Kafka. Future Internet 15(2), 43 (2023)","journal-title":"Future Internet"},{"key":"41_CR11","doi-asserted-by":"publisher","unstructured":"Sax, M..J.: Apache kafka. In: Sakr S., Zomaya, A.Y. (eds.) Encyclopedia of Big Data Technologies. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-319-63962-8_196-2","DOI":"10.1007\/978-3-319-63962-8_196-2"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Sun, W., Sun, M.: PRISM code generation for verification of mediator models. In: Perkusich, A. (ed.) The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019, pp. 271\u2013354. KSI Research Inc. and Knowledge Systems Institute Graduate School (2019)","DOI":"10.18293\/SEKE2019-069"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Wu, H., Shang, Z., Peng, G., Wolter, K.: A reactive batching strategy of apache Kafka for reliable stream processing in real-time. In: Vieira, M., Madeira, H., Antunes, N., Zheng, Z. (eds.) 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020, pp. 207\u2013217. IEEE (2020)","DOI":"10.1109\/ISSRE5003.2020.00028"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Wu, H., Shang, Z., Wolter, K.: Learning to reliably deliver streaming data with apache Kafka. In: 50th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020, pp. 564\u2013571. IEEE (2020)","DOI":"10.1109\/DSN48063.2020.00068"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Xu, J., Yin, J., Zhu, H., Xiao, L.: Modeling and verifying producer-consumer communication in Kafka using CSP. In: ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, pp. 9:1\u20139:10. ACM (2021)","DOI":"10.1145\/3459960.3459961"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62281-6_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T20:38:32Z","timestamp":1732221512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62281-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031622809","9783031622816"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62281-6_41","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Science and Information Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/saiconference.com\/Computing","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}