Data Consistency in Transactional Business Processes

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.

[1]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[2]  Kunal Agrawal,et al.  Safe open-nested transactions through ownership , 2008, SPAA '08.

[3]  Walid Gaaloul,et al.  Event-Based Design and Runtime Verification of Composite Service Transactional Behavior , 2010, IEEE Transactions on Services Computing.

[4]  Suzanne W. Dietrich,et al.  Monitoring data dependencies in concurrent process execution through delta-enabled grid services , 2009, Int. J. Web Grid Serv..

[5]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[6]  Maurice Herlihy,et al.  Transactional Memory: Architectural Support For Lock-free Data Structures , 1993, Proceedings of the 20th Annual International Symposium on Computer Architecture.

[7]  J. Eliot B. Moss Open Nested Transactions: Semantics and Support , 2006 .

[8]  C. A. R. Hoare,et al.  A Trace Semantics for Long-Running Transactions , 2004, 25 Years Communicating Sequential Processes.

[9]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[10]  Yongyan Zheng,et al.  Long-running Transactions: Semantics, schemas, implementation , 2008, 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies.

[11]  Edward E. Cobb The impact of object technology on commercial transaction processing , 1997, The VLDB Journal.

[12]  H McCarrick,et al.  The first 25 years , 1973, Nursing times.

[13]  Patrick Sauter,et al.  A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction , 2005, KiVS.

[14]  Wolf-Tilo Balke,et al.  Distributed Management of Concurrent Web Service Transactions , 2009, IEEE Transactions on Services Computing.

[15]  Bratin Saha,et al.  Open nesting in software transactional memory , 2007, PPOPP.

[16]  Hugo Torres Vieira,et al.  A Process Calculus Analysis of Compensations , 2009, TGC.

[17]  Michael J. Butler,et al.  An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions , 2004, COORDINATION.

[18]  Alexander Thomasian,et al.  Performance Analysis of Two-Phase Locking , 1991, IEEE Trans. Software Eng..