Dynamic business process modeling and verification for inter-organizational collaboration  

跨组织动态协作业务流程组合建模与验证(英文)

作　　者：胡庆成[1] 邢春晓[2] 杨吉江[2] 严琪[1] 李益民[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]清华大学信息技术研究院,北京100084

出　　处：《Journal of Southeast University(English Edition)》2007年第3期455-460,共6页东南大学学报（英文版）

基　　金：The National Natural Science Foundation of China(No60473078)

摘　　要：To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法.

关 键 词：inter-organizational collaboration PI-CALCULUS business process modeling model verification 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]