关键词: Pi演算，生命周期，业务过程建模

Abstract: With the dramatic competition of enterprise, the technology of business modeling gets more and more important. Formal business process model receives a lot of attention in the scientific community because formal methodology is proved effective in avoiding ambiguity and feasible in supporting analysis and verification of model. 13ut at present,there is not suitable systemic theory and methodology to support modeling business process easily and to analyze and verify model formally. This paper discussed how to use formal methodology when modeling business process at the viewpoint of the lifecycle. I}he contribution of this paper is giving a lifecycle based on Pi calculus,discussing technology and tools used in every stage of lifecycle.

Key words: Pi calculus,Lifc cycle,Modelling business process