Dynamic Business Process Modeling and Verification for Inter-Organizational Collaboration

Hu Qingcheng,Xing Chunxiao,Yang Jijiang,Yan Qi,Li Yimin

DOI: https://doi.org/10.3969/j.issn.1003-7985.2007.03.032

2007-01-01

Abstract: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×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.