Data-flow anti-patterns : discovering data-flow errors in workflows

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

138 Citations (Scopus)
10 Downloads (Pure)

Abstract

Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for data-flow verification. Most techniques simply abstract from data, while data dependencies can be the source of all kinds of errors. This paper focuses on the discovery of data-flow errors in workflows. We present an analysis approach that uses so-called "anti-patterns" expressed in terms of a temporal logic. Typical errors include accessing a data element that is not yet available or updating a data element while it may be read in a parallel branch. Since the anti-patterns are expressed in terms of temporal logic, the well-known, stable, adaptable, and effective model-checking techniques can be used to discover data-flow errors. Moreover, our approach enables a seamless integration of control flow and data-flow verification.
Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering (21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings)
EditorsP. Eck, J. Gordijn, R. Wieringa
Place of PublicationBerlin
PublisherSpringer
Pages425-439
ISBN (Print)978-3-642-02143-5
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
Volume5565

Fingerprint

Dive into the research topics of 'Data-flow anti-patterns : discovering data-flow errors in workflows'. Together they form a unique fingerprint.

Cite this