Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach

6 Pages Posted: 16 Jan 2009

See all articles by Hema Sundari Meda

Hema Sundari Meda

Indian Institute of Management (IIM), Calcutta

Anup K Sen

Indian Institute of Management Calcutta

Amitava Bagchi

Indian Institute of Management (IIM), Calcutta

Date Written: October 22, 2007

Abstract

When designing a workflow, it is customary practice to create the control flow structure first and to ensure its correctness. Information about the flow of data is introduced subsequently into the workflow and its correctness is independently verified. Improper specification of data requirements of tasks and XOR splits can cause problems such as wrong branching at XOR splits and the failure of tasks to execute. Here we present a graph traversal algorithm called GTforDF for detecting data flow errors in a workflow that is free of control flow errors, and illustrate its operation on two realistic workflows with interconnected loops. Our approach extends and generalizes data flow verification methods that have been recently proposed. It also makes use of the concept of corresponding pairs lately introduced in control-flow verification. It thus has the potential for development into a unified algorithmic procedure for the concurrent detection of control flow and data flow errors.

Keywords: data flow algorithms, lost data, missing data, redundant data, corresponding pair

Suggested Citation

Meda, Hema Sundari and Sen, Anup K and Bagchi, Amitava, Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach (October 22, 2007). 17th Annual Workshop on Information Technolgies & Systems (WITS) Paper, Available at SSRN: https://ssrn.com/abstract=1328165 or http://dx.doi.org/10.2139/ssrn.1328165

Hema Sundari Meda (Contact Author)

Indian Institute of Management (IIM), Calcutta ( email )

E-110, NTB
Joka, Diamond Harbour Road
Calcutta, West Bengal 700104
India

Anup K Sen

Indian Institute of Management Calcutta ( email )

Joka, Diamond Harbour Road
Kolkata 700104, West Bengal
India
+919830268925 (Phone)
+913324678062 (Fax)

HOME PAGE: http://www.iimcal.ac.in/faculty/facpage.asp?ID=aksen

Amitava Bagchi

Indian Institute of Management (IIM), Calcutta ( email )

E-110, NTB
Joka, Diamond Harbour Road
Calcutta, West Bengal 700104
India

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Downloads
155
Abstract Views
1,258
rank
221,163
PlumX Metrics