Advertisement

Data Consistency in Transactional Business Processes

  • Andreas Lodde
  • Antoine Schlechter
  • Pascal Bauler
  • Fernand Feltz
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 90)

Abstract

Current research about transactional workflows focuses on replicating the atomicity property for business processes using long running transactions with compensation as a replacement for rollback. But there is no standard way to guarantee data consistency between concurrent long running transactions yet. Isolation of different business processes most often is not a practical solution. To ensure reliability nevertheless, we present a generic method to detect consistency conflicts caused by the resource accesses of concurrent workflows. The method can easily be integrated into a Business Process Management System.

Keywords

Transactional business processes long-running transactions concurrent business processes data consistency 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Urban, S.D., Xiao, Y., Blake, L., Dietrich, S.W.: Monitoring data dependencies in concurrent process execution through delta-enabled grid services. International Journal of Web and Grid Services 5, 85–106 (2009)Google Scholar
  2. 2.
    Melton, J.: ANSI X3.135-1992, American National Standard for Information Systems, Database Language SQL, American National Standards Institute (1992)Google Scholar
  3. 3.
    Moschoyiannis, S., Razavi, R., Zheng, Y., Krause, P.: Long-running transactions: semantics, schemas, implementation. In: IEEE Digital Ecosystems and Technologies. IEEE Computer Society, Los Alamitos (2008)Google Scholar
  4. 4.
    Butler, M.J., 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)Google Scholar
  5. 5.
    Gaaloul, W., Bhiri, S., Rouached, M.: Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. Journal of IEEE Transactions on Services Computing 3 (2010)Google Scholar
  6. 6.
    Caires, L., Ferreira, C., Vieira, H.: A Process Calculus Analysis of Compensations. In: Trustworthy Global Computing: 4th International Symposium, Barcelona, Spain. Springer, Heidelberg (2009)Google Scholar
  7. 7.
    Butler, M., Hoare, S.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)Google Scholar
  8. 8.
    Cobb, E.E.: The impact of object technology on commercial transaction processing. VLDB Journal 6(3), 173–190 (1997)Google Scholar
  9. 9.
    Ni, Y., Menon, V.S., Adl-Tabatabai, A., Hosking, A.L., Hudson, R.L., Moss, J.E.B., Saha, B., Shpeisman, T.: Open nesting in software transactional memory. In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Jose, USA (2007)Google Scholar
  10. 10.
    Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture, San Diego, USA, pp. 289–300 (1993)Google Scholar
  11. 11.
    Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, vol. 16 (1987)Google Scholar
  12. 12.
    Moss, J.E.B.: Open Nested Transactions: Semantics and Support. In: Workshop on Memory Performance Issues (2006)Google Scholar
  13. 13.
    Agrawal, K., Lee, I.A.: Sukha, J: Safe open-nested transactions through ownership. In: Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, Munich, Germany (2008)Google Scholar
  14. 14.
    Alrifai, M., Dolog, P., Balke, N.W.: Distributed Management of Concurrent Web Service Transactions. IEEE Transactions on Services Computing 2(4) (2009)Google Scholar
  15. 15.
    OASIS Web Service Business Activity (WS-BusinessActivity) (2007), http://docs.oasis-open.org/ws-tx/wstx-wsba-1.1-spec.pdf
  16. 16.
    BizTalk Server 2000 Business Process Orchestration 2001 B2B Protocol Standards and their Role in Semantic B2B Integration Engines. In: Bulletin of the Technical Committee on Data Engineering, vol. 24(1). IEEE Computer Society, Los Alamitos (2001)Google Scholar
  17. 17.
    Thomasian, A., Ryu, I.K.: Performance analysis of two-phase locking. IEEE Transactions on Software Engineering 17, 386–402 (1991)Google Scholar
  18. 18.
    Sun Microsystems JSR-95: J2EE Activity Service for Extended Transactions (2004), http://jcp.org/aboutJava/communityprocess/final/jsr095/index.html
  19. 19.
    Sauter, P., Melzer, I.: A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction. In: Proc. of Kommunikation in Verteilten Systemen, KIVS (2005)Google Scholar
  20. 20.
    Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Trans. Database Syst., 213–226 (1981)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Andreas Lodde
    • 1
  • Antoine Schlechter
    • 1
  • Pascal Bauler
    • 1
  • Fernand Feltz
    • 1
  1. 1.Centre de Recherche Public – Gabriel LippmannBelvauxLuxembourg

Personalised recommendations