Towards a unifying theory for web services composition

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

Volumn 4184 LNCS, Issue , 2006, Pages 257-272

  Mazzara, Manuel ^a   Lanese, Ivan ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; ENCODING (SYMBOLS); ERROR ANALYSIS; TELECOMMUNICATION SERVICES;

ORCHESTRATION LANGUAGE; WEB SERVICES;

WORLD WIDE WEB;

EID: 33845227076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_17     Document Type: Conference Paper

References (18)

1. R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous pi-calculus. Theoret. Comput. Sci., 195(2):291-324, 1998.
2. A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C. K. Liu, V. Mehta, S. Thatte, P. Yendluri, A. Yiu, and A Alves. Web services business process execution language version 2.0. Technical report, Oasis, December 2005. Working draft.
3. R. Bruni, H. C. Melgratti, and U. Montanari. Nested commits for mobile calculi: Extending join. In Proc. of IFIP TCS'04, pages 563-576. Kluwer Academics, 2004.
4. M. J. Butler, C. A. R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In 25 Years Communicating Sequential Processes, volume 3525 of Lect. Notes in Comput. Sci., pages 133-150. Springer, 2004.
5. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, and S. Weerawarana. The next step in web services. Commun. ACM, 46(10):29-34, 2003.
6. C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proc. of POPL'96, pages 372-385. ACM Press, 1996.
7. M. N. Huhns and M. P. Singh. Service-oriented computing: Key concepts and principles. IEEE Internet Computing, 9(1):75-81, 2005.
8. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FoS-SaCS'05, volume 3441 of Lect. Notes in Comput. Sci., pages 282-298. Springer, 2005.
9. F. Leymann. Web services flow language (WSFL 1.0). Technical report, IBM, May 2001.
10. R. Lucchi and M. Mazzara. A π-calculus based semantics for WS-BPEL. J. Log. Algebr. Program., 2006. To appear.
11. M. Mazzara. Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna, 2006. Also available as Technical Report UBLCS-2006-08.
12. Microsoft BizTalk. http://www.microsoft.com/biztalk/default.mspx.
13. R. Milner. Functions as processes. Math. Struct, in Comput. Sci., 2(2):119-141, 1992.
14. R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes, I and II. Inform, and Comput., 100(1):1-40,41-77, 1992.
15. C. Peltz. Web services orchestration and choreography. IEEE Computer, 36(10):46-52, 2003.
16. D. Sangiorgi and D. Walker. The π-calculus: A theory of Mobile Processes, Cambridge University Press, 2001.
17. C. Szyperski. Component Software: Beyond Object-Oriented Programming, 2nd Ed. Addison-Wesley/ACM Press, 2002.
18. S. Thatte. XLANG: Web services for businnes process design. Technical report, Microsoft Corporation, 2001. Downloadable from www.gotdotnet.com/team/ xml/wsspecs/xlang-c.