{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:05Z","timestamp":1725549965329},"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_20","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"272-286","source":"Crossref","is-referenced-by-count":16,"title":["From Theory to Practice in Transactional Composition of Web Services"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hern\u00e1n","family":"Melgratti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Strollo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/3-540-55160-3_37","volume-title":"Research Directions in High-Level Parallel Programming Languages","author":"B. Anderson","year":"1992","unstructured":"Anderson, B., Shasha, D.: Persistent linda: Linda + transactions + query processing. In: Ban\u00e2tre, J.-P., Le M\u00e9tayer, D. (eds.) Research Directions in High-Level Parallel Programming Languages 1991. LNCS, vol.\u00a0574, pp. 93\u2013109. Springer, Heidelberg (1992)"},{"key":"20_CR2","unstructured":"BizTalk Server Web site, \n                    \n                      http:\/\/www.microsoft.com\/biztalkserver"},{"key":"20_CR3","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":"20_CR4","unstructured":"BPEL Specification (v.1.1), \n                    \n                      http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\n                    \n                    \n                  ."},{"key":"20_CR5","unstructured":"BPEL and BTP issues list, \n                    \n                      http:\/\/www.choreology.com\/external"},{"key":"20_CR6","unstructured":"Business Process Modeling Language, \n                    \n                      http:\/\/www.bpmi.org\/BPML.htm"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11539452_30","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"20_CR8","first-page":"569","volume-title":"Proc. of IFIP-TCS 2004","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Proc. of IFIP-TCS 2004, pp. 569\u2013582. Kluwer, Dordrecht (2004)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"Proc. of POPL 2005","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL 2005, pp. 209\u2013220. ACM Press, New York (2005)"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1017\/S0960129504004189","volume":"14","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Montanari, U.: Concurrent models for Linda with Transactions. Mathematical Structure in Computer Science\u00a014(3), 421\u2013468 (2004)","journal-title":"Mathematical Structure in Computer Science"},{"key":"20_CR11","series-title":"Elect. Notes in Th. Comput. Sci","volume-title":"On the serializability of transactions in javaspaces","author":"N. Busi","year":"2001","unstructured":"Busi, N., Zavattaro, G.: On the serializability of transactions in javaspaces. Elect. Notes in Th. Comput. Sci, vol.\u00a054. Elsevier, Amsterdam (2001)"},{"issue":"4","key":"20_CR12","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1147\/sj.414.0743","volume":"41","author":"M. Butler","year":"2002","unstructured":"Butler, M., Chessell, M., Ferreira, C., Griffin, C., Henderson, P., Vines, D.: Extending the concept of transaction compensation. IBM Systems Journal\u00a041(4), 743\u2013758 (2002)","journal-title":"IBM Systems Journal"},{"key":"20_CR13","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":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"issue":"3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/j.tcs.2003.09.014","volume":"322","author":"T. Chothia","year":"2004","unstructured":"Chothia, T., Duggan, D.: An architecture for secure fault-tolerant global applications. Theor. Comput. Sci.\u00a0322(3), 567\u2013613 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V. Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 292\u2013307. Springer, Heidelberg (2004)"},{"issue":"1","key":"20_CR17","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-24725-8_18","volume-title":"Programming Languages and Systems","author":"A. Hosking","year":"2004","unstructured":"Hosking, A., Jagannathan, S., Vitek, J., Welc, A.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 249\u2013263. Springer, Heidelberg (2004)"},{"issue":"4","key":"20_CR19","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1002\/spe.512","volume":"33","author":"I. Houston","year":"2003","unstructured":"Houston, I., Little, M., Robinson, I., Shrivastava, S., Wheater, S.: The corba activity service framework for supporting extended transactions. Softw. Pract. Exper.\u00a033(4), 351\u2013373 (2003)","journal-title":"Softw. Pract. Exper."},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-24634-3_15","volume-title":"Coordination Models and Languages","author":"S. Jagannathan","year":"2004","unstructured":"Jagannathan, S., Vitek, J.: Optimistic concurrency semantics for transactions in coordination languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 183\u2013198. Springer, Heidelberg (2004)"},{"key":"20_CR21","unstructured":"Java Transactional Web Services, \n                    \n                      http:\/\/www.di.unipi.it\/~etuosto\/jtws.html"},{"key":"20_CR22","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":"20_CR23","unstructured":"Leymann, F.: Web Services Flow Language (v.1.0), \n                    \n                      http:\/\/www-306.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"20_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":"20_CR25","series-title":"Elect. Notes in Th. Comput. Sci","first-page":"133","volume-title":"Proc. of WS-FM 2004","author":"M. Mazzara","year":"2004","unstructured":"Mazzara, M., Lucchi, R.: Proc. of WS-FM 2004. Elect. Notes in Th. Comput. Sci, vol.\u00a0105, pp. 133\u2013145. Elsevier, Amsterdam (2004)"},{"key":"20_CR26","unstructured":"Oracle BPEL Process Manager, \n                    \n                      http:\/\/www.oracle.com\/technology\/bpel"},{"key":"20_CR27","unstructured":"Strollo, D.: Composizionalit\u00e0 di transazioni e Web Services nell\u2019ambito della telefonia mobile. Master\u2019s thesis, Dipartimento di Informatica, Pisa (2005) (in Italian)"},{"key":"20_CR28","unstructured":"WebSphere, \n                    \n                      http:\/\/www-306.ibm.com\/software\/info1\/websphere\/index.jsp"},{"key":"20_CR29","unstructured":"Web Services Choreography Description Language (v.1.0), \n                    \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10"},{"key":"20_CR30","unstructured":"Web Services Conversation Language (v.1.0), \n                    \n                      http:\/\/www.w3.org\/TR\/wscl10\/"},{"key":"20_CR31","unstructured":"Web Services for Business Process Design (XLANG), \n                    \n                      http:\/\/www.gotdotnet.com\/"}],"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_20.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_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11549970_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}