Correctness issues in workflow management

Distributed Systems Engineering

Volumn 3, Issue 4, 1996, Pages 213-221

  Kamath, Mohan ^a   Ramamritham, Krithi ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000789321     PISSN: 09671846     EISSN: None     Source Type: Journal    
DOI: 10.1088/0967-1846/3/4/002     Document Type: Article

References (46)

1. Alonso G, Agrawal D, El Abbadi A, Kamath M, Guenthoer R and Mohan C 1996 Advanced transaction models in workflow contexts Proc. Int. Conf. on Data Engineering (ICDE) (New Orleans, LA, 1996) (Los Alamitos, CA: IEEE Computer Society Press) pp 574-81
2. Alonso G, M Kamath, Agrawal D, El Abbadi A, Günthör R and Mohan C 1994 Failure handling in large scale workflow management systems Technical Report RJ 9913(87293) IBM Almaden Research Center
3. Attie P C, Singh M P, Sheth A and Rusinkiewicz M 1993 Specifying and enforcing intertask dependencies Proc. Int. Conf. on Very Large Data Bases (Dublin, 1993) (San Mateo, CA: Morgan Kaufmann) p 134
4. Bernstein P A, Hadzilacos V and Goodman N 1987 Concurrency Control and Recovery in Database Systems (Addison-Wesley Series in Computer Science) (Reading, MA: Addison-Wesley)
5. Breitbart Y, Deacon A, Schek H J, Sheth A and Weikum G 1993 Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows ACM SIGMOD Record 22 (3) 23-30
6. Breitbart Y, Garcia-Molina H and Silberschatz A 1992 Overview of multidatabase transaction management VLDB J. 1 181-240
7. Chen Q and Dayal U 1996 A transactional nested process management system Proc. Int. Conf. on Data Engineering (ICDE) (New Orleans, LA, 1996) (Los Alamitos, CA: IEEE Computer Society Press) pp 566-73
8. Davies C T 1978 Data processing spheres of control IBM Syst. J. 17 179-98
9. Elmagarmid A (ed) 1992 Transaction Models for Advanced Database Applications (San Mateo, CA: Morgan Kaufmann)
10. Elmagarmid A K, Leu Y, Litwin W and Rusinkiewicz M 1990 A multidatabase transaction model for InterBase Proc. Int. Conf. on Very Large Data Bases (Brisbane, 1990) (San Mateo, CA: Morgan Kaufmann) p 507
11. Farrag A A and Ozsu M T 1989 Using semantic knowledge of transactions to increase concurrency ACM Trans. Database Syst. 14 503-25
12. Garcia-Molina H 1983 Using semantic knowledge for transaction processing in a distributed database ACM Trans. Database Syst. 8 186-213
13. Garcia-Molina H and Salem K 1987 Sagas Proc. 1987 SIGMOD Int. Conf. on Management of Data (San Francisco, CA, 1987) (SIGMOD Record 16 (3) 249-59)
14. Georgakopolous D, Hornick M and Sheth A 1995 An overview of workflow management: from process modelling to workflow automation infrastructure Distrib. Parallel Databases 3 119-52
15. Georgakopoulos D, Hornick M, Krychniak P and Manola F 1994 Specification and management of extended transactions in a programmable transaction environment Proc. IEEE Int. Conf. on Data Engineering (Houston, TX, 1994) (Los Alamitos, CA: IEEE Computer Society Press) p 462
16. Georgakopoulos D, Hornick M F and Manola F 1996 Customizing transaction models and mechanisms in a programmable environment supporting reliable workflow automation IEEE Trans. Knowledge Data Engng 8 630-49
17. Georgakopoulos D, Rusinkiewicz M and Sheth A 1991 On serializability of multidatabase transactions through forced local conflicts Proc. IEEE Int. Conf. on Data Engineering (Kobe, 1991) (Los Alamitos, CA: IEEE Computer Society Press) p 314
18. Gray J 1981 The transaction concept: virtues and limitations Proc. Int. Conf. on Very Large Data Bases (Cannes, 1981) (San Mateo, CA: Morgan Kaufmann) p 144
19. Günthör R 1996 The dependency manager RIDE-NDS (Interoperability of Nontraditional Database Systems) (New Orleans, LA, 1996) (Los Alamitos, CA: IEEE Computer Society Press) pp 86-95
20. Hollingsworth D 1994 Workflow Management Reference Model The Workflow Management Coalition, accessible via: http://www.aiai.ed.ac.uk/WfMC/.
21. Hsu M 1993 Special Issue on Workflow and Extended Transaction Systems Bull. Tech. Committee on Data Engng, IEEE 16 (2)
22. Hsu M 1995 Special Issue on Workflow Systems Bull. Tech. Committee Data Engng, IEEE 18 (1)
23. Jin W W, Rusinkiewicz M, Ness L and Sheth A 1993 Concurrency control and recovery of multidatabase workflows in telecommunication applications Proc. ACM SIGMOD Conf. (Washington, DC, 1993) (SIGMOD Record 22 (2) 456-9)
24. Kamath M, Alonso G, Günthör R and Mohan C 1996 Providing high availability in workflow management systems Proc. 5th Int. Conf. on Extending Database Technology (EDBT-96) (Avignon, 1996) (Lecture Notes in Computer Science 1057) (Berlin: Springer) pp 427-42
25. Kamath M and Ramamritham K 1995 Modeling, correctness & systems issues in supporting advanced database applications using workflow management systems Technical Report TR 95-50 University of Massachusetts, Computer Science Department
26. Kamath M and Ramamritham K 1996 Mechanisms for ensuring correctness of workflows in the presence of concurrency and failures Technical Report In preparation, University of Massachusetts, Computer Science Department
27. Korth H F, Levy E and Silberschatz A 1990 A formal approach to recovery by compensating transactions Proc. Int. Conf. on Very Large Data Bases (Brisbane, 1990) (San Mateo, CA: Morgan Kaufmann) p 95
28. Levy E, Korth H and Silberschatz A 1991 A theory of relaxed atomicity Proc. ACM SIGACTS-SIGOPS Symp. on Principles of Distributed Computing (Montreal, 1991) (New York: ACM)
29. Leymann F 1995 Supporting business transactions via partial backward recovery in workflow management Proc. BTW'95 (Dresden, 1995) (Berlin: Springer) pp 51-70
30. Leymann F and Roller D 1994 Business process management with FlowMark Proc. IEEE CompCon (San Francisco, CA, 1994) (Los Alamitos, CA: IEEE Computer Society Press) pp 230-4
31. Lynch N A 1983 Multilevel atomicity: a new correctness criterion for database concurrency control ACM Trans. Database Syst. 8 484-502
32. Manola F, Heiler S, Georgakopoulos D, Hornick M and Brodie M 1992 Distributed object management Int. J. Intell. Cooperative Inform. Syst. 1 1
33. McCarthy D R and Sarin S K 1993 Workflow and transactions in InConcert Bull. Tech. Committee on Data Engng (Los Alamitos, CA: IEEE Computer Society Press) 16 (2) 53-6
34. Mehrotra S, Rastogi R, Breitbart Y, Korth H F and Silberschatz A 1992 The concurrency control problem in multidatabases: characteristics and solutions Proc. ACM SIGMOD Conf. (San Diego, 1992) (SIGMOD Record 21 (2) 288)
35. Mehrotra S, Rastogi R, Korth H F and Silberschatz A 1992 A transaction model for multidatabase systems Proc. 12th Int. Conf. Distributed Computing Systems (Yokohama, 1992) (Los Alamitos, CA: IEEE Computer Society Press) p 56
36. Mohan C 1996 State of the art in workflow management systems research and products ACM SIGMOD Int. Conf. on Management of Data (Montreal, 1996) Tutorial
37. Moss J E B 1981 Nested transactions: an approach to reliable distributed computing Technical report, PhD Thesis MIT, Cambridge, MA
38. Reuter A and Schwenkreis F 1995 ConTracts - a low-level mechanism for building general-purpose workflow management systems Bull. Tech. Committee Data Engng (Los Alamitos, CA: IEEE Computer Society Press) 18 (1) 4-10
39. Rusinkiewicz M, Cichocki A and Krychniak P 1992 Towards a model for multidatabase transactions Int. J. Intell. Cooperative Inform. Syst. 1 579-617
40. Rusinkiewicz M and Sheth A 1994 Specification and execution of transactional workflows Modern Database Systems: The Object Model, Interoperability and Beyond ed W Kim (New York: ACM)
41. Sheth A and Rusinkiewicz M 1993 On transactional workflows Bull. Tech. Committee Data Engng (Los Alamitos, CA: IEEE Computer Society Press) 16 (2) 37-40
42. Singh M P 1996 Synthesizing distributed constrained events from transactional workflow specifications Proc. Int. Conf. on Data Engineering (ICDE) (New Orleans, LA, 1996) (Los Alamitos, CA: IEEE Computer Society Press) pp 616-23
43. Singh M P, Meredith L G, Tomlison C and Attie PC 1994 An algebraic approach for workflow scheduling Technical Report Carnot-049-94 Microelectronics and Computer Technology Corporation (MCC)
44. Waechter H and Reuter A 1992 The ConTract model Database Transaction Models for Advanced Applications ed A K Elmagarmid (San Mateo, CA: Morgan Kaufmann) ch 7, pp 219-63
45. X/Open 1992 Distributed Transaction Processing: The XA Specification X/Open Company Limited, UK
46. Zhang A, Nodine M, Bhargava B and Bukhres O 1994 Ensuring relaxed atomicity for flexible transactions in multidatabase systems Proc. 1994 SIGMOD Int. Conf. on Management of Data (SIGMOD Record 23 (2) 67-78)