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.%协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作，以形成相对稳定的过程视图，从而满足共同的商业目标。为确保过程模型的正确性，采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用，提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则，一方面，从控制流角度，针对协同业务过程面向流的特点，提出公共视图，使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换；另一方面，从交互角度，针对协同业务过程面向协作的特点，提出协作视图，使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联，提出了进程标号迁移系统。与传统的业务过程建模方法相比，该方法能有效支持协同业务过程具有的个性化特征。
展开▼
