Communication deadlock detection of inter-organizational workflow definition

Abstract

As the needs for interconnections of processes in different companies or departments are so increasing and companies try to realize business processes across organizational boundaries, the correctness issues of inter-organizational workflow definition is getting more important. In this paper, we develop community process definition language(CPDL) for inter-organizational workflow specification. It is devised to analyze correctness of inter-organizational workflow definition and especially it is used to detect latent communication deadlocks. A new communication deadlock detection technique in the context of interorganizational workflow definition is developed on CPDL using the set based constraint system. Any inter-organizational workflow languages that can be translated into CPDL can detect its communication deadlock using the technique of this paper.