PGWFT: a petri net based grid workflow verification and optimization toolkit

  • Authors:
  • Haijun Cao;Hai Jin;Song Wu;Yongcai Tao

  • Affiliations:
  • Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China;Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China;Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China;Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China

  • Venue:
  • GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, we propose a service composition oriented grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. Based on this, we present a Petri net based grid workflow verification and optimization toolkit, called PGWFT, to help common users describe workflow instances and perform verification and optimization analysis. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.