By Topic

Soundness and Niceness as Correctness Criteria for Grid Workflows

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Nikola Trcka ; Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Eindhoven, Netherlands ; Natalia Sidorova ; Wil van der Aalst

Soundness property has been defined as the minimal correctness requirement that every business workflow must meet. The property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without exact domain knowledge. In this paper we extend the notion of soundness to grid workflows. In addition to discovering flaws in the control flow, our notion also captures incorrect data flow, as well as incorrect (or redundant) data transfer and data removal activities. We propose several possible definitions, depending on the capabilities of (or the options set in) the middleware.To capture the problem of some data occupying the grid storage space unnecessarily long, we also introduce the concept of workflow niceness. Niceness should not be seen as a correctness requirement, but rather as a desired property complementary to soundness. In addition to giving a procedure to check niceness, we also give a method that converts a grid workflow into a "nice" one. By using the language of Petri nets as foundation, we ensure that our results apply to a wide variety of grid workflow languages.

Published in:

eScience, 2008. eScience '08. IEEE Fourth International Conference on

Date of Conference:

7-12 Dec. 2008