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.