一种基于不变量的工作流协同模型分解方法

摘要

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxed soundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.%The business processes of the modern enterprise computing have been becoming more complex. To coordinate workflows from different organizations, which are geographically dispersed and autonomous, this paper proposes a model called IOPN (Interaction-Oriented Petri Nets) to describe the workflow coordination between different organizations. The IOPN model can describe the internal process models and the interaction relations between different organizations. To assure the IOPN model being executed correctly, this paper presents the relaxed soundness of IOPN model as one of correctness properties. The size of the composite IOPN model is usually large, so the analysis based on state space methods will encounter the state space explosion problem. This paper presents a decomposition approach with invariant analysis, which can decompose a circuit-free and relaxed sound IOPN into a set of sequence diagrams. Furthermore, this paper presents the corresponding theorem, i. e. , a circuit-free IOPN is relaxed sound if and only if it can be decomposed into a set of legal sequence diagrams.