Scheduling workflows by enforcing intertask dependencies

Distributed Systems Engineering

Volumn 3, Issue 4, 1996, Pages 222-238

  Attie, P C ^a   Singh, M P ^b   Emerson, E A ^c   Sheth, A ^d   Rusinkiewicz, M ^e  

^a The Department of Electrical and Computer Engineering   (United States)

^b North Carolina State University   (United States)

^c University of Texas at Austin   (United States)

^d University of Georgia ^*  (United States)

^e University of Houston   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (35)

1. Ansari M, Ness L, Rusinkiewicz M and Sheth A 1992 Using flexible transactions to support multi-system telecommunication applications Proc. 18th VLDB Conf. (Vancouver, 1992) (San Mateo, CA: Morgan Kaufmann) pp 65-76
2. Attie P, Singh M, Sheth A and Rusinkiewicz M 1993 Specifying and enforcing intertask dependencies Proc. 19th VLDB Conf. (Dublin, 1993) (San Mateo, CA: Morgan Kaufmann) pp 134-45
3. Attie P and Emerson E A 1989 Synthesis of concurrent systems with many similar sequential processes Proc. 16th Ann. ACM Symp. on Principles of Programming Languages (Austin, TX, 1989) pp 191-201
4. Breitbart Y and Silberschatz A 1988 Multidatabase Update Issues Proc. ACM SIGMOD Int. Conf. on Management of Data (Chicago, IL, 1988) (New York: ACM Press) pp 134-42
5. Cannata P E 1991 The irresistible move towards interoperable database systems Proc. 1st Int. Workshop on Interoperability in Multidatabase Systems (Kyoto, 1991) (Los Alamitos, CA: IEEE Press)
6. Chrysanthis P and Ramamritham K 1994 Synthesis of extended transaction models using ACTA ACM Trans. Database Syst. 19 (3) 450-91
7. Clarke E, Emerson E A and Sistla P 1983 Automatic verification of finite state concurrent systems using temporal logic specifications Proc. 10th Ann. ACM Symp. on Principles of Programming Languages (Austin, TX) pp 117-26
8. (1986 ACM Trans. Program. Lang. Syst. 8 244-63)
9. Clarke E and Grumberg O 1987 Avoiding the state explosion problem in temporal logic model checking algorithms Proc. 6th Ann. ACM Symp. on Principles of Distributed Computing (Vancouver, 1987) pp 294-303
10. Clarke E and Grumberg O 1987 Research on automatic verification of finite state concurrent systems Ann. Rev. Comput. Sci. 2 269-90
11. Dayal U, Hsu M and Ladin R 1991 A transactional model for long-running activities Proc. 17th VLDB Conf. (Barcelona, 1991) (San Mateo, CA: Morgan Kaufmann) pp 113-22
12. Elmagarmid A (ed) 1992 Database Transaction Models (San Mateo, CA: Morgan Kaufmann)
13. Elmagarmid A, Leu Y, Litwin W and Rusinkiewicz M 1990 A multidatabase transaction model for Interbase Proc. 16th VLDB Conf. (Brisbane, 1990) (San Mateo, CA: Morgan Kaufmann) pp 507-18
14. Emerson E A 1990 Temporal and modal logic Handbook of Theoretical Computer Science vol B, ed J Van Leeuwen
15. Emerson E A and Clarke E 1982 Using branching time temporal logic to synthesize synchronization skeletons Science of Computer Programming vol 2, pp 241-66
16. Elmasri R and Navathe S 1994 Fundamental of Database Systems 2nd edn (Reading, MA: Benjamin Cummings)
17. Francez N 1992 Program Verification (Reading, MA: Addison-Wesley)
18. Garcia-Molina H and Salem K 1987 Sagas Proc. ACM SIGMOD Conf. on Management of Data
19. Georgakopoulos D, Hornick M and Sheth A 1995 An overview of workflow management: from process modeling to workflow automation infrastructure Distrib. Parallel Databases 3 (2) 119-53
20. Georgakopoulos D, Rusinkiewicz M and Sheth A 1991 On serializability of multidatabase transactions through forced local conflict Proc. 7th Int. Conf. on Data Engineering (Kobe, 1991) (Los Alamitos, CA: IEEE Computer Society Press) pp 314-23
21. Gray J and Reuter A 1993 Transaction Processing: Concepts and Techniques (San Mateo, CA: Morgan Kaufmann)
22. Hoare CAR 1969 An axiomatic basis for computer programming Commun. ACM 12 576-80, 583
23. Jin W, Ness L, Rusinkiewicz M and Sheth A 1992 Executing service provisioning applications as multidatabase flexible transactions Bellcore Technical Memorandum
24. Klein J 1991 Advanced rule driven transaction management Proc. IEEE COMPCON (1991)
25. Korth H F and Speegle G 1994 Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model ACM Trans. Database Syst. 19 492-535
26. Krishnakumar N and Sheth A 1995 Managing heterogeneous multi-system tasks to support enterprise-wide operations J. Distrib. Parallel Database Syst. 3 155-86
27. Leymann F, Schek H-J and Vossen G (ed) 1996 Transactional workflows Dagstuhl Seminar Report 152 IBFI GmbH, Schloss Dagstuhl, Wadern
28. Manna Z and Wolper P 1984 Synthesis of communicating processes from temporal logic specifications ACM Trans. Program. Lang. Syst. 6 68-93
29. Ramamritham K and Chrysanthis P 1996 A taxonomy of correctness criteria in database applications VLDB J.
30. 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 Press-Addison-Wesley) (Reprinted with corrections 1995)
31. Rusinkiewicz M, Sheth A and Karabatis G 1991 Specifying interdatabase dependencies in a multidatabase environment IEEE Comput. 24 (12) 46-53
32. Sheth A, Georgakopoulos D, Joosten S, Rusinkiewicz M, Scacchi W, Wileden J and Wolf A 1996 Report from the NSF Workshop on Workflow and Process Automation in Information Systems Technical Report UGA-CS-TR-96-003 Department of Computer Science, University of Georgia. http://lsdis.cs.uga.edu/activities/NSF-workflow/
33. Tomlinson C, Cannata P E, Meredith G and Woelk D 1993 The extensible services switch in Carnot IEEE Parallel Distrib. Technol. 1 16-20
34. Woelk D, Cannata P, Huhns M, Jacobs N, Ksiezyk T, Lavender G, Meredith G, Ong K, Shen W, Singh M and Tomlinson C 1996 Carnot prototype Object-Oriented Multidatabase Systems ed O Bukhres and A K Elmagarmid (Englewood Cliffs, NJ: Prentice Hall) pp 621-48
35. Worah D and Sheth A 1996 What do advanced transaction models have to offer for workflows? Proc. Int. Workshop on Advanced Transaction Models and Architectures (ATMA) (Goa, 1996)