中文摘要：

为了解决企业间业务过程协同的建模问题，特别是模型的验证效率及异步通信机制问题，结合Petri网和pi演算各自的优势，提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图，将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图，并对异步通信机制进行研究，运用pi演算对其通信过程进行建模得到通信行为视图，进而使得跨组织业务过程协同的验证转换成pi演算的推演；通过对通信机制的分析，给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的，通过建模实例阐述了该方法的有效性。

英文摘要：

In order to solve the problem of model construction between the enterprise＇ s collaboration during business process, especially, its efficiency and the mechanism of asynchronous communication, this paper proposed a multi-view model which combined the respective strengths of Petri nets and the pi calculus. Firstly, this paper modeled the internal view of cross-or- ganization based on Petri nets and extracted the communication interface, mapping to internal transition to get the public view. Secondly, this paper investigated the mechanism of asynchronous communication and modeled the communication process by pi calculus to get the view of communication behavior, thus making the verification of collaboration convert to the pi calculus deri- vation. Thirdly, this paper provided two necessary conditions which must be satisfied in the adjustment of two activities and proved that it was context-free, by the analysis of communication mechanism. Finally, it illustrated its effectiveness of this ap- proach by establishing an example.