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

作     者：葛季栋 胡海洋 周宇 胡昊 王栋毅 过晓波 GE Ji-Dong;HU Hai-Yang;ZHOU Yu;HU Hao;WANG Dong-Yi;GUO Xiao-Bo

作者机构：计算机软件新技术国家重点实验室(南京大学)南京210093 南京大学软件学院南京210093 杭州电子科技大学计算机学院杭州310018 南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机科学与技术系南京210093 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2012年第35卷第10期

页      面：2169-2181页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(61100039 61021062 60973044 61073030 61003019 60903053 61073031 60903024 61272188) 国家"九七三"重点基础研究发展规划项目基金(2009CB320702) 计算机软件新技术国家重点实验室(南京大学)自主课题面上项目(ZZKT2011B10)及开放基金(KFKT2011B07) 中央高校基本科研业务费专项资金 浙江省自然科学基金项目(Z1100822 LY12F02005)资助 

主　　题：工作流 协同模型 合理性 不变量 分解 

摘      要：现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxedsoundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.