| 跨组织动态协作业务流程组合建模与验证 |
| |
| 引用本文： | 胡庆成,邢春晓,杨吉江,严琪,李益民.跨组织动态协作业务流程组合建模与验证[J].东南大学学报,2007,23(3):455-460. |
| |
| 作者姓名： | 胡庆成 邢春晓 杨吉江 严琪 李益民 |
| |
| 作者单位： | 清华大学计算机科学与技术系，清华大学信息技术研究院，清华大学信息技术研究院，清华大学计算机科学与技术系，清华大学计算机科学与技术系 北京100084 清华大学信息技术研究院，北京100084，北京100084，北京100084，北京100084 清华大学信息技术研究院，北京100084，北京100084 清华大学信息技术研究院，北京100084 |
| |
| 基金项目： | The National Natural Science Foundation of China(No60473078) |
| |
| 摘 要： | 为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法.
|
| 关 键 词： | 跨组织协作 pi-演算 业务流程建模 模型验证 |
| 修稿时间： | 2007-05-18 |
Dynamic business process modeling and verification for inter-organizational collaboration |
| |
| Hu Qingcheng,Xing Chunxiao,Yang Jijiang,Yan Qi,Li Yimin.Dynamic business process modeling and verification for inter-organizational collaboration[J].Journal of Southeast University(English Edition),2007,23(3):455-460. |
| |
| Authors: | Hu Qingcheng Xing Chunxiao Yang Jijiang Yan Qi Li Yimin |
| |
| Institution: | 1 Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;2Research Institute of Information Technology, Tsinghua University, Beijing 100084, China |
| |
| Abstract: | |
| |
| Keywords: | inter-organizational collaboration pi-calculus business process modeling model verification |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
