PGWFT: A Petri net based grid workflow verification and optimization toolkit

被引：0
|
作者：
Cao, Haijun [1 ]
Jin, Hai [1 ]
Wu, Song [1 ]
Tao, Yongcai [1 ]
机构：
[1] Huazhong Univ Sci & Technol, Serv Comp Technol & Syst Lab, Cluster & Grid Comp Lab, Sch Comp Sci & Technol, Wuhan 430074, Peoples R China
来源：
ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS | 2008年 / 5036卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：48 / 58
页数：11
相关论文
共 50 条
  • [1] Petri net based Grid workflow verification and optimization
    Cao, Haijun
    Jin, Hai
    Wu, Song
    Ibrahim, Shadi
    JOURNAL OF SUPERCOMPUTING, 2013, 66 (03): : 1215 - 1230
  • [2] Petri net based Grid workflow verification and optimization
    Haijun Cao
    Hai Jin
    Song Wu
    Shadi Ibrahim
    The Journal of Supercomputing, 2013, 66 : 1215 - 1230
  • [3] A Method for Soundness Verification of Workflow Model Based on Petri Net
    Wang Jianliang
    Xia Zhiwei
    Ding Yanan
    ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 880 - 883
  • [4] Verification of workflow task structures: A Petri-net-based approach
    van der Aalst, WMP
    ter Hofstede, AHM
    INFORMATION SYSTEMS, 2000, 25 (01) : 43 - 69
  • [5] A HYBRID PETRI-NET MODEL OF GRID WORKFLOW
    Ji Yimu* Wang Ruchuan* ** Ren Xunyi* *(Nanjing University of Posts and Telecommunications
    Journal of Electronics(China), 2008, (02) : 283 - 288
  • [6] A Workflow Modeling Optimization and Analysis Algorithm Based on Petri-net
    Hao Mei
    2008 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (15TH), VOLS I AND II, CONFERENCE PROCEEDINGS, 2008, : 188 - 192
  • [7] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [8] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
  • [9] Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface
    Guan, Zhijie
    Hernandez, Francisco
    Bangalore, Purushotham
    Gray, Jeff
    Skjellum, Anthony
    Velusamy, Vijay
    Liu, Yin
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (10): : 1115 - 1140
  • [10] On the design and temporal Petri net verification of grid commerce architecture
    Yuyue, Du
    Changjun, Jiang
    CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (02): : 247 - 251
12345