A taxonomy of grid workflow verification and validation

Jinjun Chen; Yun Yang

doi:10.1002/cpe.1220

A taxonomy of grid workflow verification and validation

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.1220 ◽

2008 ◽

Vol 20 (4) ◽

pp. 347-360 ◽

Cited By ~ 43

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Verification And Validation ◽

Grid Workflow ◽

Workflow Verification

Download Full-text

PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit

Advances in Grid and Pervasive Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68083-3_8 ◽

2008 ◽

pp. 48-58 ◽

Cited By ~ 5

Author(s):

Haijun Cao ◽

Hai Jin ◽

Song Wu ◽

Yongcai Tao

Keyword(s):

Petri Net ◽

Grid Workflow ◽

Workflow Verification

Download Full-text

Petri net based Grid workflow verification and optimization

The Journal of Supercomputing ◽

10.1007/s11227-011-0668-3 ◽

2011 ◽

Vol 66 (3) ◽

pp. 1215-1230 ◽

Cited By ~ 2

Author(s):

Haijun Cao ◽

Hai Jin ◽

Song Wu ◽

Shadi Ibrahim

Keyword(s):

Petri Net ◽

Grid Workflow ◽

Workflow Verification

Download Full-text

Verification and Validation of Real-Time Software

10.1007/978-3-642-70224-2 ◽

1985 ◽

Cited By ~ 10

Keyword(s):

Real Time ◽

Verification And Validation

Download Full-text

A predicate calculus based language for data verification and validation

10.2514/6.1993-4462 ◽

1993 ◽

Author(s):

Antonio Leal

Keyword(s):

Verification And Validation ◽

Predicate Calculus ◽

Data Verification

Download Full-text

Verification and Validation of DESTIN as the Primary Sample Acquisition Tool for the RESOLVE Project

51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition ◽

10.2514/6.2013-735 ◽

2013 ◽

Author(s):

Sherry Schmidt ◽

Dale Boucher ◽

Stephanie Fudge ◽

Cindy Komarechka

Keyword(s):

Verification And Validation ◽

Primary Sample

Download Full-text

Fire safety engineering. Assessment, verification and validation of calculation methods

10.3403/30243802u ◽

2015 ◽

Keyword(s):

Fire Safety ◽

Verification And Validation ◽

Safety Engineering ◽

Calculation Methods ◽

Fire Safety Engineering

Download Full-text

Fire safety engineering. Assessment, verification and validation of calculation methods

10.3403/30243800 ◽

2014 ◽

Keyword(s):

Fire Safety ◽

Verification And Validation ◽

Safety Engineering ◽

Calculation Methods ◽

Fire Safety Engineering

Download Full-text

New workflow verification algorithm based on graph-search

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.00615 ◽

2010 ◽

Vol 30 (3) ◽

pp. 615-616

Author(s):

Zheng-jun DANG ◽

Zhong-jun DU

Keyword(s):

Graph Search ◽

Verification Algorithm ◽

Workflow Verification

Download Full-text

Advanced Distributed Simulation Technology Advanced Rotary Wing Aircraft. Strawman Verification and Validation Plan for the ARWA Simulator System

10.21236/ada280237 ◽

1994 ◽

Author(s):

Roger Branson ◽

Howard Fry

Keyword(s):

Distributed Simulation ◽

Verification And Validation ◽

Simulation Technology ◽

Validation Plan ◽

Rotary Wing

Download Full-text

Verification and Validation of Current IWEDA Rules.

10.21236/ada332943 ◽

1997 ◽

Cited By ~ 1

Author(s):

Carl H. Chesley ◽

Vincent P. Grocki

Keyword(s):

Verification And Validation

Download Full-text