A Calculus for Long-Running Transactions

  • Laura Bocchi
  • Cosimo Laneve
  • Gianluigi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2884)


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.


Travel Agency Business Process Modeling Failure Manager Structural Congruence Abort Process 
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.


  1. 1.
    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)Google Scholar
  2. 2.
    Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge Tracts in Theoretical Computer Science, vol. 18. Cambridge University Press, Cambridge (1990)CrossRefzbMATHGoogle Scholar
  3. 3.
    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),
  4. 4.
    Boudol, G.: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia– Antipolis (1992)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Business Process Modeling Language (BPML),
  7. 7.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1), W3C, Note 15 (2001),
  8. 8.
    Coalition, T.D.S.: DAML-S: Web service description for the semantic web. In: Proc. of ISWC (2002)Google Scholar
  9. 9.
    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),
  10. 10.
    Dalal, S., Temel, S., Little, M., Potts, M., Webber, J.: Coordinating Business Transactions on the Web. IEEE Internet Computing (January-February 2003)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of SIGMOD International Conference on Management of Data, pp. 249–259 (1987)Google Scholar
  13. 13.
    Leymann, F.: Web Services Flow Language (WSFL 1.0), Member IBM Academy of Technology, IBM Software Group (2001),
  14. 14.
    Microsoft BizTalk Server. Microsoft Corporation,
  15. 15.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Journal of Information and Computation 100, 1–77 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Roberts, J., Srinivasan, K.: Tentative Hold Protocol Part 1: White Paper. W3C Note 28 (November 2000),
  17. 17.
    Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)zbMATHGoogle Scholar
  18. 18.
    Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001),

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Laura Bocchi
    • 1
  • Cosimo Laneve
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Personalised recommendations