Timing issues in Web Services composition

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

Volumn 3670 LNCS, Issue , 2005, Pages 287-302

  Mazzara, Manuel ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS;

DISTRIBUTED COMPONENTS; REAL COMPOSITION LANGUAGES; WEB SERVICES COMPOSITION;

WORLD WIDE WEB;

EID: 33646154873     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_21     Document Type: Conference Paper

References (31)

1. Business Process Execution Language open issues list. http://www.oasis-open.org/apps/group_public/download.php/11285/wsbpel_issues34. html.
2. Questions on Choreology's coordinated choreographies proposals. http://lists.w3.org/Archives/Public/public-ws-chor/2004Nov/0016.html.
3. Assaf Arkin et al. Web Service Business Process Execution Language. OASIS, February 2005.
4. Martin Berger. Towards Abstractions for Distributed Systems. PhD thesis, Imperial College, London, 2002.
5. Martin Berger and Kohei Honda. The Two-Phase Commit Protocol in an Extended π-Calculus. In Proc. EXPRESS'00, volume 39 of ENTCS, 2000.
6. Laura Bocchi, Cosimo Laneve and Gianluigi Zavattaro. A calculus for long running transactions. In Proc. FMOODS '03, volume 2884 of LNCS. Springer-Verlag, 2003.
7. D. Box, D. Ehnebuske, G. Kakivaya, A. Layman, N. Mendelsohn, H.F. Nielsen, S. Thatte and D. Winer. Simple Object Access Protocol (SOAP) 1.1. [http://www.w3.org/TR/SOAP/], W3C, Note 08, May 2000.
8. Roberto Bruni, Cosimo Laneve and Ugo Montanari. Orchestrating transactions in the join calculus. In CONCUR 2002, volume 2421 of LNCS. Springer-Verlag, 2002.
9. Roberto Bruni, Hernán Melgratti and Ugo Montanari. Theoretical foundations for compensations in flow composition languages. In POPL. ACM, 2005. To appear.
10. Michael Butler and Carla Ferreira. An operational semantics for stac, a langage for modelling long-running businness transactions. In COORDINATION 2004, volume 2949 of LNCS. Springer-Verlag, 2004.
11. Erik Christensen, Francisco Curbera, Greg Meredith and Sanjiva Weerawarana. Web Services Description Language (WSDL 1.1). W3C, 2001.
12. World Wide Web Consortium. Extensible Markup Language (XML) 1.0. W3C Recommendation, 1998. http://www.w3.org/TR/REC-XML.
13. Philippa Gardner, Cosimo Laneve and Lucian Wischik. The fusion machine (extended abstract). In CONCUR 2002, volume 2421 of LNCS. Springer-Verlag, 2002.
14. Claudio Guidi, Roberto Lucchi and Manuel Mazzara. A formal framework for web services coordination. In FOCLASA 2004. To appear in ENTCS, Elsevier. To appear.
15. Tony Hoare. Long-running transactions, http://research.microsoft.com.
16. Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava and Stuart M. Wheater. The CORBA activity service framework for supporting extended transactions. Softw. Pract. Exper. 33(4): 351-373 (2003).
17. Nickolas Kavantzas. Aggregating web services: Choreography and ws-cdl. http://lists.w3.org/Archives/Public/www-archive/2004Jun/att-0008/ WS-CDL-April200 4.pdf.
18. Nickolas Kavantzas, David Burdett, Gregory Ritzinger and Yves Lafon. Web Services Choreography Description Language Version 1.0. OASIS, October 2004.
19. Cosimo Laneve and Gianluigi Zavattaro. Foundations of web transactions. In Fossacs'05, volume 3441 of LNCS. Springer-Verlag, 2005.
20. Cosimo Laneve and Gianluigi Zavattaro. Webπ at work. In In Proc. of Symposium on Trustworthy Global Computing (TGC'05), LNCS. Springer-Verlag, 2005. To appear.
21. Frank Leymann. Web Services Flow Language (WSFL 1.0). [http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf], Member IBM Academy of Technology, IBM Software Group, 2001.
22. Mark Little. Web services transactions: Past, present and future. http://www.idealliance.org/papers/dx_xml03/html/abstract/05-02-02.html.
23. Roberto Lucchi and Manuel Mazzara. A π-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (JLAP). To appear.
24. Manuel Mazzara and Sergio Govoni. A case study of web services orchestration. In COORDINATION 2005, volume 3454 of LNCS. Springer-Verlag, 2005.
25. Manuel Mazzara and Roberto Lucchi. A framework for generic error handling in business processes. In First International Workshop on Web Services and Formal Methods (WS-FM), volume 105 of ENTCS. Elsevier, 2004.
26. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
27. Robin Milner, Joachim Parrow and David Walker. A Calculus for Mobile Processes. Journal of Information and Computation, 100:1-77, 1992.
28. Chris Peltz. Web services orchestration and choreography. IEEE Computer, 36(10):46-52, 2003.
29. S. Thatte. XLANG: Web Services for Business Process Design. Microsoft Corporation, 2001.
30. Wil van der Aalst. Pi-calculus versus petri nets: Let us eat 'humble pie' rather than further inflate the.
31. W3C. HTTP - HyperText Transfer Protocol Specification. www.w3.org/protocols.