The analysis and verification of cooperative workflow based interactive abstract graph

Abstract

To detect whether there are deadlocks in the analysis and verification of cooperative workflow, the method of Petri net accessibility analysis is often adopted. In order to alleviate possibility of state space explosion, this paper proposes the analysis approach based on interactive abstract graph. Interactive abstract graph only affects the elements of collaborative interaction, makes use of these elements of the partial order to discover whether there exists any deadlock situation by detecting inappropriate partial order of contradictory logic relations. Besides, it can reveal the hidden internal conflicts directly and its efficiency and accessibility are much higher. This method provides a new way for deadlock detection of cooperative workflow as well as concurrent system. © 2013 Springer-Verlag.