Analyzing control-flow and data-flow in workflow processes in a unified way

Research output: Book/ReportReportAcademic

143 Downloads (Pure)


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

Publication series

NameComputer science reports
ISSN (Print)0926-4515


Dive into the research topics of 'Analyzing control-flow and data-flow in workflow processes in a unified way'. Together they form a unique fingerprint.

Cite this