2000 Volume 120 Issue 12 Pages 1972-1977
A workflow model is used to describe business processes when workflow management system is constructed. In the workflow management system, “deadlocks” means the interruption of workflow caused by mistakes of workflow model design. This paper proposes a method which detects all deadlocks in workflow model. In order to find out all deadlocks, the deadlock patterns which express deadlock by combinations of nodes are adopted. However, there is the problem that some deadlocks cannot be detected because of endless loop. In order to cope with the problem we define expanded deadlock pattern which can be applyed to the case in which former deadlock patterns cannot find out deadlocks.
The transactions of the Institute of Electrical Engineers of Japan.C
The Journal of the Institute of Electrical Engineers of Japan