{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:47Z","timestamp":1725514727002},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682646"},{"type":"electronic","value":"9783540682653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68265-3_13","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T11:35:39Z","timestamp":1212579339000},"page":"199-215","source":"Crossref","is-referenced-by-count":20,"title":["A Formal Account of WS-BPEL"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Lapadula","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"ActiveBPEL 4.1 (September 2007), \n                  \n                    http:\/\/www.active-endpoints.com"},{"key":"13_CR2","unstructured":"Apache ODE 1.1.1 (August 2007), \n                  \n                    http:\/\/ode.apache.org"},{"key":"13_CR3","unstructured":"Oracle BPEL Process Manager 10.1.3 (December 2007), \n                  \n                    http:\/\/www.oracle.com\/technology\/bpel"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"13_CR5","unstructured":"Brown, A., Johnston, S., Kelly, K.: Using service-oriented architecture and component-based development to build web service applications, TR, Rational Software Corp. (2002)"},{"key":"13_CR6","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.J., Ferreira, C., Hoare, C.A.R., Melgratti, H.C., 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":"13_CR7","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209\u2013220. ACM, New York (2005)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M.J. Butler","year":"2004","unstructured":"Butler, M.J., 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":"13_CR9","unstructured":"Box, D.: et\u00a0al. Web services addressing. W3C member submission, August 10 (2004)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"FASE","author":"A. Fantechi","year":"2008","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: FASE. LNCS, Springer, Heidelberg (to appear, 2008)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","first-page":"350","volume-title":"FM 2005: Formal Methods","author":"P. Geguang","year":"2005","unstructured":"Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 350\u2013365. Springer, Heidelberg (2005)"},{"issue":"1","key":"13_CR12","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 TOPLAS\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM TOPLAS"},{"key":"13_CR13","volume-title":"ACSD","author":"C. Guidi","year":"2008","unstructured":"Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: ACSD, IEEE CS Press, Los Alamitos (to appear, 2008)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"13_CR15","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":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-75698-9_15","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 223\u2013239. Springer, Heidelberg (2007)"},{"key":"13_CR18","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL (full version), Technical report, Univ. Firenze (2008), \n                  \n                     http:\/\/rap.dsi.unifi.it\/cows"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Web Services and Formal Methods. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR20","first-page":"96","volume":"70","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lucchi, R.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"10","key":"13_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"L.G. Meredith","year":"2003","unstructured":"Meredith, L.G., Bjorg, S.: Contracts and types. Commun. ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Commun. ACM"},{"key":"13_CR22","unstructured":"OASIS WSBPEL TC. WS-BPEL issues list, \n                  \n                    http:\/\/www.oasis-open.org\/committees\/download.php\/20228\/WS_BPEL_issues_list.html"},{"key":"13_CR23","unstructured":"OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0 (April 2007), \n                  \n                    http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"13_CR24","unstructured":"Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal semantics and analysis of control flow in WS-BPEL (revised version). Technical report, BPM Center Report (2005), \n                  \n                    http:\/\/www.BPMcenter.org"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74974-5_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"D. Prandi","year":"2007","unstructured":"Prandi, D., Quaglia, P.: Stochastic COWS. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 245\u2013256. Springer, Heidelberg (2007)"},{"key":"13_CR26","unstructured":"van Breugel, F., Koshkina, M.: Models and verification of BPEL. Technical report (2006), \n                  \n                    http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68265-3_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:46:22Z","timestamp":1620002782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68265-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682646","9783540682653"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68265-3_13","relation":{},"subject":[]}}