Collaboration Business Process Modeling Based on Petri Nets and Pi Calculus
Fei DAI,Qi MO,Leilei LIN,Rui ZHU,Tong LI,Zhongwen XIE
DOI: https://doi.org/10.3778/j.issn.1673-9418.1408024
2015-01-01
Abstract:Collaboration business processes enable local business processes of organizations to communicate and coop-erate with each other to achieve their common business goals by forming a relatively stable process view. In order to guarantee the correctness and consistence of collaboration business processes, it becomes more and more important to model them using formal methods. This paper combines the advantages of Petri nets and Pi calculus, and proposes a modeling method. This method applies the separation of concerns to describe collaboration business processes from two views. On the one hand, the public view is proposed from the view of control flow to graphically describe the structure and states of business processes involved in a collaboration business process using Petri nets based on their flow-oriented feature. On the other hand, the cooperation view is proposed from the view of interaction to describe the interactions of collaboration business processes using Pi calculus based on their interaction-oriented feature.This paper proposes process labeled system to build the link between Petri nets and Pi calculus. Compared with tra-ditional business process modeling methods, the proposed method can effectively support the characteristics of col-laboration business processes.