{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:29:02Z","timestamp":1759940942128,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":34,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819709885"},{"type":"electronic","value":"9789819709892"}],"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-981-97-0989-2_20","type":"book-chapter","created":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T06:02:15Z","timestamp":1710482535000},"page":"253-264","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Microservices Patterns with\u00a0Event-B: The Case of\u00a0Service Registry"],"prefix":"10.1007","author":[{"given":"Sebasti\u00e1n","family":"Vergara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00fal","family":"Ruggia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,16]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge (2010)","edition":"1"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-91271-4_3","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018","author":"JR Abrial","year":"2018","unstructured":"Abrial, J.R.: On B and Event-B: principles, success and challenges. In: Butler, M., Raschke, A., Hoang, T., Reichl, K. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. LNCS, vol. 10817, pp. 31\u201335. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_3"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6), 447\u2013466 (2010). https:\/\/doi.org\/10.1007\/s10009-010-0145-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-030-48077-6_31","volume-title":"Rigorous State-Based Methods","author":"M Afendi","year":"2020","unstructured":"Afendi, M.: A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. In: Raschke, A., M\u00e9ry, D., Houdek, F. (eds.) ABZ 2020. LNCS, vol. 12071, pp. 401\u2013404. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6_31"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-17112-8_1","volume-title":"Correct Software in Web Applications and Web Services","author":"I Ait-Sadoune","year":"2015","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: Formal modelling and verification of transactional web service composition: a refinement and proof approach with Event-B. In: Thalheim, B., Schewe, K.D., Prinz, A., Buchberger, B. (eds.) Correct Software in Web Applications and Web Services. TEXTSMONOGR, pp. 1\u201327. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17112-8_1"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/3-540-60973-3_108","volume-title":"FME 1996: Industrial Benefit and Advances in Formal Methods","author":"PSC Alencar","year":"1996","unstructured":"Alencar, P.S.C., Cowan, D.D., de Lucena, C.J.P.: A formal approach to architectural design patterns. In: Gaudel, M.C., Woodcock, J. (eds.) FME 1996. LNCS, vol. 1051, pp. 576\u2013594. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-60973-3_108"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.jss.2009.09.039","volume":"83","author":"I Bayley","year":"2010","unstructured":"Bayley, I., Zhu, H.: Formal specification of the variants and behavioural features of design patterns. J. Syst. Softw. 83(2), 209\u2013221 (2010)","journal-title":"J. Syst. Softw."},{"key":"20_CR8","unstructured":"Bergner, K.: Specification of Large \u00df Object Networks with Component Diagrams. CS-Press (1997)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-030-31646-4_8","volume-title":"Microservices","author":"M Bravetti","year":"2020","unstructured":"Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., Zavattaro, G.: A formal approach to microservice architecture deployment. In: Bucchiarone, A., et al. (eds.) Microservices, pp. 183\u2013208. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-31646-4_8"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-15898-8_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"JW Bryans","year":"2010","unstructured":"Bryans, J.W., Wei, W.: Formal analysis of BPMN models using Event-B. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 33\u201349. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-642-15898-8_3"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-319-74781-1_14","volume-title":"Software Engineering and Formal Methods","author":"M Camilli","year":"2018","unstructured":"Camilli, M., Bellettini, C., Capra, L., Monga, M.: A formal framework for specifying and verifying microservices based process flows. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 187\u2013202. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_14"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-981-13-6459-4_11","volume-title":"Proceedings of International Conference on Computational Intelligence and Data Engineering","author":"AK Dwivedi","year":"2019","unstructured":"Dwivedi, A.K., Rath, S.K., Chakravarthy, S.L.: Formalization of SOA design patterns using model-based specification technique. In: Chaki, N., Devarakonda, N., Sarkar, A., Debnath, N. (eds.) ICCIDE 2018. LNDECT, vol. 28, pp. 95\u2013101. Springer, Singapore (2019). https:\/\/doi.org\/10.1007\/978-981-13-6459-4_11"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, L., Ruggia, R.: Formalizing a policy-based compliance control solution with Event-B. In: Proceedings of the 14th International Conference on Software Technologies. SCITEPRESS (2019)","DOI":"10.5220\/0008120406050613"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Hachicha, M., Dammak, E., Halima, R.B., Kacem, A.H.: A correct by construction approach for modeling and formalizing self-adaptive systems. In: 2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD), pp. 379\u2013384. IEEE (2016)","DOI":"10.1109\/SNPD.2016.7515928"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s00165-009-0138-3","volume":"23","author":"S Hallerstede","year":"2011","unstructured":"Hallerstede, S.: On the purpose of Event-B proof obligations. Formal Aspects Comput. 23, 133\u2013150 (2011). https:\/\/doi.org\/10.1007\/s00165-009-0138-3","journal-title":"Formal Aspects Comput."},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-41591-8_27","volume-title":"Software Engineering and Formal Methods","author":"L Ladenberger","year":"2016","unstructured":"Ladenberger, L., Leuschel, M.: BMotionWeb: a tool for rapid creation of formal prototypes. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 403\u2013417. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_27"},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transfer 10(2), 185\u2013203 (2008). https:\/\/doi.org\/10.1007\/s10009-007-0063-9","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Llamb\u00edas, G., Ruggia, R.: A middleware-based platform for the integration of bioinformatic services. CLEI Electron. J. 18 (2015)","DOI":"10.19153\/cleiej.18.2.6"},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-030-02450-5_15","volume-title":"Formal Methods and Software Engineering","author":"D Marmsoler","year":"2018","unstructured":"Marmsoler, D.: A framework for interactive verification of architectural design patterns in Isabelle\/HOL. In: Sun, J., Sun, M. (eds.) ICFEM 2018. LNCS, vol. 11232, pp. 251\u2013269. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02450-5_15"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Mikkonen, T.: Formalizing design patterns. In: Proceedings of the 20th International Conference on Software Engineering, pp. 115\u2013124. IEEE (1998)","DOI":"10.1109\/ICSE.1998.671108"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-44831-4_19","volume-title":"Advances in Web Intelligence","author":"S Montero","year":"2003","unstructured":"Montero, S., D\u00edaz, P., Aedo, I.: Formalization of web design patterns using ontologies. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds.) AWIC 2003. LNCS, vol. 2663, pp. 179\u2013188. Springer, Cham (2003). https:\/\/doi.org\/10.1007\/3-540-44831-4_19"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.scico.2013.05.007","volume":"80","author":"J Nicholson","year":"2014","unstructured":"Nicholson, J., Eden, A.H., Gasparis, E., Kazman, R.: Automated verification of design patterns: a case study. Sci. Comput. Program. 80, 211\u2013222 (2014)","journal-title":"Sci. Comput. Program."},{"key":"20_CR23","unstructured":"ProB: Test case generation - ProB documentation (2023). https:\/\/prob.hhu.de\/w\/index.php?title=Test_Case_Generation"},{"key":"20_CR24","unstructured":"Richardson, C.: Microservices Patterns: With Examples in Java, 1st edn. Manning Publications (2018)"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Ritter, D., Rinderle-Ma, S., Montali, M., Rivkin, A., Sinha, A.: Formalizing application integration patterns. In: 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), pp. 11\u201320. IEEE (2018)","DOI":"10.1109\/EDOC.2018.00012"},{"key":"20_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1","volume-title":"Industrial Deployment of System Engineering Methods","year":"2013","unstructured":"Romanovsky, A., Thomas, M. (eds.): Industrial Deployment of System Engineering Methods. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33170-1"},{"issue":"1","key":"20_CR27","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2012.13","volume":"29","author":"I Schieferdecker","year":"2012","unstructured":"Schieferdecker, I.: Model-based testing. IEEE Softw. 29(1), 14\u201318 (2012). https:\/\/doi.org\/10.1109\/MS.2012.13","journal-title":"IEEE Softw."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Taibi, D., Lenarduzzi, V., Pahl, C.: Architectural patterns for microservices: a systematic mapping study. In: Proceedings of the 8th International Conference on Cloud Computing and Services Science, Portugal. SCITEPRESS (2018)","DOI":"10.5220\/0006798302210232"},{"issue":"4","key":"20_CR29","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal specification of design patterns - a balanced approach. J. Object Technol. 2(4), 127\u2013140 (2003)","journal-title":"J. Object Technol."},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-39031-9_4","volume-title":"European Conference on Software Architecture","author":"I Tounsi","year":"2013","unstructured":"Tounsi, I., Hadj Kacem, M., Hadj Kacem, A.: Building correct by construction SOA design patterns: modeling and refinement. In: Drira, K. (ed.) ECSA 2013. LNCS, vol. 7957, pp. 33\u201344. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-642-39031-9_4"},{"issue":"1","key":"20_CR31","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJCC.2015.067705","volume":"4","author":"I Tounsi","year":"2015","unstructured":"Tounsi, I., Hadj Kacem, M., Hadj Kacem, A., Drira, K.: A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. 4(1), 78\u2013104 (2015)","journal-title":"Int. J. Cloud Comput."},{"key":"20_CR32","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.future.2023.05.018","volume":"148","author":"I Tounsi","year":"2023","unstructured":"Tounsi, I., Saidi, A., Hadj Kacem, M., Hadj Kacem, A.: Internet of Things design patterns modeling proven correct by construction: application to aged care solution. Future Gener. Comput. Syst. 148, 395\u2013407 (2023)","journal-title":"Future Gener. Comput. Syst."},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Vergara, S., Gonz\u00e1lez, L., Ruggia, R.: Towards formalizing microservices architectural patterns with Event-B. In: 2020 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 71\u201374 (2020)","DOI":"10.1109\/ICSA-C50368.2020.00022"},{"key":"20_CR34","unstructured":"Vergara, S., Gonz\u00e1lez, L., Ruggia, R.: Complementary material (2023). https:\/\/www.fing.edu.uy\/owncloud\/index.php\/s\/9Vs9rDde1wYpQxt"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2023 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-0989-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T10:14:46Z","timestamp":1731579286000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-0989-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819709885","9789819709892"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-0989-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"16 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2023.diag.uniroma1.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"ConfTool","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"208","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"other papers accepted: 3 industry full papers, 3 keynote abstracts (in the front matter)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}