The Community for Technology Leaders
2007 IEEE Congress on Services (Services 2007) (2007)
Salt Lake City, Utah, USA
July 9, 2007 to July 13, 2007
ISBN: 0-7695-2926-7
pp: 237-243
Sumit W Sorde , Engineering IIT Kanpur, India
Sanjeev K Aggarwal , Engineering IIT Kanpur, India
Jie Song , Asia Pacific Science and Technology Centre SUN Microsystems Inc.
Melvin Koh , Asia Pacific Science and Technology Centre SUN Microsystems Inc.
Simon See , Asia Pacific Science and Technology Centre SUN Microsystems Inc.
ABSTRACT
The advent of grid technology has provided a promising methodology for usage of distributed resources for complex scientific workflow applications. Grid workflow management systems (GWMS) enable even a non-expert grid user to compose workflows and further provide functionality to coordinate execution of the complete workflow thereby masking the grid-specific details from the user. We have designed a non- DAG workflow specification model for workflow composition. Our model allows a user to compose a workflow using directed graphs, thereby allowing modeling of sequence, parallel, choice and iteration patterns in the workflow. We have also provided for structural verification of workflows using Petri net based analysis techniques. A workflow is said to he structurally correct if it does not have errors like deadlock and lack of synchronization. A workflow found correct by structural verification techniques can be executed correctly for all possible workflow instances. We have incorporated our workflow model into a previously existing workflow management system for Sun Grid engine [I]. Experiments show that the model allows for composition of wider range of workflow applications. Also the verification procedure provides appropriate error messages to user, indicating the nature and cause of error, when a structural error is detected. We have composed and executed the workflow of EMAN [2], a real-world Bio-informatics application. The experimentation results show the efficient utilization of compute power of the grid by the inherent parallel tasks in the EMAN workflow.
INDEX TERMS
null
CITATION

S. See, S. W. Sorde, M. Koh, J. Song and S. K. Aggarwal, "Modeling and Verifying Non-DAG Workflows for Computational Grids," 2007 IEEE Congress on Services (Services 2007)(SERVICES), Salt Lake City, Utah, USA, 2007, pp. 237-243.
doi:10.1109/SERVICES.2007.50
98 ms
(Ver 3.3 (11022016))