{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:06Z","timestamp":1762459506476},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T00:00:00Z","timestamp":1499817600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11761-017-0214-0","type":"journal-article","created":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T10:52:48Z","timestamp":1499856768000},"page":"265-283","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Blind-date conversation joining"],"prefix":"10.1007","volume":"11","author":[{"given":"Luca","family":"Cesari","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,12]]},"reference":[{"key":"214_CR1","unstructured":"Apache Software Foundation: Apache ODE 1.3.6 (2013) \n                        http:\/\/ode.apache.org\/"},{"key":"214_CR2","first-page":"38","volume-title":"WS-FM, LNCS","author":"M Boreale","year":"2006","unstructured":"Boreale M, Bruni R, Caires L, De Nicola R, Lanese I, Loreti M, Martins F, Montanari U, Ravara A, Sangiorgi D, Vasconcelos V, Zavattaro G (2006) SCC: a service centered calculus. WS-FM, LNCS, vol 4184. Springer, Berlin, pp 38\u201357"},{"issue":"3","key":"214_CR3","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1017\/S0960129512000953","volume":"25","author":"M Boreale","year":"2015","unstructured":"Boreale M, Bruni R, De Nicola R, Loreti M (2015) Caspis: a calculus of sessions, pipelines and services. Math Struct Comput Sci 25(3):666\u2013709","journal-title":"Math Struct Comput Sci"},{"key":"214_CR4","doi-asserted-by":"crossref","unstructured":"Bruni R, Lanese I, Melgratti H, Tuosto E (2008) Multiparty sessions in SOC. In: Lea D, Zavattaro G (eds) Coordination, LNCS, vol 5052. Springer, Berlin, pp 67\u201382","DOI":"10.1007\/978-3-540-68265-3_5"},{"key":"214_CR5","unstructured":"Bruno J (2013) Games on Xbox one\u2014better with Xbox live compute. \n                        http:\/\/news.xbox.com\/2013\/10\/15\/xbox-one-cloud\/"},{"key":"214_CR6","unstructured":"Bungie: Halo (2016) \n                        http:\/\/www.halowaypoint.com\/"},{"key":"214_CR7","doi-asserted-by":"crossref","unstructured":"Caires L, De Nicola R, Pugliese R, Vasconcelos VT, Zavattaro G (2011) Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems\u2014results of the SENSORIA project on software engineering for service-oriented computing, LNCS, vol 6582. Springer, Berlin, pp 153\u2013188","DOI":"10.1007\/978-3-642-20401-2_8"},{"issue":"51\u201352","key":"214_CR8","doi-asserted-by":"crossref","first-page":"4399","DOI":"10.1016\/j.tcs.2010.09.010","volume":"411","author":"L Caires","year":"2010","unstructured":"Caires L, Vieira H (2010) Conversation types. Theor Comput Sci 411(51\u201352):4399\u20134440","journal-title":"Theor Comput Sci"},{"issue":"2","key":"214_CR9","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone M, Honda K, Yoshida N (2012) Structured communication-centered programming for web services. ACM Trans Program Lang Syst 34(2):8:1\u20138:78","journal-title":"ACM Trans Program Lang Syst"},{"key":"214_CR10","doi-asserted-by":"crossref","unstructured":"Cesari L, Pugliese R, Tiezzi F (2013) Blind-date Conversation Joining. In: EPTCS, WWV, vol 123, pp 3\u201318","DOI":"10.4204\/EPTCS.123.3"},{"key":"214_CR11","unstructured":"Chinnici R, Moreau J, Ryman A, Weerawarana S (2007) Web services description language (WSDL) 2.0. Tech. rep., W3C. \n                        https:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"214_CR12","unstructured":"EA: Battlefield (2016) \n                        http:\/\/www.battlefield.com\/"},{"key":"214_CR13","unstructured":"Epic software: gears of war (2016) \n                        http:\/\/gearsofwar.xbox.com\/"},{"issue":"3","key":"214_CR14","doi-asserted-by":"crossref","first-page":"16:1","DOI":"10.1145\/2211616.2211619","volume":"21","author":"A Fantechi","year":"2012","unstructured":"Fantechi A, Gnesi S, Lapadula A, Mazzanti F, Pugliese R, Tiezzi F (2012) A logical verification methodology for service-oriented computing. ACM Trans Softw Eng Methodol 21(3):16:1\u201316:46","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"214_CR15","unstructured":"GlassFish community: JAX-WS (2016) \n                        https:\/\/jax-ws.java.net\/"},{"key":"214_CR16","doi-asserted-by":"crossref","unstructured":"Gnesi S, Pugliese R, Tiezzi F (2011) The sensoria approach applied to the finance case study. In: Rigorous software engineering for service-oriented systems\u2014results of the SENSORIA project on software engineering for service-oriented computing, LNCS, vol 6582. Springer, Berlin, pp 698\u2013718","DOI":"10.1007\/978-3-642-20401-2_34"},{"key":"214_CR17","unstructured":"Groupon (2016) \n                        http:\/\/www.groupon.com\/"},{"key":"214_CR18","unstructured":"Gudgin M, Hadley M, Rogers T (2006) Web services addressing 1.0\u2014Core. Tech. rep., W3C"},{"key":"214_CR19","doi-asserted-by":"crossref","unstructured":"Guidi C, Lucchi R, Gorrieri R, Busi N, Zavattaro G (2006) SOCK: a calculus for service oriented computing. In: ICSOC, LNCS, vol 4294. Springer, Berlin, pp 327\u2013338","DOI":"10.1007\/11948148_27"},{"issue":"1","key":"214_CR20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/2827695","volume":"63","author":"K Honda","year":"2016","unstructured":"Honda K, Yoshida N, Carbone M (2016) Multiparty asynchronous session types. J ACM 63(1):9","journal-title":"J ACM"},{"issue":"1","key":"214_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel H, Lanese I, Vasconcelos VT, Caires L, Carbone M, Deni\u00e9lou P, Mostrous D, Padovani L, Ravara A, Tuosto E, Vieira HT, Zavattaro G (2016) Foundations of session types and behavioural contracts. ACM Comput Surv 49(1):3","journal-title":"ACM Comput Surv"},{"key":"214_CR22","doi-asserted-by":"crossref","unstructured":"Lanese I, Martins F, Ravara A, Vasconcelos V (2007) Disciplining orchestration and conversation in service-oriented computing. In: SEFM. IEEE Computer Society Press, pp 305\u2013314","DOI":"10.1109\/SEFM.2007.13"},{"key":"214_CR23","doi-asserted-by":"crossref","unstructured":"Lapadula A, Pugliese R, Tiezzi F (2007) A calculus for orchestration of web services. In: ESOP, LNCS, vol 4421. Springer, pp 33\u201347","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"214_CR24","doi-asserted-by":"crossref","unstructured":"Lapadula A, Pugliese R, Tiezzi F (2007) Regulating data exchange in service oriented applications. In: FSEN, LNCS, vol 4767. Springer, pp 223\u2013239","DOI":"10.1007\/978-3-540-75698-9_15"},{"issue":"3","key":"214_CR25","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.scico.2011.03.002","volume":"77","author":"A Lapadula","year":"2012","unstructured":"Lapadula A, Pugliese R, Tiezzi F (2012) Using formal methods to develop WS-BPEL applications. Sci Comput Program 77(3):189\u2013213","journal-title":"Sci Comput Program"},{"key":"214_CR26","unstructured":"MAG interactive: Ruzzle (2016) \n                        http:\/\/www.ruzzle-game.com\/"},{"key":"214_CR27","doi-asserted-by":"crossref","unstructured":"Mauro J, Gabbrielli M, Guidi C, Montesi F (2011) An efficient management of correlation sets with broadcast. In: COORDINATION, LNCS, vol 6721. Springer, Berlin, pp 80\u201394","DOI":"10.1007\/978-3-642-21464-6_6"},{"key":"214_CR28","doi-asserted-by":"crossref","unstructured":"Melgratti H, Rold\u00e1n C (2012) On correlation sets and correlation exceptions in ActiveBPEL. In: TGC, LNCS, vol 7173. Springer, Berlin, pp 212\u2013226","DOI":"10.1007\/978-3-642-30065-3_13"},{"key":"214_CR29","unstructured":"Michael Kay (2007) XSL transformations (XSLT) version 2.0. Tech. rep., W3C"},{"key":"214_CR30","unstructured":"Microsoft: Xbox live (2016) \n                        http:\/\/www.xbox.com\/"},{"key":"214_CR31","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, Englewood Cliffs"},{"issue":"1","key":"214_CR32","first-page":"1-40","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I and II. Inf Comput 100(1):1-40\u201341-77","journal-title":"Inf Comput"},{"key":"214_CR33","unstructured":"Mojang: Minecraft (2016) \n                        https:\/\/minecraft.net\/"},{"key":"214_CR34","doi-asserted-by":"crossref","unstructured":"Montesi F, Guidi C, Lucchi R, Zavattaro G (2007) JOLIE: a Java orchestration language interpreter engine. In: MTCoord, ENTCS, vol 181. Elsevier, pp 19\u201333","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"214_CR35","unstructured":"OASIS WSBPEL TC: Web services business process execution language version 2.0. Tech. rep., OASIS (2007) \n                        http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"214_CR36","unstructured":"Play framework: play framework 2.5 (2016) \n                        http:\/\/www.playframework.com\/"},{"issue":"1","key":"214_CR37","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.jal.2011.11.002","volume":"10","author":"R Pugliese","year":"2012","unstructured":"Pugliese R, Tiezzi F (2012) A calculus for orchestration of web services. J Appl Log 10(1):2\u201331","journal-title":"J Appl Log"},{"key":"214_CR38","unstructured":"Sony: playstation network (2016) \n                        http:\/\/playstation.com\/"},{"key":"214_CR39","unstructured":"Tiezzi F (2009) Specification and analysis of service-oriented applications. PhD thesis in computer science, Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze. \n                        http:\/\/rap.dsi.unifi.it\/cows"},{"key":"214_CR40","unstructured":"Valve: steam (2016) \n                        http:\/\/store.steampowered.com\/"},{"key":"214_CR41","doi-asserted-by":"crossref","unstructured":"Vieira H, Caires L, Seco JC (2008) The conversation calculus: a model of service-oriented computation. In: ESOP, LNCS, vol 4960. Springer, Berlin, pp 269\u2013283","DOI":"10.1007\/978-3-540-78739-6_21"},{"key":"214_CR42","doi-asserted-by":"crossref","unstructured":"Viroli M (2004) Towards a formal foundation to orchestration languages. In: WS-FM, ENTCS, vol 105. Elsevier, pp 51\u201371","DOI":"10.1016\/j.entcs.2004.05.008"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-017-0214-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0214-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0214-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T13:31:56Z","timestamp":1504618316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-017-0214-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,12]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["214"],"URL":"https:\/\/doi.org\/10.1007\/s11761-017-0214-0","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,12]]}}}