A deadlock detection algorithm for business processes workflow models

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.