Set-based access conflicts analysis of concurrent workflow definition

Proceedings of the 3rd International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 2001

Volumn , Issue , 2001, Pages 172-176

  Lee, Minkyu ^a   Han, Dongsoo ^b   Shim, Jaeyong ^b  

^a Plastic Software   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

WORK SIMPLIFICATION;

BUSINESS PROCESS; CONFLICTS ANALYSIS; CONSTRAINT SYSTEMS; MINIMAL SOLUTIONS; MISSION CRITICAL; PROCESS DESIGNERS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW PROCESS;

DATABASE SYSTEMS;

EID: 62449138438     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CODAS.2001.945164     Document Type: Conference Paper

References (12)

1. A. Aiken and D. Gay, "Barrier inference," Proceeding of the 25th Symposium on Principles of Programming Languages, pages 243-354, 1998.
2. C. Dengi and S. Neftci, "Dflow Workflow Management System," Proceedings of 8th International Workshop on Database and Expert Systems Applications, 1997.
3. C. Flanagan and S. Freund, "Type-Based Race Detection for Java," Proceedings of ACM Conference on Programming Language Design and Implementation, June, 2000.
4. G. Alonso, R. Gunthor, M. Kamath, D. Agrawal, A. El Abbadi and C. Mohan, "Exotica/FMDC: Handling Disconnected Clients in a Workflow Management System," 3rd International Conference on Cooperative Information Systems, Vienna, May 1995.
5. H. Davulcu, M. Kifer, C.R. Ramakrishnan, and I.V.Ramakrishnan, "Logic based modeling and analysis of workflows," In ACM Symposium on Principles of Database Systems, June, 1998.
6. K. Yi and B. Chang, "Exception Analysis for Java," ECOOP'99 Workshop on Formal Techniques for Java Programs, June, 1999.
7. K. Yi and S. Ryu, "A Cost-effective Estimation of Uncaught Exceptions in SML Programs," Theoretical Computer Science, Vol. 273, No. 1, 2000.
8. N. Heintze, "Set Based Program Analysis," Ph.D.thesis, School of Computer Science, Carnegie Mellon University, October 1992.
9. N. Heintze, "Set Based Analysis of ML Programs," Carnegie Mellon University Technical Report CMU-CS-93-193, July 1993.
10. N. Sterling, "A static data race analysis tool," In USENIX Winter Technical Conference, pages 97-106, 1993.
11. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A dynamic data race detector for multithreaded programs," ACM Transactions no Computer Systems, 15(4):391-411, 1997.
12. Workflow Management Coalition, "Interface 1: Process Definition Interchange Process Model," Document Number WfMC TC-1016-P, October 29, 1999.