On Detecting Data Flow Errors in Workflows
On Detecting Data Flow Errors in Workflows
复制标题
DOI：
10.1145/1805286.1805290
复制
发表时间：
2010-07
期刊：
影响因子：
--
通讯作者：
Hema S. Meda;A. K. Sen;A. Bagchi
中科院分区：
文献类型：
--
作者：
Hema S. Meda;A. K. Sen;A. Bagchi
在设计业务工作流时，通常首先创建控制流结构并确保其正确性。有关数据流的信息随后被引入到工作流程中，并独立验证其正确性。任务和XOR分割的数据需求的不正确规范可能会导致诸如XOR分割处的错误分支和任务执行失败等问题。在这里，我们提出了一个图遍历算法称为GTforDF检测嵌套和非结构化工作流中的数据流错误，并说明其操作的现实例子。其中两个具有相互连接的循环，并且没有控制流错误，第三个是非结构化的无循环工作流。我们的方法扩展和推广的数据流验证方法，最近提出的。它还利用了最近在控制流验证中引入的对应对的概念。因此，它有可能发展成为一个统一的算法程序的并发检测控制流和数据流错误。理论上证明了算法的正确性。它也在许多例子上进行了实验测试。
When designing a business 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 both nested and unstructured workflows, and illustrate its operation on realistic examples. Two of these have interconnected loops and are free of control flow errors, and the third one is an unstructured loop-free workflow. 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. The correctness of the algorithm has been proved theoretically. It has also been tested experimentally on many examples.