A Modelling Method for Cross-Organizational Business Process Collaboration Based on Petri Net and Process Algebra

作者：Qi, Mo; Fei, Dai; Tong, Li

来源：Applied Mechanics and Materials, 2014, 635-637: 1480-1487.

DOI：10.4028/www.scientific.net/amm.635-637.1480

<jats:p>In order to resolve the modelling problem of business processes collaboration, especially, the asynchronous communication mechanism problem and the verification problem, combining the respective strengths of Petri Nets and the classical process algebra CCS, a modeling method is proposed in this paper. First of all, modelling the internal view of cross-organization based on Petri Nets, extracting the communication interface and mapping to internal transition to get the public view; Secondly, researching on the asynchronous communication mechanism and modelling the communication process by CCS to get communication behavior view, thus making the verification of collaboration converts to the CCS derivation; Finally, an algorithm is proposed to generate automatically the behaviors possessed by every transition in model view. The modelling method proposed is not only to analyze and verify the structure properties in collaboration, but also to analyze and verify the behavior properties, which brings a huge convenience for further analysis and verification in cross-organizational business process collaboration.</jats:p>

• 出版日期2014-9
• 单位云南大学