A taxonomy of grid workflow verification and validation
作者：
DOI: 10.1002/CPE.V20:4
关键词: Workflow engine 、 Grid computing 、 Windows Workflow Foundation 、 Computer science 、 Software engineering 、 XPDL 、 Verification and validation 、 Database 、 Workflow technology 、 Business process 、 Workflow management system
摘要: In a grid architecture, workflow management system is type of high-level middleware which supposed to support modelling, redesign and execution large-scale sophisticated scientific business processes in many complex e-science e-business applications. To ensure the correctness specification execution, verification validation must be conducted. However, current research on at infancy stage very few projects focus them. Therefore, systematic investigation an overall classification key issues helpful should presented so that we can keep right track reduce unnecessary work as much possible. As such, this paper, analyse present taxonomy. Especially, identify some important open points are not discussed by hence need further investigation. The taxonomy aimed providing picture validation. Copyright © 2007 John Wiley & Sons, Ltd.
swinflow.org 参考文章(55)
M. Analoui, L. Mohammad Khanli, QoS-based scheduling of workflow applications on grids ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology. pp. 276- 282 ,(2007)
Zsolt Németh, Vaidy Sunderam, Characterizing Grids: Attributes, Definitions, and Formalisms Journal of Grid Computing. ,vol. 1, pp. 9- 23 ,(2003) , 10.1023/A:1024011025052
Paul Donachy, Mark McCurley, P.V. Jithesh, Noel Kelly, Ron H Perrott, David R. Simpson, Shane McKee, Paul Kerr, Terrence J Harmer, Jim Johnston, GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory ,(2004)
Ivona Brandic, Siegfried Benkner, Gerhard Engelbrecht, Rainer Schmidt, Towards Quality of Service Support for Grid Workflows Advances in Grid Computing - EGC 2005. pp. 661- 670 ,(2005) , 10.1007/11508380_67
Ian Foster, Steven Tuecke, Carl Kesselman, Jeffrey M. Nick, The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration ,(2002)
Fabio Casati, Silvana Castano, MariaGrazia Fugini, Managing Workflow Authorization Constraints through Active Database Technology Information Systems Frontiers. ,vol. 3, pp. 319- 338 ,(2001) , 10.1023/A:1011461409620
David Abramson, Jagan Kommineni, John L. McGregor, Jack Katzfey, An Atmospheric Sciences Workflow and Its Implementation with Web Services international conference on computational science. pp. 164- 173 ,(2004) , 10.1007/978-3-540-24685-5_21
Thomas Fahringer, Sabri Pllana, Alex Villazon, A-GWL: Abstract Grid Workflow Language international conference on computational science. pp. 42- 49 ,(2004) , 10.1007/978-3-540-24688-6_7
Nabil R. Adam, Vijayalakshmi Atluri, Wei-Kuang Huang, Modeling and Analysis of Workflows Using Petri Nets intelligent information systems. ,vol. 10, pp. 131- 158 ,(1998) , 10.1023/A:1008656726700
Jinjun Chen, Yun Yang, Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems Lecture Notes in Computer Science. ,vol. 4102, pp. 445- 450 ,(2006) , 10.1007/11841760_37