Abstract: Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Pi-calculus, as a kind of process algebra, can be applied in business process model- ing. This paper uses Pi-calcu

Key words: Business process modeling, Workflow patterns, Pi-calculus