{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:53:58Z","timestamp":1725749638301},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_8","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T23:18:35Z","timestamp":1379546315000},"page":"130-148","source":"Crossref","is-referenced-by-count":23,"title":["Practical Interruptible Conversations"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Hu","sequence":"first","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"}]},{"given":"Romain","family":"Demangeon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"8_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1103845.1094839","volume":"40","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. SIGPLAN Not\u00a040(10), 345\u2013364 (2005)","journal-title":"SIGPLAN Not"},{"unstructured":"Advanced Message Queuing protocols (AMQP) homepage, \n                    \n                      http:\/\/jira.amqp.org\/confluence\/display\/AMQP\/Advanced+Message+Queuing+Protocol","key":"8_CR2"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D. Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring mass from multiparty global session types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS, vol.\u00a07784, pp. 76\u201395. Springer, Heidelberg (2013)"},{"issue":"10","key":"8_CR4","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1145\/1297105.1297070","volume":"42","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. SIGPLAN Not\u00a042(10), 589\u2013608 (2007)","journal-title":"SIGPLAN Not"},{"doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004, pp. 193\u2013202 (2004)","key":"8_CR5","DOI":"10.1145\/1035167.1035195"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","volume-title":"Formal Techniques for Distributed Systems","author":"L. Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol.\u00a07892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","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.: Validation and verification of web services choreographies by using timed automata. J. Log. Algebr. Program.\u00a080(1), 25\u201349 (2011)","journal-title":"J. Log. Algebr. Program."},{"unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty session. In: FSTTCS 2010. LIPICS, vol.\u00a08, pp. 338\u2013351 (2010)","key":"8_CR9"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2009.06.003","volume":"241","author":"M. Carbone","year":"2009","unstructured":"Carbone, M.: Session-based choreography with exceptions. Electr. Notes Theor. Comput. Sci.\u00a0241, 35\u201355 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-85361-9_32","volume-title":"CONCUR 2008 - Concurrency Theory","author":"M. Carbone","year":"2008","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured interactional exceptions in session types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 402\u2013417. Springer, Heidelberg (2008)"},{"unstructured":"W3C WS-CDL, \n                    \n                      http:\/\/www.w3.org\/2002\/ws\/chor\/","key":"8_CR12"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P.-M. Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Gan, Y., et al.: Runtime monitoring of web service conversations. In: CASCON 2007, pp. 42\u201357. ACM (2007)","key":"8_CR14","DOI":"10.1145\/1321211.1321217"},{"doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Test and Analysis of Web Services, pp. 237\u2013264. Springer (2007)","key":"8_CR15","DOI":"10.1007\/978-3-540-72912-9_9"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","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.: Runtime verification of web service interface contracts. Computer\u00a043(3), 59\u201366 (2010)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284. ACM (2008)","key":"8_CR17","DOI":"10.1145\/1328897.1328472"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"unstructured":"Jass Home Page, \n                    \n                      http:\/\/modernjass.sourceforge.net\/","key":"8_CR19"},{"unstructured":"Jboss\u00a0Savara project, \n                    \n                      http:\/\/www.jboss.org\/savara\/downloads","key":"8_CR20"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-77395-5_6","volume-title":"Runtime Verification","author":"I.H. Kr\u00fcger","year":"2007","unstructured":"Kr\u00fcger, I.H., Meisinger, M., Menarini, M.: Runtime verification of interactions: from mscs to aspects. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 63\u201374. Springer, Heidelberg (2007)"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1093\/logcom\/exn079","volume":"20","author":"I.H. Kr\u00fcger","year":"2010","unstructured":"Kr\u00fcger, I.H., Meisinger, M., Menarini, M.: Interaction-based runtime verification for systems of systems integration. J. Log. Comput.\u00a020(3), 725\u2013742 (2010)","journal-title":"J. Log. Comput."},{"unstructured":"LAVANA project, \n                    \n                      http:\/\/www.cs.um.edu.mt\/svrg\/Tools\/LARVA\/","key":"8_CR23"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11596141_7","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"Z. Li","year":"2005","unstructured":"Li, Z., Han, J., Jin, Y.: Pattern-based specification and validation of web services interaction properties. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 73\u201386. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service interactions. In: ASWEC 2006. IEEE (2006)","key":"8_CR25","DOI":"10.1109\/ASWEC.2006.6"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. TOSEM\u00a09, 273\u2013305 (2000)","journal-title":"TOSEM"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-30561-0_15","volume-title":"Objects, Models, Components, Patterns","author":"N. Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty Session C: Safe Parallel Programming with Message Optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"unstructured":"Ocean Observatories Initative, \n                    \n                      http:\/\/www.oceanobservatories.org\/","key":"8_CR28"},{"unstructured":"OOI, \n                    \n                      https:\/\/confluence.oceanobservatories.org\/display\/CIDev\/Identify+required+Scribble+extensions+for+advanced+scenarios+of+R3+COI","key":"8_CR29"},{"unstructured":"OOI codebase, \n                    \n                      https:\/\/github.com\/ooici\/pyon","key":"8_CR30"},{"unstructured":"OOI COI governance framework, \n                    \n                      https:\/\/confluence.oceanobservatories.org\/display\/syseng\/CIAD+COI+OV+Governance+Framework","key":"8_CR31"},{"doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G.: Analysis and verification of service interaction protocols - a brief survey. In: TAV-WEB. EPTCS, vol.\u00a035, pp. 75\u201386 (2010)","key":"8_CR32","DOI":"10.4204\/EPTCS.35.7"},{"unstructured":"JBoss Savara Project, \n                    \n                      http:\/\/www.jboss.org\/savara","key":"8_CR33"},{"unstructured":"Scribble Project homepage, \n                    \n                      http:\/\/www.scribble.org","key":"8_CR34"},{"unstructured":"Full version of this paper, \n                    \n                      http:\/\/www.doc.ic.ac.uk\/~rn710\/mon","key":"8_CR35"},{"key":"8_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-71103-2_10","volume-title":"Environments for Multi-Agent Systems III","author":"W. Zhang","year":"2007","unstructured":"Zhang, W., Serban, C., Minsky, N.: Establishing global properties of multi-agent systems via local laws. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol.\u00a04389, pp. 170\u2013183. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:21:13Z","timestamp":1558092073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}