|
|||||
|
|
| 一种基于不变量的工作流协同模型分解方法 | |
| 引用本文： | 葛季栋,胡海洋,周宇,胡昊,王栋毅,过晓波.一种基于不变量的工作流协同模型分解方法[J].计算机学报,2012,35(10). |
| 作者姓名： | 葛季栋 胡海洋 周宇 胡昊 王栋毅 过晓波 |
| 作者单位： | 1. 计算机软件新技术国家重点实验室(南京大学) 南京 210093;南京大学软件学院 南京 210093 2. 计算机软件新技术国家重点实验室(南京大学) 南京 210093;杭州电子科技大学计算机学院 杭州 310018 3. 计算机软件新技术国家重点实验室(南京大学) 南京 210093;南京航空航天大学计算机科学与技术学院 南京 210016 4. 计算机软件新技术国家重点实验室(南京大学) 南京 210093;南京大学计算机科学与技术系 南京 210093 |
| 基金项目： | 国家自然科学基金，国家"九七三"重点基础研究发展规划项目基金，计算机软件新技术国家重点实验室(南京大学)自主课题面上项目，开放基金，中央高校基本科研业务费专项资金、浙江省自然科学基金项目 |
| 摘 要： | 现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxed soundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图. |
| 关 键 词： | 工作流 协同模型 合理性 不变量 分解 |
A Decomposition Approach with Invariant Analysis for Workflow Coordination |
|
| GE Ji-Dong , HU Hai-Yang , ZHOU Yu , HU Hao , WANG Dong-Yi , GUO Xiao-Bo.A Decomposition Approach with Invariant Analysis for Workflow Coordination[J].Chinese Journal of Computers,2012,35(10). | |
| Authors: | GE Ji-Dong HU Hai-Yang ZHOU Yu HU Hao WANG Dong-Yi GUO Xiao-Bo |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |