会议专题

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

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

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

葛季栋 胡海洋 周宇 胡昊 王栋毅 过晓波

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

国内会议

2012中国计算机大会

大连

中文

2169-2181

2012-10-01(万方平台首次上网日期,不代表论文的发表时间)