摘要
现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxedsoundness)作为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 organiza- tions. 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 circuitfree IOPN is relaxed sound if and only if it can be decomposed into a set of legal sequence diagrams.
出处
《计算机学报》
EI
CSCD
北大核心
2012年第10期2169-2181,共13页
Chinese Journal of Computers
基金
国家自然科学基金(61100039
61021062
60973044
61073030
61003019
60903053
61073031
60903024
61272188)
国家"九七三"重点基础研究发展规划项目基金(2009CB320702)
计算机软件新技术国家重点实验室(南京大学)自主课题面上项目(ZZKT2011B10)及开放基金(KFKT2011B07)
中央高校基本科研业务费专项资金
浙江省自然科学基金项目(Z1100822
LY12F02005)资助~~
关键词
工作流
协同模型
合理性
不变量
分解
workflow
coordination model
soundness
invariant
decomposition
