Verification of grid workflows

Authors:
P. Kurdel;J. Sebestyénová
Affiliations:
Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia;Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia
Venue:
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Year:
2008

Citing 10
Cited 0

Workflow Patterns

Distributed and Parallel Databases
UML Activity Diagrams as a Workflow Specification Language

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Verification Problems in Conceptual Workflow Specifications

ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
GridAnt: A Client-Controllable Grid Work.ow System

HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7
Resource constraints analysis of workflow specifications

Journal of Systems and Software - Special issue: Applications of statistics in software engineering
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Key research issues in grid workflow verification and validation

ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Orchestration and Workflow in a mobile Grid environment

GCCW '06 Proceedings of the Fifth International Conference on Grid and Cooperative Computing Workshops
Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems: Research Articles

Concurrency and Computation: Practice & Experience - Autonomous Grid Computing
Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems

BPM'06 Proceedings of the 4th international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Grids are being adopted and developed in several scientific disciplines that deal with large-scale collaboration, massive distributed data, and distributed computing problems. The service orchestration is a problem of making multiple services coordinate themselves and communicate in an orderly fashion so as to accomplish a task more complex than the single tasks provided by the individual composing services. A Grid workflow system is a type of application-level Grid middleware that is supposed to support modelling, redesign and execution of large-scale processes. Grid workflow verification and validation must be conducted so that we can identify any violations of the correctness in workflow specification and consequently remove them in time.