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

Research output: Book/ReportReportAcademic

116 Downloads (Pure)

Abstract

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
Volume0831
ISSN (Print)0926-4515

Fingerprint

Flow control
Model checking
Refining

Cite this

Trcka, N., Aalst, van der, W. M. P., & Sidorova, N. (2008). Analyzing control-flow and data-flow in workflow processes in a unified way. (Computer science reports; Vol. 0831). Eindhoven: Technische Universiteit Eindhoven.
Trcka, N. ; Aalst, van der, W.M.P. ; Sidorova, N. / Analyzing control-flow and data-flow in workflow processes in a unified way. Eindhoven : Technische Universiteit Eindhoven, 2008. 23 p. (Computer science reports).
@book{9d2be7cfd8b94d7a9771b0a1b1d92dfb,
title = "Analyzing control-flow and data-flow in workflow processes in a unified way",
abstract = "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.",
author = "N. Trcka and {Aalst, van der}, W.M.P. and N. Sidorova",
year = "2008",
language = "English",
series = "Computer science reports",
publisher = "Technische Universiteit Eindhoven",

}

Trcka, N, Aalst, van der, WMP & Sidorova, N 2008, Analyzing control-flow and data-flow in workflow processes in a unified way. Computer science reports, vol. 0831, Technische Universiteit Eindhoven, Eindhoven.

Analyzing control-flow and data-flow in workflow processes in a unified way. / Trcka, N.; Aalst, van der, W.M.P.; Sidorova, N.

Eindhoven : Technische Universiteit Eindhoven, 2008. 23 p. (Computer science reports; Vol. 0831).

Research output: Book/ReportReportAcademic

TY - BOOK

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

AU - Trcka, N.

AU - Aalst, van der, W.M.P.

AU - Sidorova, N.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

M3 - Report

T3 - Computer science reports

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Trcka N, Aalst, van der WMP, Sidorova N. Analyzing control-flow and data-flow in workflow processes in a unified way. Eindhoven: Technische Universiteit Eindhoven, 2008. 23 p. (Computer science reports).