Abstract: Pi calculus is a computer model which can be used to model concurrent and dynamic systems.The Pi calculus was proposed as a formal foundation for workflow after researching Pi calculus, further more advanced branching and synchronization patterns workflow patterns were described by using the Pi calculus in detail.

Key words: Pi calculus,Workflow patterns,Formal method