Title :
A deadlock detection algorithm for business processes workflow models
Author :
Maruta, Tetsuya ; Onoda, Sen´ichi ; Ikkai, Yoshitomo ; Kobayashi, Takashi ; Komoda, Norihisa
Author_Institution :
Dept. of Inf. Syst. Eng., Osaka Univ., Japan
Abstract :
Proposes an algorithm which detects structures of deadlock which have deadlock occurrence possibility. This deadlock detection algorithm finds out all deadlock structures in the business processes workflow model by using deadlock patterns which express deadlock structures by combinations of nodes. There is the problem that some deadlock structures cannot be identified with some deadlock pattern because the deadlock structures cross each other when the algorithm finds deadlock patterns in the business processes workflow model. The problem can be solved by detecting the deadlock structures not by using each deadlock pattern but by using each of the unit into which the deadlock pattern is integrated.
Keywords :
operations research; reachability analysis; workflow management software; business processes workflow models; deadlock detection algorithm; deadlock patterns; Computational modeling; Control systems; Detection algorithms; Information systems; Large-scale systems; Process design; System recovery; System testing; Systems engineering and theory; Workflow management software;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725480