{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:45:12Z","timestamp":1778215512223,"version":"3.51.4"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031626968","type":"print"},{"value":"9783031626975","type":"electronic"}],"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-62697-5_17","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"314-330","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["SEArch: An\u00a0Execution Infrastructure for\u00a0Service-Based Software Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0248-5019","authenticated-orcid":false,"given":"Carlos Gustavo","family":"Lopez Pombo","sequence":"first","affiliation":[]},{"given":"Pablo","family":"Montepagano","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7032-3281","authenticated-orcid":false,"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"17_CR2","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Hoboken (1989)"},{"key":"17_CR3","unstructured":"World Wide\u00a0Web Consortium: Web services description language (WSDL) version 2.0 part 1: Core language. https:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.05.011","volume":"503","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: An interface theory for service-oriented design. Theoret. Comput. Sci. 503, 1\u201330 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-28114-8_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"I Vissani","year":"2015","unstructured":"Vissani, I., Pombo, C.G.L., \u0162u\u0163u, I., Fiadeiro, J.L.: A full operational semantics for asynchronous relational networks. In: Codescu, M., Diaconescu, R., \u0162u\u0163u, I. (eds.) WADT 2015. LNCS, vol. 9463, pp. 131\u2013150. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-28114-8_8"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Vissani, I., Lopez Pombo, C.G., Tuosto, E.: Communicating machines as a dynamic binding mechanism of services. In Gay, D., Alglave, J. (eds.) Proceedings of 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES. Electronic Proceedings in Theoretical Computer Science, vol. 203, pp. 85\u201398, April 2016","DOI":"10.4204\/EPTCS.203.7"},{"key":"17_CR7","unstructured":"Anabia, D.N.S.: Bisimulaci\u00f3n de data-aware communicating finite state machines con propiedades en las acciones. Master\u2019s thesis, Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (2023). Advisors: Carlos G. Lopez Pombo and Hern\u00e1n C. Melgratti"},{"key":"17_CR8","unstructured":"MuleSoft: 8 principles of service-oriented architecture (2022). https:\/\/blogs.mulesoft.com\/digital-transformation\/soa-principles\/"},{"key":"17_CR9","unstructured":"IBM: What is service-oriented architecture (SOA)? (2024). https:\/\/www.ibm.com\/topics\/soa"},{"key":"17_CR10","unstructured":"Microsoft: Service-oriented architecture (2022). https:\/\/learn.microsoft.com\/en-gb\/dotnet\/architecture\/microservices\/architect-microservice-container-applications\/service-oriented-architecture"},{"key":"17_CR11","unstructured":"Oracle: Oracle SOA suite (2024). https:\/\/www.oracle.com\/middleware\/technologies\/soasuite.html"},{"key":"17_CR12","unstructured":"Donovan, A.A., Kernighan, B.W.: The Go Programming Language. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Co., Inc., Boston (2015)"},{"key":"17_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-031-47963-2_9","volume-title":"ICTAC 2023","author":"CG Lopez Pombo","year":"2023","unstructured":"Lopez Pombo, C.G., Martinez Su\u00f1\u00e9, A.E., Tuosto, E.: A dynamic temporal logic for quality of service in choreographic models. In: \u00c1brah\u00e1m, E., Dubslaff, C., Tarifa, S.L.T. (eds.) ICTAC 2023. LNCS, vol. 14446, pp. 119\u2013138. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47963-2_9"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Lange, J., Tuosto, E., Yoshida, N.: River publishers series in automation, control and robotics. In: A Tool for Choreography-Based Analysis of Message-Passing Software, pp. 125\u2013146. River Publisher (2017)","DOI":"10.1201\/9781003337331-6"},{"key":"17_CR15","unstructured":"Coto, A., Guanciale, R., Lange, J., Tuosto, E.: ChorGram: tool support for choreographic development (2015). https:\/\/bitbucket.org\/eMgssi\/chorgram\/src\/master\/"},{"key":"17_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2021.103331","volume":"200","author":"M Achir","year":"2022","unstructured":"Achir, M., Abdelli, A., Mokdad, L., Benothman, J.: Service discovery and selection in IoT: a survey and a taxonomy. J. Netw. Comput. Appl. 200, 103331 (2022)","journal-title":"J. Netw. Comput. Appl."},{"issue":"3","key":"17_CR17","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1017\/S0960129509007658","volume":"19","author":"M Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19(3), 601\u2013638 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Castagna, G., Padovani, L.: Contracts for mobile processes. In: CONCUR (2009)","DOI":"10.1007\/978-3-642-04081-8_15"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5) (2009)","DOI":"10.1145\/1538917.1538920"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, 7\u201312 January 2008, pp. 261\u2013272. ACM (2008)","DOI":"10.1145\/1328438.1328471"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3) (2012)","DOI":"10.1145\/2211616.2211619"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-39570-8_5","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"D Basile","year":"2016","unstructured":"Basile, D., Degano, P., Ferrari, G.-L., Tuosto, E.: Playing with our CAT and communication-centric applications. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 62\u201373. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_5"},{"key":"17_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102841","volume":"221","author":"D Basile","year":"2022","unstructured":"Basile, D., ter Beek, M.: Contract automata library. Sci. Comput. Program. 221, 102841 (2022)","journal-title":"Sci. Comput. Program."},{"key":"17_CR24","unstructured":"Basile, D., ter Beek, M.H., Pugliese, R.: Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services. Logical Methods Comput. Sci. 16(2) (2020)"},{"key":"17_CR25","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-031-27481-7_31","volume-title":"Formal Methods","author":"D Basile","year":"2023","unstructured":"Basile, D., ter Beek, M.: A runtime environment for contract automata. In: Chechik, M., Katoen, J., Leucker, M. (eds.) FM 2023. LNCS, vol. 14000, pp. 550\u2013567. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_31"},{"key":"17_CR26","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A., Pompianu, L.: Contract-oriented programming with timed session types. In: Gay, S., Ravara, A. (eds.) Behavioural Types: From Theory to Tools, pp. 27\u201348. River (2017)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-28934-2_5","volume-title":"Formal Aspects of Component Software","author":"M Bartoletti","year":"2016","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A.S., Pompianu, L.: A contract-oriented middleware. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 86\u2013104. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_5"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Atzei, N., Bartoletti, M., Murgia, M., Tuosto, E., Zunino, R.: Contract-oriented design of distributed applications: a tutorial. In: Gay, S., Ravara, A. (eds.) Behavioural Types: From Theory to Tools. Automation, Control and Robotics, pp. 1\u201326. River (2017)","DOI":"10.1201\/9781003337331-1"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-99524-9_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Imai","year":"2022","unstructured":"Imai, K., Lange, J., Neykova, R.: Kmclib: automated inference and verification of session types from OCaml programs. In: TACAS 2022. LNCS, vol. 13243, pp. 379\u2013386. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_20"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Vasconcelos, C., Ravara, A.: From object-oriented code with assertions to behavioural types. In: Seffah, A., Penzenstadler, B., Alves, C., Peng, X. (eds.) Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, 3\u20137 April 2017, pp. 1492\u20131497. ACM (2017)","DOI":"10.1145\/3019612.3019733"},{"key":"17_CR31","unstructured":"Genovese, G.: ChorEr: un analizzatore statico per generare Automi Coreografici da codice sorgente Erlang. Master\u2019s thesis, University of Bologna (2023)"},{"key":"17_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-030-50029-0_6","volume-title":"Coordination Models and Languages","author":"F Barbanera","year":"2020","unstructured":"Barbanera, F., Lanese, I., Tuosto, E.: Choreography automata. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 86\u2013106. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_6"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. Logical Methods Comput. Sci. 12(4) (2016)","DOI":"10.2168\/LMCS-12(4:7)2016"},{"key":"17_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-38592-6_21","volume-title":"Formal Techniques for Distributed Systems","author":"M Bartoletti","year":"2013","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE -2013. LNCS, vol. 7892, pp. 305\u2013320. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38592-6_21"},{"key":"17_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-17511-4_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"KRM Leino","year":"2010","unstructured":"Leino, K.R.M.: Dafny: an automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) LPAR 2010. LNCS (LNAI), vol. 6355, pp. 348\u2013370. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17511-4_20"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:03:15Z","timestamp":1718053395000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}