A formal account of WS-BPEL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5052 LNCS, Issue , 2008, Pages 199-215

  Lapadula, Alessandro ^a   Pugliese, Rosario ^a   Tiezzi, Francesco ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

(E ,3E) PROCESS; BUSINESS TRANSACTIONS; COORDINATION MODELS; FORMAL PRESENTATIONS; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); PARTNER (CO); SPRINGER (CO); WS-BPEL ENGINES;

CLARIFICATION; INFORMATION SERVICES; INFORMATION THEORY; LINGUISTICS;

QUERY LANGUAGES;

EID: 45749144773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_13     Document Type: Conference Paper

References (26)

1. ActiveBPEL4.1 (September 2007), http://www.active-endpoints.com
2. Apache ODE 1.1.1 (August 2007), http://ode.apache.org
3. Oracle BPEL Process Manager 10.1.3 (December 2007), http://www.oracle. com/ technology/bpel
4. Bocchi, L., Laneve, C, Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124-138. Springer, Heidelberg (2003)
5. Brown, A., Johnston, S., Kelly, K.: úsing service-oriented architecture and component-based development to build web service applications, TR, Rational Software Corp. (2002)
6. 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. 3653, pp. 383-397. Springer, Heidelberg (2005)
7. Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209-220. ACM, New York (2005)
8. 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. 2949, pp. 87-104. Springer, Heidelberg (2004)
9. Box, D.: et al. Web services addressing. W3C member submission, August 10 (2004)
10. Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: FASE 2008. LNCS, vol. 4961. Springer, Heidelberg (2008)
11. 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. 3582, pp. 350-365. Springer, Heidelberg (2005)
12. Gelernter, D.: Generative communication in Linda. ACM TOPLAS 7(1), 80-112 (1985)
13. 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)
14. 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. 4294, pp. 327-338. Springer, Heidelberg (2006)
15. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)
16. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33-47. Springer, Heidelberg (2007)
17. Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223-239. Springer, Heidelberg (2007)
18. Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL (full version), Technical report, Univ. Firenze (2008), http://rap.dsi.unifi .it/cows
19. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Web Services and Formal Methods. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
20. Mazzara, M., Lucchi, R.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70(1), 96-118 (2006)
21. Meredith, L.G., Bjorg, S.: Contracts and types. Commun. ACM 46(10), 41-47 (2003)
22. OASIS WSBPEL TC. WS-BPEL issues list, http://www.oasis-open.org/ committees/ download.php/2θ228/WS.BPEL_issues_list.html
23. OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0 (April 2007), http://docs.oasis-open.Org/wsbpel/2.θ/OS/wsbpel-v2. θ-0S.html
24. 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), http://www.BPMcenter.org
25. Prandi, D., Quaglia, P.: Stochastic COWS. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245-256. Springer, Heidelberg (2007)
26. van Breugel, F., Koshkina, M.: Models and verification of BPEL. Technical report (2006), http://www.cse.yorku.ca/∼ franck/research/drafts/tutorial. pdf