A calculus for orchestration of web services

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

Volumn 4421 LNCS, Issue , 2007, Pages 33-47

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

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); PATTERN MATCHING; SEMANTICS; SYNCHRONIZATION; WEB SERVICES;

CALCULUS FOR ORCHESTRATION OF WEB SERVICES; COMPENSATION HANDLERS; FLOW GRAPHS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 37149053881     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_4     Document Type: Conference Paper

References (32)

1. A. Alves et al. Web Services Business Process Execution Language Version 2.0. Technical report, WS-BPEL TC OASIS, August 2006. http : //www. oasis-open. org/.
2. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. In FMOODS, LNCS 2884, pp. 124-138, 2003.
3. M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Laese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. T. Vasconcelos, and G. Zavattaro. SCC: a Service Centered Calculus. In WS-FM, LNCS 4184 , pp. 38-57, 2006.
4. R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. In CONCUR, LNCS 3653, pp. 383-397, 2005.
5. R. Bruni, H.C. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL, pp. 209-220. ACM, 2005.
6. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: A synergic approach for system design. In ICSOC, LNCS 3826, pp. 228-240, 2005.
7. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In COORDINATION, LNCS 4038, pp. 63-81, 2006.
8. M.J. Buder and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. In COORDINATION, LNCS 2949, pp. 87-104, 2004.
9. M.J. Butler, C.A.R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In 25 Years Communicating Sequential Processes, LNCS 3525, pp. 133-150, 2005.
10. M. Carbone and S. Maffeis. On the expressive power of polyadic synchronisation in - calculus. Nordic J. of Computing, 10(2):70-98, 2003.
11. S. Carpineti and C. Laneve. A basic contract language for web services. In ESOP, LNCS 3924, pp. 197-213, 2006.
12. S. Chaki, S. K. Rajamani, and J. Rehof. Types as models: model checking message-passing programs. In POPL, pp. 45-57, 2002.
13. H. Garcia-Molina and K. Salem. Sagas. In SIGMOD, pp. 249-259. ACM Press, 1987.
14. C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, and G. Zavattaro. SOCK: a calculus for service oriented computing. In ICSOC, LNCS 4294, pp. 327-338, 2006.
15. S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to petri nets. In Business Process Management 3649, pp. 220-235, 2005.
16. A. Igarashi and N. Kobayashi. A generic type system for the pi-calculus. Theor. Comput. &i.,311(l-3):121-163, 2004.
17. N. Kobayashi, K. Suenaga, and L. Wischik. Resource usage analysis for the π-calculus. In VMCAI, LNCS 3855, pp. 298-312, 2006.
18. C. Laneve and L. Padovani. Smooth orchestrators. In FoSSaCS, LNCS 3921, pp. 32-16, 2006.
19. C. Laneve and G. Zavattaro. Foundations of web transactions. In FoSSaCS, LNCS 3441, pp. 282-298, 2005.
20. C. Laneve and G. Zavattaro. web-pi at work. In TGC, LNCS 3705, pp. 182-194, 2005.
21. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, 2006. http://rap.dsi.unifi.it/cows
22. A. Lapadula, R. Pugliese, and F. Tiezzi. A WSDL-based type system for WS-BPEL. In COORDINATION, LNCS 4038, pp. 145-163, 2006.
23. M. Mazzara and I. Lanese. Towards a unifying theory for web services composition. In WS-FM, LNCS 4184, pp. 257-272, 2006.
24. M. Mazzara and R. Lucchi. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70(1):96-118, 2006.
25. M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. Mathematical Structures in Computer Science, 14(5):715-767, 2004.
26. R. Milner. Communication and concurrency. Prentice-Hall, 1989.
27. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Inf. Comput., 100(1):1-40, 41-77, 1992.
28. J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling. Springer, May 2006.
29. J. Parrow and B. Victor. The update calculus. In AMAST, LNCS 1349, pp. 409-423, 1997.
30. J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Logic in Computer Science, pp. 176-185, 1998.
31. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51. Springer, 2003.
32. M. Viroli. Towards a formal foundational to orchestration languages. ENTCS, 105:51-71. Elsevier, 2004.