{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:25Z","timestamp":1762459405876,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395692"},{"type":"electronic","value":"9783319395708"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_5","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"62-73","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Playing with Our CAT and Communication-Centric Applications"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian-Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004). \n                    http:\/\/dblp.uni-trier.de\/db\/journals\/mscs\/mscs14.html#Arbab04","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006). \n                    http:\/\/dx.doi.org\/10.1016\/j.scico.2005.10.008","journal-title":"Sci. Comput. Program."},{"key":"5_CR3","unstructured":"Basile, D.: JAMATA and CAT. \n                    https:\/\/github.com\/davidebasile\/workspace"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-662-45917-1_3","volume-title":"Trustworthy Global Computing","author":"D Basile","year":"2014","unstructured":"Basile, D., Degano, P., Ferrari, G.-L.: Automata for analysing service contracts. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 34\u201350. Springer, Heidelberg (2014)"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4204\/EPTCS.166.8","volume":"166","author":"Davide Basile","year":"2014","unstructured":"Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: From orchestration to choreography through contract automata. In: ICE 2014, pp. 67\u201385 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.jlamp.2015.09.011","volume":"85","author":"D Basile","year":"2016","unstructured":"Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: Relating two automata-based models of orchestration and choreography. J. Logical Algebr. Methods Programm. 85(3), 425\u2013446 (2016). \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220815000930","journal-title":"J. Logical Algebr. Methods Programm."},{"key":"5_CR7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, Secaucus (2006)"},{"key":"5_CR8","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Mathematical Programming Language. AT & T Bell Laboratories Murray Hill, NJ 07974 (1987)"},{"key":"5_CR9","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW 2004, pp. 621\u2013630. ACM (2004). \n                    http:\/\/doi.acm.org\/10.1145\/988672.988756"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"5_CR11","volume-title":"Business Process Execution Language for Web Services BPEL and BPEL4WS","author":"MB Juric","year":"2006","unstructured":"Juric, M.B.: Business Process Execution Language for Web Services BPEL and BPEL4WS, 2nd edn. Packt Publishing, Birmingham (2006)","edition":"2"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-79230-7_8","volume-title":"Web Services and Formal Methods","author":"S Tasharofi","year":"2008","unstructured":"Tasharofi, S., Vakilian, M., Moghaddam, R.Z., Sirjani, M.: Modeling web service interactions using the coordination language reo. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 108\u2013123. Springer, Heidelberg (2008). \n                    http:\/\/dblp.uni-trier.de\/db\/conf\/wsfm\/wsfm2007.html#TasharofiVMS07"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: Web Services (2004)","DOI":"10.1109\/ICWS.2004.1314753"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:09:35Z","timestamp":1590192575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}