@inbook{9fe79face9414d2692d6196040e4be3e,
title = "Data-flow anti-patterns : discovering data-flow errors in workflows",
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.",
author = "N. Trcka and {Aalst, van der}, W.M.P. and N. Sidorova",
year = "2009",
doi = "10.1007/978-3-642-02144-2_34",
language = "English",
isbn = "978-3-642-02143-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "425--439",
editor = "P. Eck and J. Gordijn and R. Wieringa",
booktitle = "Advanced Information Systems Engineering (21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings)",
address = "Germany",
}