Engineering Flexible Service-Oriented Transactions

  • David PaulEmail author
  • Frans Henskens
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 189)


The traditional ACID properties for transactions are not always appropriate in service-oriented environments. Instead, it is often preferable to “relax” the transactional guarantees, reducing isolation or atomicity to ensure acceptable performance at a reasonable cost. Existing standards require providers to constantly offer a fixed level of transaction support to each client that requests a particular service. We present a mechanism that allows providers to dynamically alter the level of transaction support offered on a per-service-call basis. Further, we engineer a cost-based model, based on \(\pi t\)-calculus, that allows clients to automatically reason about workflows consisting of service requests with various levels of transaction support. The viability of this scheme is tested with a Web Services transactions simulator, with results indicating potential benefits for both clients and service providers.


Web Service Transaction Workflow 


  1. 1.
    Garcia-Molina, H.: Using semantic knowledge for transaction processing in a distributed database. ACM Trans. Database Syst. 8, 186–213 (1983)CrossRefGoogle Scholar
  2. 2.
    Fauvet, M.-C., Duarte, H., Dumas, M., Benatallah, B.: Handling transactional properties in web service composition. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol. 3806, pp. 273–289. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  3. 3.
    Paul, D., Henskens, F. A., Hannaford, M.: Simulating web services transactions. In: Special Session on Web Services Principles and Applications (WSPA 2011) at the 7th International Conference on Web Information Systems and Technologies (WEBIST-2011), Noordwijkerhout, The Netherlands (2011)Google Scholar
  4. 4.
    Chakraborty, D., Joshi, A.: Dynamic service composition: State-of-the-art and research directions. Technical report, University of Maryland (2001)Google Scholar
  5. 5.
    Schäfer, M., Dolog, P., Nejdl, W.: Engineering compensations in web service environment. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 32–46. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  6. 6.
    Milanovic, N., Stantchev, V., Richling, J., Malek, M.: Towards adaptive and composable services. In: International Conference on Internet, Processing, Systems, Interdisciplinaries (IPSI2003) (2003)Google Scholar
  7. 7.
    Milanovic, N.: Contract-based web service composition. Ph.D. thesis, Humboldt-Universität zu Berlin (2006)Google Scholar
  8. 8.
    Mikalsen, T., Tai, S., Rouvellou, I.: Transactional attitudes: reliable composition of autonomous web services. In: Workshop on Dependable Middleware-based Systems (WDMS’02) at the Dependable Systems and Network Conference (DSN’02), Bethesda, MD, USA (2002)Google Scholar
  9. 9.
    Paul, D., Henskens, F.A., Hannaford, M.: Per-request contracts for web services transactions. In: 6th International Conference on Web Information Systems and Technologies (WEBIST-2010), Valencia, Spain, INSTICC (2010)Google Scholar
  10. 10.
    Paul, D.: Deliberate cooperation in service-oriented environments: dynamic transactional workflows for web services. Ph.D. thesis, University of Newcastle (2012).
  11. 11.
    Younas, M., Eagelstone, B., Holton, R.: A formal treatment of a SACReD protocol for multidatabase web transactions. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 899–908. Springer, Heidelberg (2000) CrossRefGoogle Scholar
  12. 12.
    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
  13. 13.
    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
  14. 14.
    Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. Technical report, Universita’ degli Studi di Firenze (2009)Google Scholar
  15. 15.
    Casado, R., Tuya, J., Younas, M.: A framework to test advanced web services transactions. In: IEEE 4th International Conference on Software Testing, Verification and Validation (ICST’11), Berlin, Germany (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceUniversity of NewcastleCallaghanAustralia

Personalised recommendations