{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:48Z","timestamp":1775873628303,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,11,19]],"date-time":"2014-11-19T00:00:00Z","timestamp":1416355200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10703-014-0218-8","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T12:02:21Z","timestamp":1416571341000},"page":"197-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python"],"prefix":"10.1007","volume":"46","author":[{"given":"Romain","family":"Demangeon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rumyana","family":"Neykova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,19]]},"reference":[{"issue":"10","key":"218_CR1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/1103845.1094839","volume":"40","author":"C Allan","year":"2005","unstructured":"Allan C, Avgustinov P, Christensen AS, Hendren L, Kuzins S, Lhot\u00e1k O, de Moor O, Sereni D, Sittampalam G, Tibble J (2005) Adding trace matching with free variables to aspectj. SIGPLAN Not 40(10):345\u2013364","journal-title":"SIGPLAN Not"},{"key":"218_CR2","unstructured":"Advanced Message Queuing protocols (AMQP) homepage. http:\/\/jira.amqp.org\/confluence\/display\/AMQP\/Advanced+Message+Queuing+Protocol"},{"key":"218_CR3","doi-asserted-by":"crossref","unstructured":"Ancona D, Drossopoulou S, Mascardi V (2012) Automatic generation of self-monitoring mass from multiparty global session types in Jason. In: DALT. Springer, Berlin","DOI":"10.1007\/978-3-642-37890-4_5"},{"issue":"10","key":"218_CR4","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1145\/1297105.1297070","volume":"42","author":"P Avgustinov","year":"2007","unstructured":"Avgustinov P, Tibble J, de Moor O (2007) Making trace monitors feasible. SIGPLAN Not 42(10):589\u2013608","journal-title":"SIGPLAN Not"},{"key":"218_CR5","doi-asserted-by":"crossref","unstructured":"Baresi L, Ghezzi C, Guinea S (2004) Smart monitors for composed services. In: ICSOC. ACM, New York, pp 193\u2013202","DOI":"10.1145\/1035167.1035195"},{"key":"218_CR6","doi-asserted-by":"crossref","unstructured":"Bettini L, et al. (2008) Global progress in dynamically interleaved multiparty sessions. In: CONCUR. LNCS, vol 5201. Springer, Berlin, pp 418\u2013433","DOI":"10.1007\/978-3-540-85361-9_33"},{"key":"218_CR7","doi-asserted-by":"crossref","unstructured":"Bocchi L, Chen T-C, Demangeon R, Honda K, Yoshida N (2013) Monitoring networks through multiparty session types. In: FMOODS. LNCS, vol 7892. Springer, Berlin, pp 50\u201365","DOI":"10.1007\/978-3-642-38592-6_5"},{"key":"218_CR8","doi-asserted-by":"crossref","unstructured":"Bocchi L, Laneve C, Zavattaro G (2003) A calculus for long-running transactions. In: FMOODS. LNCS, vol 2884, Springer, Berlin, pp 124\u2013138","DOI":"10.1007\/978-3-540-39958-2_9"},{"key":"218_CR9","doi-asserted-by":"crossref","unstructured":"Boreale M, Bruni R, Nicola R, Loreti M (2008) Sessions and pipelines for structured service programming. In: Barthe G, Boer F (eds) FMOODS. LNCS, vol 5051. Springer, Berlin, pp 19\u201338","DOI":"10.1007\/978-3-540-68863-1_3"},{"issue":"1","key":"218_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.jlap.2010.02.001","volume":"80","author":"M-E Cambronero","year":"2011","unstructured":"Cambronero M-E et al (2011) Validation and verification of web services choreographies by using timed automata. J Log Algebraic Program 80(1):25\u201349","journal-title":"J Log Algebraic Program"},{"key":"218_CR11","unstructured":"Capecchi S, Giachino E, Yoshida N (2010) Global escape in multiparty session. In: FSTTCS. LNCS, vol 8, pp 338\u2013351"},{"key":"218_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.entcs.2009.06.003","volume":"241","author":"M Carbone","year":"2009","unstructured":"Carbone M (2009) Session-based choreography with exceptions. Electron Notes Theor Comput Sci 241:35\u201355","journal-title":"Electron Notes Theor Comput Sci"},{"key":"218_CR13","doi-asserted-by":"crossref","unstructured":"Carbone M, Honda K, Yoshida N (2008) Structured interactional exceptions in session types. In: CONCUR. LNCS, vol 5201. Springer, Berlin, pp 402\u2013417","DOI":"10.1007\/978-3-540-85361-9_32"},{"key":"218_CR14","unstructured":"W3C WS-CDL. http:\/\/www.w3.org\/2002\/ws\/chor\/"},{"key":"218_CR15","unstructured":"Chen T-C (2013) Theories for session-based governance for large-scale distributed systems. PhD thesis, Queen Mary, University of London, London"},{"key":"218_CR16","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou P-M, Yoshida N (2012) Multiparty session types meet communicating automata. In: ESOP. LNCS. Springer, Berlin, pp 194\u2013213","DOI":"10.1007\/978-3-642-28869-2_10"},{"key":"218_CR17","doi-asserted-by":"crossref","unstructured":"Gan Y, Chechik M, Nejati S, Bennett J, O\u2019Farrell B, Waterhouse J (2007) Runtime monitoring of web service conversations. In: CASCON. ACM, New York, pp 42\u201357","DOI":"10.1145\/1321211.1321217"},{"key":"218_CR18","doi-asserted-by":"crossref","unstructured":"Ghezzi C, Guinea S (2007) Run-time monitoring in service-oriented architectures. In: Test and analysis of web services. Springer, Berlin, pp 237\u2013264","DOI":"10.1007\/978-3-540-72912-9_9"},{"issue":"3","key":"218_CR19","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2010.76","volume":"43","author":"S Hall\u00e9","year":"2010","unstructured":"Hall\u00e9 S, Bultan T, Hughes G, Alkhalaf M, Villemaire R (2010) Runtime verification of web service interface contracts. Computer 43(3):59\u201366","journal-title":"Computer"},{"key":"218_CR20","doi-asserted-by":"crossref","unstructured":"Honda K, Yoshida N, Carbone M (2008) Multiparty Asynchronous Session Types. In: POPL. ACM, New York, pp 273\u2013284","DOI":"10.1145\/1328438.1328472"},{"key":"218_CR21","doi-asserted-by":"crossref","unstructured":"Hu R, Kouzapas D, Pernet O, Yoshida N, Honda K (2010) Type-safe eventful sessions in Java. In: ECOOP\u201910. LNCS, vol 6183. Springer-Verlag, New York, pp 329\u2013353","DOI":"10.1007\/978-3-642-14107-2_16"},{"key":"218_CR22","unstructured":"Hu R, Neykova R, Yoshida N, Demangeon R, Honda K (2013) Practical interruptible conversations\u2014distributed dynamic verification with session types and python. In: RV. LNCS, vol 8174. Springer, Berlin, pp 130\u2013148"},{"key":"218_CR23","doi-asserted-by":"crossref","unstructured":"Jak\u0161i\u0107 S, Padovani L (2012) Exception handling for copyless messaging. In: PPDP. ACM, New York, pp 151\u2013162","DOI":"10.1145\/2370776.2370796"},{"key":"218_CR24","unstructured":"Jass Home Page. http:\/\/modernjass.sourceforge.net\/"},{"key":"218_CR25","unstructured":"Jboss Savara project. http:\/\/www.jboss.org\/savara\/downloads"},{"key":"218_CR26","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger IH, Meisinger M, Menarini M (2007) Runtime verification of interactions: from mscs to aspects. In: RV, RV. Springer-Verlag, Berlin, pp 63\u201374","DOI":"10.1007\/978-3-540-77395-5_6"},{"issue":"3","key":"218_CR27","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1093\/logcom\/exn079","volume":"20","author":"IH Kr\u00fcger","year":"2010","unstructured":"Kr\u00fcger IH, Meisinger M, Menarini M (2010) Interaction-based runtime verification for systems of systems integration. J Log Comput 20(3):725\u2013742","journal-title":"J Log Comput"},{"key":"218_CR28","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, Berlin, pp 33\u201347","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"218_CR29","unstructured":"LAVANA project. http:\/\/www.cs.um.edu.mt\/svrg\/Tools\/LARVA\/"},{"key":"218_CR30","doi-asserted-by":"crossref","unstructured":"Li Z, Han J, Jin Y (2005) Pattern-based specification and validation of web services interaction properties. In: ICSOC\u201905, pp 73\u201386","DOI":"10.1007\/11596141_7"},{"key":"218_CR31","doi-asserted-by":"crossref","unstructured":"Li Z, Jin Y, Han J (2006) A runtime monitoring and validation framework for web service interactions. In: ASWEC, IEEE","DOI":"10.1109\/ASWEC.2006.6"},{"key":"218_CR32","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"NH Minsky","year":"2000","unstructured":"Minsky NH, Ungureanu V (2000) Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. TOSEM 9:273\u2013305","journal-title":"TOSEM"},{"key":"218_CR33","doi-asserted-by":"crossref","unstructured":"Ng N, Yoshida N, Honda K (2012) Multiparty session c: Safe parallel programming with message optimisation. In: TOOLS. LNCS, vol 7304. Springer, Berlin, pp 202\u2013218","DOI":"10.1007\/978-3-642-30561-0_15"},{"key":"218_CR34","unstructured":"Ocean Observatories Initative. http:\/\/www.oceanobservatories.org\/"},{"key":"218_CR35","unstructured":"OOI codebase. https:\/\/github.com\/ooici\/pyon"},{"key":"218_CR36","unstructured":"Scribble extensions for OOI integration. https:\/\/confluence.oceanobservatories.org\/display\/CIDev\/Identify+required+Scribble+extensions+for+advanced+scenarios+of+R3+COI"},{"key":"218_CR37","unstructured":"OOI, COI governance framework. https:\/\/confluence.oceanobservatories.org\/display\/syseng\/CIAD+COI+OV+Governance+Framework"},{"key":"218_CR38","unstructured":"Rubira CMF, Wu Z (1995) Fault tolerance in concurrent object-oriented software through coordinated error recovery. In: IEEE Computer Society, FTCS \u201995, Washington, DC, pp 499\u2013509"},{"key":"218_CR39","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn G (2010) Analysis and verification of service interaction protocols - a brief survey. In: TAV-WEB. EPTCS, vol 35, pp 75\u201386","DOI":"10.4204\/EPTCS.35.7"},{"key":"218_CR40","unstructured":"JBoss Savara Project. http:\/\/www.jboss.org\/savara"},{"key":"218_CR41","unstructured":"Scribble Project homepage. http:\/\/www.scribble.org"},{"key":"218_CR42","unstructured":"Full version of this paper. http:\/\/www.doc.ic.ac.uk\/rn710\/mon"},{"key":"218_CR43","unstructured":"Tartanoglu F, Issarny V, Romanovsky A, Levy N (2003) Coordinated forward error recovery for compositeweb services. In: IEEE symposium on reliable distributed systems, pp 167\u2013176"},{"key":"218_CR44","doi-asserted-by":"crossref","unstructured":"Vieira HT, 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":"218_CR45","doi-asserted-by":"crossref","unstructured":"Xu J, Romanovsky A, Randell B (1998) Coordinated exception handling in distributed object systems: From model to system implementation. In: ICDCS, IEEE Computer Society, Washington, DC, pp 12\u201321","DOI":"10.1109\/ICDCS.1998.679465"},{"key":"218_CR46","doi-asserted-by":"crossref","unstructured":"Zhang W, Serban C, Minsky N (2007) Establishing global properties of multi-agent systems via local laws. In: E4MAS, pp 170\u2013183","DOI":"10.1007\/978-3-540-71103-2_10"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-014-0218-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-014-0218-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-014-0218-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T17:27:34Z","timestamp":1566062854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-014-0218-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,19]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["218"],"URL":"https:\/\/doi.org\/10.1007\/s10703-014-0218-8","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,19]]}}}