版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:计算机软件新技术国家重点实验室(南京大学)南京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模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.