Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns

The article analyzed the significance of formalizing grid workflow patterns and the advantage of using the Pi calculus to formalize. After that, it used the pi calculus to formalize the grid workflow patterns. On the foundation of lucubrating basic framework characteristics of grid workflow patterns and pi calculus theory, the paper proposed a rule of formalizing method. This method compared practicably with former ways in describing grid workflow, we can directly make use of the fruit of this paper with mature pi-tools to verify grid workflow system.