IOPscience

Distributed Systems Engineering

Quick search Find article
Quick search
Find article
Distributed Systems Engineering Volume 3 Number 4 Create an alert RSS this journal

Mohan Kamath and Krithi Ramamritham 1996 Distrib. Syst. Engng. 3 213 doi:10.1088/0967-1846/3/4/002

Correctness issues in workflow management

Mohan Kamath and Krithi Ramamritham

Show affiliations

Tag this article Full text PDF (113 KB)

Abstract References Cited By
[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
CrossRef 
[6]
Breitbart Y, Garcia-Molina H and Silberschatz A 1992 Overview of multidatabase transaction management VLDB J. 1 181-240
CrossRef 
[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
CrossRef 
[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
CrossRef 
[12]
Garcia-Molina H 1983 Using semantic knowledge for transaction processing in a distributed database ACM Trans. Database Syst. 8 186-213
CrossRef 
[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
CrossRef 
[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
CrossRef 
[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
CrossRef 
[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
CrossRef 
[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 P C 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)

crossref member

Your last 10 viewed
  1. Correctness issues in workflow management

    Mohan Kamath and Krithi Ramamritham 1996 Distrib. Syst. Engng. 3 213

  2. Where Are the Baryons?

    Renyue Cen and Jeremiah P. Ostriker 1999 ApJ 514 1

  3. Network control as a distributed object application

    Huw Oliver et al 1998 Distrib. Syst. Engng. 5 19

  4. The criterion for time symmetry of probabilistic theories and the reversibility of quantum mechanics

    A T Holster 2003 New J. Phys. 5 130

  5. SNEWS: the SuperNova Early Warning System

    Pietro Antonioli et al 2004 New J. Phys. 6 114

  6. Criticality of spreading dynamics in hierarchical cluster networks without inhibition

    M Kaiser et al 2007 New J. Phys. 9 110

  7. Uncertainty analysis of the BIPM susceptometer

    J W Chung et al 2001 Metrologia 38 535

  8. Storage ring studies on dissociative recombination and internal excitation of helium dimer ions

    H B Pedersen et al 2005 J. Phys.: Conf. Ser. 4 168

  9. Comparison of the ITS-90 using a transfer standard infrared radiation thermometer between seven EU national metrological institutes

    G Machin et al 1996 Metrologia 33 197

  10. Notes on conformal invisibility devices

    Ulf Leonhardt 2006 New J. Phys. 8 118

Related review articles

What's this?
View review articles related to this research to gain an insight into the key trends in this subject area. Related review articles are selected based on PACS/MSC codes, and are no more than three years old.

  1. FPGA-based, specialized trigger and data acquisition systems for high-energy physics experiments

Share

View by subject




Export








Please login to access our web services, or create an account if you don't yet have one.

You must have cookies enabled in your web browser to be able to login.

Username
Password

Forgotten your password? Get a new one here.