Formal Description of Workflow Patterns Based on Pi-Calculus

Workflow patterns contain basic features of business process, and describe activities and their execution ordering through different constructors, which permit flow of execution control. Pi-calculus, as a kind of process algebra, can be applied in business process modeling. In this paper, we introduced a formal semantics for workflow patterns, which is based on the Pi-calculus, to investigate some workflow patterns.