webπ at Work

  • Cosimo Laneve
  • Gianluigi Zavattaro
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3705)




Time Stamp Business Process Execution Language Event Handler Reservation Request Failure Handler 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrews, T., et al.: Business process execution language for web services. Version 1.1. Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems (2003)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Proceedings of 25 Years of CSP, London (2004)Google Scholar
  6. 6.
    Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web services choreography description languages. W3C Web Services Choreography Working Group (2003)Google Scholar
  7. 7.
    Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Leymann, F.: Web services flow language (wsfl 1.0). Technical report, IBM Software Group (2001)Google Scholar
  9. 9.
    Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)Google Scholar
  10. 10.
    van der Aalst, M., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

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

Personalised recommendations