A pi-calculus based semantics for WS-BPEL

Journal of Logic and Algebraic Programming

Volumn 70, Issue 1, 2007, Pages 96-118

  Lucchi, Roberto ^a   Mazzara, Manuel ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Business process; Composition; Concurrency theory; Web services

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; DIFFERENTIATION (CALCULUS); ERROR ANALYSIS; ERROR CORRECTION; WORLD WIDE WEB;

BUSINESS PROCESS; CONCURRENCY THEORY; ERROR HANDLING; WEB SERVICES COMPOSITION;

SEMANTICS;

EID: 33750457295     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2006.05.007     Document Type: Article

References (50)

1. T. Andrews, F. Curbera, et al., Web service business process execution language, Working Draft, Version 2.0, 1 December 2004.
2. Microsoft BizTalk Server, Available from: , Microsoft Corporation.
3. Berger M., and Honda K. The two-phase commit protocol in an extended π-calculus. Proceedings of the 7th International Workshop on Expressiveness in Concurrency, EXPRESS'00. The ENTCS Series vol. 39 (2000), Elsevier
4. M. Berger, Towards abstractions for distributed systems, Ph.D. thesis, Imperial College, London, 2002.
5. M. Berger, Basic theory of reduction congruence for two timed asynchronous pi-calculi, in: Proceedings of CONCUR'04, LNCS 3170, pp. 115-130.
6. L. Bocchi, C. Laneve, G. Zavattaro, A calculus for long running transactions, in: FMOODS'03, Paris, LNCS 2884, December 2003, pp. 124-138.
7. Booch G. Object-Oriented Analysis and Design with Applications (1993), Addison-Wesley
8. R. Bruni, H. Melgratti, U. Montanari, Theoretical foundations for compensations in flow composition languages, in: Proceedings of POPL 2005, 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM press, pp. 209-220.
9. R. Bruni, C. Laneve, U. Montanari, Orchestrating transactions in join calculus, in: Proceedings of CONCUR'02, LNCS 2421, pp. 321-337.
10. M. Butler, C. Ferreira, An operational semantics for StAC, a language for modelling long-running businness transactions, in: Proceedings of COORDINATION 2004, LNCS 2949, pp. 87-104.
11. M. Chessel, D. Vines, C. Griffin, V. Green, K. Warr, Business process beans, System design and architecture document, Technical report, IBM UK Laboratories, January 2001.
12. E. Christenses, F. Curbera, G. Meredith, S. Weerawarana, Web Services Description Language (WSDL 1.1), Available from: , W3C, Note 15, 2001.
13. P. Gardner, C. Laneve, L. Wischik, The fusion machine. Theory and practice, CONCUR 2002, LNCS 2421, pp. 321-337.
14. C. Guidi, R. Lucchi, M. Mazzara, A formal framework for Web services coordination, in: 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, London, Electronic Notes in Theoretical Computer Science, Elsevier, in press.
15. Houston I., Little M.C., Robinson I., Shrivastava S.K., and Wheater S.M. The CORBA activity service framework for supporting extended transactions. Softw. Pract. Exper. 33 4 (2003) 351-373
16. T. Hoare, Long-running transactions, Powerpoint presentation available at the web pages.
17. Huhns M.N., and Singh M.P. Service-oriented computing: key concepts and principles. IEEE Internet Comput. January (2005) 75-81
18. N. Kavantzas, Aggregating Web services: choreography and WS-CDL, Available from: .
19. N. Kavantzas, D. Burdett, G. Ritzinger, Y. Lafon, Web Services Choreography Description Language Version 1.0, 12 October 2004.
20. R. Khalaf, S. Tai, S. Weerawarana, Web services, the next step: a framework for robust service composition, in: M.P. Papazoglou, D. Georgakopoulos (Eds.), CACM, Special Issue on Service-Oriented Computing, October 2003.
21. Laneve C., and Victor B. Solos in concert. Math. Struct. Comput. Sci. 13 5 (2003)
22. C. Laneve, G. Zavattaro, Foundations of Web transactions, in: Proceedings of FOSSACS 2005, LNCS 3441, pp. 282-298.
23. F. Leymann, Web Services Flow Language (WSFL 1.0), Available from: .
24. M. Little, Web services transactions: past, present and future, Available from: .
25. A. Igarashi, N. Kobayashi, A generic type system for the π-calculus, in: Proceedings of ACM Symposium Conference on Principles of Programming Languages (POPL), 2001, ACM Press, pp. 128-141.
26. M. Mazzara, Timing issues in Web services composition, in: Second International Workshop on Web Services and Formal Methods (WS-FM 2005), LNCS 367, pp. 287-302.
27. M. Mazzara, S. Govoni, A case study of Web services orchestration, in: Proceedings of COORDINATION 2005, LNCS 3454, pp. 1-16.
28. M. Mazzara, R. Lucchi, A framework for generic error handling in business processes, in: First International Workshop on Web Services and Formal Methods (WS-FM), Pisa 2004, Electronic Notes in Theoretical Computer Science, vol. 105, Elsevier.
29. Meredith L.G., and Bjorg S. Contracts and types. Commun. ACM 46 10 (2003)
30. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
31. Milner R. Function as processes. Math. Struct. Comput. Sci. 2 2 (1992) 119-141
32. Milner R., Parrow J., and Walker D. A calculus of mobile processes. J. Inform. Comput. 100 (1992) 1-77
33. Oasis, Available from: .
34. Peltz C. Web services orchestration and choreography. IEEE Comput. 36 10 (2003) 46-52
35. J. Parrow, B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes, in: Proceedings of LICS'98, IEEE Press, pp. 176-185.
36. C.A. Petri, Kommunikation mit Automaten, Ph.D. thesis, Technische Universitt Darmstadt, Fakultt Matematik und Physik, 1962.
37. Sangiorgi D., and Walker D. The π-Calculus: A Theory of Mobile Processes (2001), Cambridge University Press
38. H. Smith, P. Fingar, Workflow is just a pi process, Unpublished discussion paper, Available from: .
39. SOAP - Simple Object Access Protocol, Available from: .
40. Tanenbaum A.S. Modern Operating Systems (2001), Prentice-Hall
41. S. Thatte, XLANG: web services for businnes process design, Available from: , Microsoft Corporation, 2001.
42. Szyperski C. Component Software: Beyond Object-Oriented Programming (2002), Addison Wesley Professional
43. UDDI - Universal Description, Discovery and Integration of Web Services, Available from: .
44. Viroli M. Towards a formal foundation to orchestration languages. First International Workshop on Web Services and Formal Methods (WS-FM). Electronic Notes in Theoretical Computer Science vol. 105 (2004), Elsevier
45. World Wide Web Consortium (W3C), Available from: .
46. W.M.P. van der Aalst, Pi calculus versus Petri nets: Let us eat "humble pie" rather than further inflate the "Pi hype", Unpublished paper.
47. WS-Addressing, Available from: .
48. BPEL Open Issues List, Available from: .
49. XML - Extensible Markup Language 1.0, Available from: .
50. XML Schema Specification, Available from: .