A Decomposition Approach with Invariant Analysis for Workflow Coordination

摘要

In order to coordinate different workflows from different organizations, this paper applies a model called Interaction-Oriented Petri Nets (IOPN). This model adopts the process interaction between transitions (workflow actions) from different workflows, to coordinate different workflow processes. To assure workflow process and workflow coordination can be executed correctly and completely, soundness and relaxed soundness are important properties to be considered. When the IOPN system becomes larger and larger, the state space of the coordination system becomes too large to analyze. To avoid the state space explosion problem, decomposition approach based on invariant analysis can be a complement analysis technique. IOPN model can be decomposed into a set of sequence diagrams when it is relaxed sound.