Comparing Two Approaches to Compensable Flow Composition

  • Roberto Bruni
  • Michael Butler
  • Carla Ferreira
  • Tony Hoare
  • Hernán Melgratti
  • Ugo Montanari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3653)


Web services composition is an emerging paradigm for the integration of long running business processes, attracting the interest of both Industry, in terms of XML-based standards for business description, and Academy, exploiting process description languages. The key challenging aspects to model are orchestration workflows, choreography of exchanged messages, fault handling, and transactional integrity with compensation mechanisms. Few recent proposals attempted to mitigate the explosion of XML-constructs in ad hoc standards by a careful selection of a small set of primitives related to the above aspects. This papers clarifies analogies and differences between two such recent process description languages: one based on interleaving trace semantics and the other on concurrent traces. We take advantage of their comparison to characterise and relate four different coordination policies for compensating parallel processes. Such policies differ on the way in which the abort of a process influences the execution of sibling processes, and whether compensation is distributed or centralised.


Parallel Composition Compensable Process Compensation Policy Parallel Branch Compensation Procedure 
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.
    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
  2. 2.
  3. 3.
    Business Process Modeling Language (BPML),
  4. 4.
    Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Lévy, J.-J., Mayr, E., Mitchell, J. (eds.) Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569–582. Kluwer Academic Publishers, Dordrecht (2004)Google Scholar
  5. 5.
    Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proceedings of POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209–220. ACM Press, New York (2005)CrossRefGoogle Scholar
  6. 6.
    Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modeling long-running business transactions. In: De Nicola, R., Ferrari, G., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87–104. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Butler, M., Hoare, T., 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)CrossRefGoogle Scholar
  8. 8.
    Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) Proceedings of the ACM Special Interest Group on Management of Data Annual Conference, pp. 249–259. ACM Press, New York (1987)Google Scholar
  9. 9.
    Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)Google Scholar
  10. 10.
    Leymann. F.: WSFL Specification (v.1.0) (May 2001),
  11. 11.
    Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: Bravetti, M., Zavattaro, G. (eds.) Proceedings of WS-FM 2004, 1st International Workshop on Web Services and Formal Methods (2004) (to appear as ENTCS)Google Scholar
  12. 12.
    Melgratti, H.: Models and Languages for Global Computing Transaction. PhD thesis, Computer Science Department, University of Pisa (2005) (Submitted) Google Scholar
  13. 13.
    Web Service Choreography Interface (WSCI) 1.0,
  14. 14.
    Web Services Conversation Language (WSCL) 1.0,
  15. 15.
    Web Service Description Language (WSDL),
  16. 16.
    Web Services for Business Process Design (XLANG),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Roberto Bruni
    • 1
  • Michael Butler
    • 2
  • Carla Ferreira
    • 3
  • Tony Hoare
    • 4
  • Hernán Melgratti
    • 1
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaItaly
  2. 2.School of Electronics and Computer ScienceUniversity of SouthamptomUK
  3. 3.Department of Computer ScienceTechnical University of LisbonPortugal
  4. 4.Microsoft Research CambridgeUK

Personalised recommendations