Modeling cross-organizational services composition with Pi-calculus

Cross-organizational services composition is process-oriented and need collaboration of several systems, and these characteristics are different from normal. Traditional services composition modeling methods cannot meet these new requirements because they don´t have mechanisms to model the concurrency operations of several systems. Target on this problem, a cross-organizational services composition modeling method based on Pi calculus is proposed. Using Pi calculus, a cross-organizational business process is modeled as a composition of a set concurrent local business processes, the cross-organization controller, the global start activity and global end activity. Local business processes is modeled as a composition of local activities which can receive external start message compared with traditional activities in service composition. This new cross-organizational services composition modeling method can makes the model adapt to dynamic cross-organizational environment. And this model is based on strict formal method, which facilitates the analysis and verification of business process models.