Skip to main content
SpringerLink
Log in

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions

  • Conference paper
Recent Trends in Algebraic Development Techniques (WADT 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7137))

Included in the following conference series:

Abstract

We propose new denotational (trace-based) and operational semantics for parallel Sagas with interruption, prove the correspondence between the two and assess their merits w.r.t. existing proposals. The new semantics is realistic, in the sense that it guarantees that distributed compensations may only be observed after a fault actually occurred. Moreover, the operational semantics is defined in terms of (1-safe) Petri nets and hence retains causality and concurrency information about the events that can occur, not evident in the standard trace semantics.

Research supported by EU Project FP7-231620 HATS, Italian MIUR Project IPODS, and by EU Project ASCENS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bocchi, L., Tuosto, E.: A Java Inspired Semantics for Transactions in SOC. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 120–134. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Boronat, A., Meseguer, J.: MOMENT2: EMF model transformations in Maude. In: JISBD 2009, pp. 178–179 (2009)

    Google Scholar 

  3. Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing Two Approaches to Compensable Flow Composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 383–397. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209–220. ACM (2005)

    Google Scholar 

  5. Bruni, R., Melgratti, H.C., Montanari, U.: Nested Commits for Mobile Calculi: Extending Join. In: IFIP-TCS 2004, pp. 563–576 (2004)

    Google Scholar 

  6. Butler, M.J., Ferreira, C.: A Process Compensation Language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 61–76. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  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.) CSP25. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Caires, L., Ferreira, C., Vieira, H.T.: A Process Calculus Analysis of Compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 87–103. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Bevilacqua, V., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  10. de Vries, E., Koutavas, V., Hennessy, M.: Communicating Transactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 569–583. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  11. Ferrari, G.L., Guanciale, R., Strollo, D., Tuosto, E.: Event-Based Service Coordination. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Montanari Festschrift. LNCS, vol. 5065, pp. 312–329. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD Conference, pp. 249–259 (1987)

    Google Scholar 

  13. Lanese, I.: Static vs dynamic sagas. In: ICE 2010. EPTCS, vol. 38, pp. 51–65 (2010)

    Google Scholar 

  14. Lanese, I., Vaz, C., Ferreira, C.: On the Expressive Power of Primitives for Compensation Handling. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 366–386. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. Lanese, I., Zavattaro, G.: Programming Sagas in SOCK. In: SEFM 2009, pp. 189–198. IEEE (2009)

    Google Scholar 

  16. Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Meseguer, J., Montanari, U.: Petri nets are monoids. Inf. Comput. 88(2), 105–155 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  18. Oasis: Web Services Business Process Execution Language Version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  19. Reisig, W.: Petri Nets. Springer, Heidelberg (1985)

    Book  MATH  Google Scholar 

  20. Spagnolo, G.: Analisi e confronto di politiche di compensazione distribuita nell’ambito di transazioni a lunga durata. Master’s thesis, Università di Pisa (2010)

    Google Scholar 

  21. Vaz, C., Ferreira, C., Ravara, A.: Dynamic Recovering of Long Running Transactions. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 201–215. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  22. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Pisa, Italy

    Roberto Bruni & Giorgio Spagnolo

  2. Institute for Andvanced Studies, IMT Lucca, Italy

    Anne Kersten

  3. Focus Team, University of Bologna/INRIA, Italy

    Ivan Lanese

Authors
  1. Roberto Bruni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anne Kersten
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ivan Lanese
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Giorgio Spagnolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DFKI, Cyber-Physical Systems, Deutsches Forschungszentrum für künstliche Intelligenz, 28359, Bremen, Germany

    Till Mossakowski

  2. Mathematik und Informatik, Universität Bremen, 28359, Bremen, Germany

    Hans-Jörg Kreowski

Rights and permissions

Reprints and permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Bruni, R., Kersten, A., Lanese, I., Spagnolo, G. (2012). A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. In: Mossakowski, T., Kreowski, HJ. (eds) Recent Trends in Algebraic Development Techniques. WADT 2010. Lecture Notes in Computer Science, vol 7137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28412-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28412-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28411-3

  • Online ISBN: 978-3-642-28412-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation