{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:58Z","timestamp":1725563098934},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144578"},{"type":"electronic","value":"9783642144585"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14458-5_6","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T08:33:35Z","timestamp":1282552415000},"page":"92-109","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Semantics for the WS-BPEL Recovery Framework"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Dragoni","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Mazzara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Web services flow language (wsfl 1.0), \n                  \n                    http:\/\/www.ebpml.org\/wsfl.htm"},{"key":"6_CR2","unstructured":"Xlang: Web services for business process design, \n                  \n                    http:\/\/www.ebpml.org\/xlang.htm"},{"key":"6_CR3","unstructured":"Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (wsdl 1.1), W3C Recommendation (June 26, 2007), \n                  \n                    http:\/\/www.w3.org\/TR\/wsdl20\/"},{"issue":"10","key":"6_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"P. Chris","year":"2003","unstructured":"Chris, P.: Web services orchestration and choreography. Computer\u00a036(10), 46\u201352 (2003)","journal-title":"Computer"},{"key":"6_CR5","unstructured":"World Wide\u00a0Web Consortium. Extensible markup language (xml) 1.0. W3C Recommendation: \n                  \n                    http:\/\/www.w3.org\/XML\/"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Decker, G., Leymann, F., Weske, M.: Bpel4chor: Extending bpel for modeling choreographies. In: Proceedings International Conference on Web Services, ICWS (2007)","DOI":"10.1109\/ICWS.2007.59"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-642-01364-5_7","volume-title":"WS-FM 2008","author":"C. Eisentraut","year":"2009","unstructured":"Eisentraut, C., Spieler, D.: Fault, compensation and termination in ws-bpel 2.0 \u2013 a comparative analysis. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 107\u2013126. Springer, Heidelberg (2009)"},{"key":"6_CR8","unstructured":"Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.J., Nielsen, H.F., Karmarkar, A., Lafon, Y.: Simple object access protocol (soap) 1.1, W3C Recommendation (April 27, 2007), \n                  \n                    http:\/\/www.w3.org\/TR\/soap12-part1\/"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-68265-3_13","volume-title":"Coordination Models and Languages","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"key":"6_CR11","unstructured":"Little, M.: Web services transactions: Past, present and future, \n                  \n                    http:\/\/www.jboss.org\/dms\/jbosstm\/resources\/presentations\/XML2003.pdf"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna (2006)","DOI":"10.1007\/11841197_17"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11417019_1","volume-title":"Coordination Models and Languages","author":"M. Mazzara","year":"2005","unstructured":"Mazzara, M., Govoni, S.: A case study of web services orchestration. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 1\u201316. Springer, Heidelberg (2005)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841197_17","volume-title":"Web Services and Formal Methods","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 257\u2013272. Springer, Heidelberg (2006)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR17","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"6_CR18","unstructured":"OASIS Web Services Business Process Execution Language\u00a0(WSBPEL) TC. Web services business process execution language version 2.0., \n                  \n                    http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"6_CR19","unstructured":"van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat humble pie rather than further inflate the Pi hype (2004), \n                  \n                    http:\/\/is.tm.tue.nl\/research\/patterns\/download\/pi-hype.pdf"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-00945-7_13","volume-title":"Trustworthy Global Computing","author":"C. Vaz","year":"2009","unstructured":"Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 201\u2013215. Springer, Heidelberg (2009)"},{"key":"6_CR21","unstructured":"W3C. Http - hypertext transfer protocol, \n                  \n                    http:\/\/www.w3.org\/protocols"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1109\/APSCC.2007.36","volume-title":"APSCC 2007: Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference","author":"M. Weidlich","year":"2007","unstructured":"Weidlich, M., Decker, G., Weske, M.: Efficient analysis of bpel 2.0 processes using pi-calculus. In: APSCC 2007: Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference, Washington, DC, USA, 2007, pp. 266\u2013274. IEEE Computer Society, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14458-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T02:41:03Z","timestamp":1578537663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14458-5_6"}},"subtitle":["The \u03c0-Calculus Way"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144578","9783642144585"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14458-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}