From Enabling to Ensuring Grid Workflows [chapter]

Junwei Cao, Fan Zhang, Ke Xu, Lianchen Liu
Quantitative Quality of Service for Grid Computing  
Grid workflows are becoming a mainstream paradigm for implementing complex grid applications. In addition to existing grid enabling techniques, various grid ensuring techniques are emerging, e.g. workflow analysis and temporal reasoning, to probe potential pitfalls and errors and guarantee quality of services (QoS) at a design phase. A new state π calculus is proposed in this work, which not only enables flexible abstraction and management of historical grid system events, but also facilitates
more » ... odeling and verification of grid workflows. Some typical patterns in grid workflows are captured and both static and dynamic formal verification issues are investigated, including structural correctness, specification satisfiability, logic satisfiability and consistency. A grid workflow modeling and verification environment, GridPiAnalyzer, is implemented using formal modeling and verification methods proposed in this work. Performance evaluation results are included using a grid workflow for gravitational wave data analysis.
doi:10.4018/978-1-60566-370-8.ch003 fatcat:n2ke2i7x35ebfjkc2bzjyjuua4