Abstract
We study long-running transactions in open component-based distributed applications, such as Web Services platforms. Long-running transactions describe time-extensive activities that involve several distributed components. Henceforth, in case of failure, it is usually not possible to restore the initial state, and firing a compensation process is preferable. Despite the interest of such transactional mechanisms, a formal modeling of them is still lacking. In this paper we address this issue by designing an extension of the asynchronous π-calculus with long-running transactions (and sequences) – the πt -calculus. We study the practice of πt-calculus, by discussing few paradigmatic examples, and its theory, by defining a semantics and providing a correct encoding of πt-calculus into asynchronous π-calculus.
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
Ankolekar, A., Bursten, M., Hobbs, J., Lassila, O., Martin, D., McIlraith, S., Narayanan, S., Paolucci, N., Payne, T., Sycara, K., Zeng, H.: DAML-S: Semantic Markup for Web Services. In: International Semantic Web Working Symposium (2001)
Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge Tracts in Theoretical Computer Science, vol. 18. Cambridge University Press, Cambridge (1990)
Berners-Lee, T., Brickley, D., Connolly, D., Dean, M., Decker, S., Fensel, D., Fikes, R., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A.: DAML+OIL (2001), http://www.daml.org/2001/03/daml+oil-index
Boudol, G.: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia– Antipolis (1992)
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)
Business Process Modeling Language (BPML), http://www.bpmi.org
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1), W3C, Note 15 (2001), http://www.w3.org/TR/wdsl
Coalition, T.D.S.: DAML-S: Web service description for the semantic web. In: Proc. of ISWC (2002)
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS 1.0) (2002), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
Dalal, S., Temel, S., Little, M., Potts, M., Webber, J.: Coordinating Business Transactions on the Web. IEEE Internet Computing (January-February 2003)
Garcia-Molina, H., Gawlick, D., Klein, J., Kleissner, K., Salem, K.: Modeling Long- Running Activities as Nested Sagas. IEEE Bulletin of the Technical Committee on Data Engineering 14(1) (1991)
Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of SIGMOD International Conference on Management of Data, pp. 249–259 (1987)
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
Microsoft BizTalk Server. Microsoft Corporation, http://www.microsoft.com/biztalk/default.asp
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Journal of Information and Computation 100, 1–77 (1992)
Roberts, J., Srinivasan, K.: Tentative Hold Protocol Part 1: White Paper. W3C Note 28 (November 2000), http://www.w3.org/TR/tenthold-1/
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/xmlwsspecs/xlang-c/default.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bocchi, L., Laneve, C., Zavattaro, G. (2003). A Calculus for Long-Running Transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive