关键词: 协同业务过程, 异步消息通信, 随机行为, 通信顺序进程（CSP）, 马尔科夫链

Abstract: Participation in organizational random behavior is a key factor in evaluating effective implementation of business collaboration. Combining process algebra and Markov chain, this paper proposes a method for analyzing random behavior of collaborative business processes. Firstly, a finite state automaton is used to model the business processes of each participating organization, and the collaborative service process is defined by introducing asynchronous message communication relation. Secondly, it is proposed a method of transforming the participating business process into Communication Sequential Process（CSP）, and then the CSP process corresponding to each participating organization business process is concurrently combined to obtain the corresponding CSP process corresponding to the business process, and the state migration model of the collaborative business process is constructed according to the CSP operation semantics. Finally, the concept of regularization of the state transition model is introduced, it is theoretically proved that the regularized state transition model corresponds to a homogeneous Markov chain, and then the stability probability of each state in the state transition system is obtained according to the equilibrium equation, based on this, the stochastic behavior analysis of participating organizations is realized. The feasibility and validity of the method are illustrated by analyzing the process of purchasing and stochastic behavior of electrical equipment.

Key words: collaborative business process, asynchronous message communication, random behavior, Communication Sequential Process（CSP）, Markov chain