{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:34Z","timestamp":1761597214012,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540256304"},{"type":"electronic","value":"9783540320067"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11417019_1","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T17:56:39Z","timestamp":1278870999000},"page":"1-16","source":"Crossref","is-referenced-by-count":17,"title":["A Case Study of Web Services Orchestration"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Mazzara","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Govoni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Andrews, T., Curbera, F., et al.: Web Service Business Process Execution Language, Working Draft, Version 2.0, December 1 (2004)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-28644-8_8","volume-title":"CONCUR 2004 - Concurrency Theory","author":"M. Berger","year":"2004","unstructured":"Berger, M.: Basic Theory of Reduction Congruence for Two Timed Asynchronous \u03c0-calculi. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 115\u2013130. Springer, Heidelberg (2004)"},{"key":"1_CR3","unstructured":"Berger, M.: Towards Abstractions for Distributed Systems. PhD Thesis, Imperial College, London (2002)"},{"key":"1_CR4","volume-title":"EXPRESS 2000: Proceedings of the 7th International Workshop on Expressiveness in Concurrency, ENTCS","author":"M. Berger","year":"2000","unstructured":"Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended \u03c0-Calculus. In: EXPRESS 2000: Proceedings of the 7th International Workshop on Expressiveness in Concurrency, ENTCS, vol.\u00a039(1). Elsevier, Amsterdam (2000)"},{"key":"1_CR5","unstructured":"Microsoft BizTalk Server, Microsoft Corporation, \n                  \n                    http:\/\/www.microsoft.com\/biztalk\/default.asp"},{"key":"1_CR6","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 Join Calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 321\u2013337. Springer, Heidelberg (2002)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: To appear in POPL 2005 (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"1_CR8","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":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","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 Language for Modelling Long-running Business Transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"1_CR10","unstructured":"Chessel, M., Vines, D., Griffin, C., Green, V., Warr, K.: Business Process Beans: System Design and Architecture Document. Technical report.IBM UK Laboratories (January 2001)"},{"key":"1_CR11","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1), W3C, Note 15 (2001), \n                  \n                    www.w3.org\/TR\/wdsl"},{"key":"1_CR12","unstructured":"Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination. In: 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, London (2004)"},{"key":"1_CR13","unstructured":"Hoare, T.: Long-Running Transactions. Powerpoint presentation, \n                  \n                    http:\/\/research.microsoft.com\/"},{"key":"1_CR14","unstructured":"Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web Services Choreography Description Languages,\n                  \n                    http:\/\/otn.oracle.com\/tech\/webservices\/ht-docs\/spec\/cdl_v1.0.pdf"},{"key":"1_CR15","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":"1_CR16","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":"1_CR17","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":"1_CR18","doi-asserted-by":"crossref","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). Pisa (2004)","DOI":"10.1016\/j.entcs.2004.05.002"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Function as Processes. Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR20","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":"1_CR21","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 of mobile processes. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"key":"1_CR22","volume-title":"LICS 1998: Proceedings of the 13th Symposium on Logic in Computer Science","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: LICS 1998: Proceedings of the 13th Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"10","key":"1_CR23","doi-asserted-by":"publisher","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":"1_CR24","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"1_CR25","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corporation (2001), \n                  \n                    http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/default.htm"},{"key":"1_CR26","unstructured":"Universal Description, Discovery and Integration for Web Services (UDDI) V3 Specification, \n                  \n                    http:\/\/uddi.org\/pubs\/uddiv3.htm"},{"key":"1_CR27","unstructured":"van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat \u201chumble pie\u201d rather than further inflate the \u201dPi hype\u201d \n                  \n                    http:\/\/mitwww.tm.tue.nl\/staff\/wvdaalst\/publications\/pi-hype.pdf"},{"key":"1_CR28","unstructured":"Workflow Management Coalition, \n                  \n                    http:\/\/www.wfmc.org\/"},{"key":"1_CR29","unstructured":"WS-Coordination Specification, \n                  \n                    http:\/\/www-106.ibm.com\/developerworks\/library\/ws-coor\/"},{"key":"1_CR30","unstructured":"WS-Transaction Specification, \n                  \n                    http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-transpec\/"},{"key":"1_CR31","volume-title":"Transactional Information Systems","author":"B. Weikum","year":"2002","unstructured":"Weikum, B., Vossen, G.: Transactional Information Systems. Morgan Kaufmann, San Francisco (2002)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11417019_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T23:35:07Z","timestamp":1552692907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11417019_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540256304","9783540320067"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11417019_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}