The Research On Verification Methods Of Grid Workflow

With the rapid development of the Internet technique, grid becomes a new kind of technique and infrastructure gradually, which can make use of the integrated resources adequately. As the grid applications all have complicated logic processes and need various time controls and logic controls, grid workflow is needed to manage these grid applications. The validation and verification of grid workflow all can be used to ensure the accuracy of the implementation of grid workflow. This paper puts emphasizes on the studies of the verification methods of grid workflow, which include the performance verification, resources verification and security verification mainly. Firstly, based on chaos theory of phase space reconstruction, the prediction of GridFTP rate is carried on to complete the verification of transformation performance. Secondly, D-Petri net is adopted to model the grid workflow and deadlock detection is carried on to make resource verification. Lastly, a security model for grid workflow is given, which combines the PKI/PMI technique and T-RBAC.