Abstract
Recently the term orchestration has been introduced to address composition and coordination of web services. Several languages used to describe business processes using this approach have been presented, and most of them use the concepts of long-running transactions and compensations to cope with error handling. WS-BPEL, which is currently the most used orchestration language, also provides a Recovery Framework. 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 introduce web π ∞ , an untimed version of web π, and the related theory, as a foundational unifying framework for orchestration able to meet composition requirements and to encode the whole BPEL itself.
Research partially supported by the Project FET-GC II IST-2005-16004 Sensoria.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theoret. Comput. Sci. 195(2), 291–324 (1998)
Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Mehta, V., Thatte, S., Yendluri, P., Yiu, A., Alves, A.: Web services business process execution language version 2.0. Technical report, Oasis, Working draft (December 2005)
Bruni, R., Melgratti, H.C., Montanari, U.: Nested commits for mobile calculi: Extending join. In: Proc. of IFIP TCS 2004, pp. 563–576. Kluwer Academics, Dordrecht (2004)
Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)
Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Commun. ACM 46(10), 29–34 (2003)
Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372–385. ACM Press, New York (1996)
Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)
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). Technical report, IBM (May 2001)
Lucchi, R., Mazzara, M.: A π-calculus based semantics for WS-BPEL. J. Log. Algebr. Program. (to appear, 2006)
Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna, Also available as Technical Report UBLCS-2006-08 (2006)
Microsoft BizTalk, http://www.microsoft.com/biztalk/default.mspx
Milner, R.: Functions as processes. Math. Struct. in Comput. Sci. 2(2), 119–141 (1992)
Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–77 (1992)
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)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley/ACM Press (2002)
Thatte, S.: XLANG: Web services for businnes process design. Technical report, Microsoft Corporation (2001), Downloadable from: http://www.gotdotnet.com/team/xml/wsspecs/xlang-c
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazzara, M., Lanese, I. (2006). Towards a Unifying Theory for Web Services Composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_17
Download citation
DOI: https://doi.org/10.1007/11841197_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38862-3
Online ISBN: 978-3-540-38865-4
eBook Packages: Computer ScienceComputer Science (R0)