{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:54Z","timestamp":1761596934522},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_21","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"287-302","source":"Crossref","is-referenced-by-count":5,"title":["Timing Issues in Web Services Composition"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Mazzara","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Business Process Execution Language open issues list, \n                    \n                      http:\/\/www.oasis-open.org\/apps\/group_public\/download.php\/11285\/wsbpel_issues34.html"},{"key":"21_CR2","unstructured":"Questions on Choreology\u2019s coordinated choreographies proposals, \n                    \n                      http:\/\/lists.w3.org\/Archives\/Public\/public-ws-chor\/2004Nov\/0016.html"},{"key":"21_CR3","unstructured":"Arkin, A., et al.: Web Service Business Process Execution Language. In: OASIS (February 2005)"},{"key":"21_CR4","unstructured":"Berger, M.: Towards Abstractions for Distributed Systems. PhD thesis. Imperial College, London (2002)"},{"key":"21_CR5","unstructured":"Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended \u03c0-Calculus. In: Proc.\u00a0EXPRESS 2000. ENTCS, vol.\u00a039 (2000)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"21_CR7","unstructured":"Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H.F., Thatte, S., Winer, D.: Simple Object Access Protocol (SOAP) 1.1. [ ], W3C, Note (May 08, 2000), \n                    \n                      http:\/\/www.w3.org\/TR\/SOAP\/"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45694-5_22","volume-title":"CONCUR 2002 - Concurrency Theory","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in the join calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 321. Springer, Heidelberg (2002)"},{"key":"21_CR9","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL. ACM, New York (2005) (to appear)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M. Butler","year":"2004","unstructured":"Butler, M., Ferreira, C.: An operational semantics for stac, a langage for modelling long-running businness transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949. Springer, Heidelberg (2004)"},{"key":"21_CR11","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1). W3C (2001)"},{"key":"21_CR12","unstructured":"World Wide\u00a0Web Consortium. Extensible Markup Language (XML) 1.0. W3C Recommendation (1998), \n                    \n                      http:\/\/www.w3.org\/TR\/REC-XML"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-45694-5_28","volume-title":"CONCUR 2002 - Concurrency Theory","author":"P. Gardner","year":"2002","unstructured":"Gardner, P., Laneve, C., Wischik, L.: The fusion machine (extended abstract). In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 418. Springer, Heidelberg (2002)"},{"key":"21_CR14","series-title":"ENTCS","volume-title":"FOCLASA 2004","author":"C. Guidi","year":"2004","unstructured":"Guidi, C., Lucchi, R., Mazzara, M.: A formal framework for web services coordination. In: FOCLASA 2004. ENTCS, Elsevier, Amsterdam (2004) (to appear)"},{"key":"21_CR15","unstructured":"Hoare, T.: Long-running transactions, \n                    \n                      http:\/\/research.microsoft.com"},{"issue":"4","key":"21_CR16","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1002\/spe.512","volume":"33","author":"I. Houston","year":"2003","unstructured":"Houston, I., Little, M.C., Robinson, I., Shrivastava, S.K., Wheater, S.M.: The CORBA activity service framework for supporting extended transactions. Softw. Pract. Exper.\u00a033(4), 351\u2013373 (2003)","journal-title":"Softw. Pract. Exper."},{"key":"21_CR17","unstructured":"Kavantzas, N.: Aggregating web services: Choreography and ws-cdl, \n                    \n                      http:\/\/lists.w3.org\/Archives\/Public\/www-archive\/2004Jun\/att-0008\/WS-CDL-April2004.pdf"},{"key":"21_CR18","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. In: OASIS (October 2004)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11580850_11","volume-title":"Trustworthy Global Computing","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Web\u03c0 at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 182\u2013194. Springer, Heidelberg (2005)"},{"key":"21_CR21","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":"21_CR22","unstructured":"Little, M.: Web services transactions: Past, present and future, \n                    \n                      http:\/\/www.idealliance.org\/papers\/dx_xml03\/html\/abstract\/05-02-02.html"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Lucchi, R., Mazzara, M.: A \u03c0-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (JLAP) (to appear)","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"21_CR24","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":"21_CR25","series-title":"ENTCS","volume-title":"First International Workshop on Web Services and Formal Methods (WS-FM)","author":"M. Mazzara","year":"2004","unstructured":"Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: First International Workshop on Web Services and Formal Methods (WS-FM). ENTCS, vol.\u00a0105. Elsevier, Amsterdam (2004)"},{"key":"21_CR26","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"21_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus for Mobile Processes. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"issue":"10","key":"21_CR28","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. IEEE Computer\u00a036(10), 46\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"21_CR29","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001)"},{"key":"21_CR30","unstructured":"van der, W. Aalst .: Pi-calculus versus petri nets: Let us eat \u2019humble pie\u2019 rather than further inflate the"},{"key":"21_CR31","unstructured":"W3C. HTTP - HyperText Transfer Protocol Specification, \n                    \n                      http:\/\/www.w3.org\/protocols"}],"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_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:49Z","timestamp":1619506729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11549970_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}