Download now Free registration required
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