关键词: 协同业务过程, 公共视图, 协作视图, Petri网, Pi演算

Abstract: Collaboration business processes enable local business processes of organizations to communicate and cooperate 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 traditional business process modeling methods, the proposed method can effectively support the characteristics of collaboration business processes.

Key words: collaboration business process, public view, cooperation view, Petri nets, Pi calculus