Petri net based Grid workflow verification and optimization |
| |
| Authors: | Haijun Cao Hai Jin Song Wu Shadi Ibrahim |
| |
| Affiliation: | 1. Department of Computer Science, Xi’an Jiaotong University, Xi’an, 710049, China
2. Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, 430074, China
|
| |
| 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, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
