Abstract
Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for business processes have been presented and many of them use concepts such as long-running transactions and compensations to cope with error handling. WS-BPEL is currently the best suited in this field. However, its complexity hinders rigorous treatment. In this paper we address the notion of orchestration from a formal point of view, with particular attention to transactions and compensations. In particular, we discuss web π ∞ an untimed subcalculus of web π [15] which is a simple and conservative extension of the π-calculus. We introduce it as a theoretical and foundational model for Web Services coordination. We simplify some semantical and pragmatical aspects, in particular regarding temporization, gaining a better understanding of the fundamental issues. To discuss the usefulness of the language we consider a case study: we formalize an e-commerce transactional scenario drawing on a case presented in our previous work [12].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, T., Curbera, F., et al.: Web Service Business Process Execution Language, Working Draft, Version 2.0, December 1 (2004)
Berger, M.: Basic Theory of Reduction Congruence for Two Timed Asynchronous π-calculi. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 115–130. Springer, Heidelberg (2004)
Berger, M.: Towards Abstractions for Distributed Systems. PhD Thesis, Imperial College, London (2002)
Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended π-Calculus. In: EXPRESS 2000: Proceedings of the 7th International Workshop on Expressiveness in Concurrency, ENTCS, vol. 39(1). Elsevier, Amsterdam (2000)
Microsoft BizTalk Server, Microsoft Corporation, http://www.microsoft.com/biztalk/default.asp
Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in Join Calculus. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 321–337. Springer, Heidelberg (2002)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: To appear in POPL 2005 (2005)
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)
Butler, M., 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)
Chessel, M., Vines, D., Griffin, C., Green, V., Warr, K.: Business Process Beans: System Design and Architecture Document. Technical report.IBM UK Laboratories (January 2001)
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1), W3C, Note 15 (2001), www.w3.org/TR/wdsl
Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination. In: 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, London (2004)
Hoare, T.: Long-Running Transactions. Powerpoint presentation, http://research.microsoft.com/
Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web Services Choreography Description Languages, http://otn.oracle.com/tech/webservices/ht-docs/spec/cdl_v1.0.pdf
Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)
Leymann, F.: Web Services Flow Language (WSFL 1.0), Member IBM Academy of Technology, IBM Software Group (2001), http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Little, M.: Web Services Transactions: Past, Present and Future, http://www.idealliance.org/papers/dx_xml03/html/abstract/05-02-02.html
Mazzara, M., Lucchi, R.: A Framework for Generic Error Handling in Business Processes. In: First International Workshop on Web Services and Formal Methods (WS-FM). Pisa (2004)
Milner, R.: Function as Processes. Mathematical Structures in Computer Science 2(2), 119–141 (1992)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Journal of Information and Computation 100, 1–77 (1992)
Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: LICS 1998: Proceedings of the 13th Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (1998)
Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46–52 (2003)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corporation (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm
Universal Description, Discovery and Integration for Web Services (UDDI) V3 Specification, http://uddi.org/pubs/uddiv3.htm
van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the ”Pi hype” http://mitwww.tm.tue.nl/staff/wvdaalst/publications/pi-hype.pdf
Workflow Management Coalition, http://www.wfmc.org/
WS-Coordination Specification, http://www-106.ibm.com/developerworks/library/ws-coor/
WS-Transaction Specification, http://www-106.ibm.com/developerworks/webservices/library/ws-transpec/
Weikum, B., Vossen, G.: Transactional Information Systems. Morgan Kaufmann, San Francisco (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazzara, M., Govoni, S. (2005). A Case Study of Web Services Orchestration. In: Jacquet, JM., Picco, G.P. (eds) Coordination Models and Languages. COORDINATION 2005. Lecture Notes in Computer Science, vol 3454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11417019_1
Download citation
DOI: https://doi.org/10.1007/11417019_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25630-4
Online ISBN: 978-3-540-32006-7
eBook Packages: Computer ScienceComputer Science (R0)