Verification of Grid Workflows

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.