Enterprise Software

Analyzing Control-Flow and Data-Flow in Workflow Processes in a Unified Way

Free registration required

Executive Summary

Workflow correctness properties are usually defined based on one workflow perspective only, e.g. the control-flow or the data-flow. In this paper the authors consider workflow correctness criteria looking at the control flow extended with the read/write/destroy information for data items. They formalize some common control-flow errors, and they introduce behavioral anti-patterns related to the handling of data. In addition to extending, refining, and classifying existing methods, the paper provides a unifying framework for complete workflow verification, using the well-known, stable, adaptable, and effective model-checking approach.

  • Format: PDF
  • Size: 397.4 KB