Set-based access conflict analysis of concurrent workflow definition

Information Processing Letters

Volumn 80, Issue 4, 2001, Pages 189-194

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

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

Author keywords

Concurrency; Static analysis; Workflow management system

Indexed keywords

CONCURRENT ENGINEERING; CONSTRAINT THEORY; LARGE SCALE SYSTEMS; PROBLEM SOLVING;

WORKFLOW MANAGEMENT SYSTEMS (WFMS);

SET THEORY;

EID: 0035976397     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(01)00162-4     Document Type: Article

References (12)

1. Barrier inference
2. Dflow workflow management system
3. Type-based race detection for Java
4. Exotica/FMDC: Handling disconnected clients in a workflow management system
5. Logic based modeling and analysis of workflows
6. Exception analysis for Java
7. A cost-effective estimation of uncaught exceptions in SML programs
8. Set based program analysis
9. A static data race analysis tool
10. Eraser: A dynamic data race detector for multi-threaded programs
11. Workflow Management Coalition