{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171516},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_24","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"333-348","source":"Crossref","is-referenced-by-count":11,"title":["Reasoning About Interaction Patterns in Choreography"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Gorrieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Guidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Lucchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: SAC, pp. 831\u2013835 (2005)","DOI":"10.1145\/1066677.1066867"},{"key":"24_CR2","series-title":"ENTCS","volume-title":"Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004)","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Bravetti, M., Zavattaro, G. (eds.) Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004). ENTCS, vol.\u00a0105. Elsevier, Amsterdam (2004)"},{"key":"24_CR3","volume-title":"Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005)","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press, Los Alamitos (2005) (to appear)"},{"key":"24_CR4","unstructured":"Leymann, F.: Web Services Flow Language (WSFL 1.0) ]Member IBM Academy of Technology, IBM Software Group (2001), \n                    \n                      http:\/\/www-4.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"24_CR5","unstructured":"Microsoft, I.B.M., Siebel Systems, B.: Business Process Execution Language for Web Services Version 1.1, \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"24_CR6","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft\u00a0 Corporation (2001), \n                    \n                      http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/default.htm"},{"key":"24_CR7","unstructured":"W3C. Web Services Choreography Description Language Version 1.0. Working draft (December 17, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041217\/"},{"key":"24_CR8","unstructured":"W3C. Web Services Choreography Working Group, public mailing list. public-ws-chor@w3.org"},{"key":"24_CR9","unstructured":"W3C. Web Services Description Language (WSDL) 1.1, \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"24_CR10","unstructured":"World Wide Web\u00a0Consortium (W3C). Web service choreography interface (wsci) 1.0\u00a0(2002), \n                    \n                      http:\/\/www.w3.org\/TR\/wsci"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:50Z","timestamp":1619506730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11549970_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}