A Decomposition Approach with Invariant Analysis for Workflow Coordination.

Jidong Ge,Haiyang Hu
DOI: https://doi.org/10.1007/978-3-642-04205-8_25
2009-01-01
Abstract: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.
What problem does this paper attempt to address?