Book Chapter10.1007/978-3-642-02144-2_34
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
Nikola Trčka,Wil M. P. van der Aalst,Natalia Sidorova +2 more
- 06 Jun 2009
- Vol. 5565, pp 425-439
TL;DR: In this article, the authors present an analysis approach that uses so-called "anti-patterns" expressed in terms of a temporal logic to discover data-flow errors in workflows.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Soundness of workflow nets: classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
TL;DR: It is shown that the eight soundness notions described in the literature are decidable for workflow nets, however, most extensions will make all of these notions undecidable.
Enabling Flexibility in Process-Aware Information Systems
Manfred Reichert,Barbara Weber +1 more
- 01 Jan 2012
TL;DR: This chapter deals with the flexibility needs of both pre-specified and loosely-specified processes and elicitates requirements for flexible process support in a PAIS.
407
Soundness of workflow nets : classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
- 01 Jan 2008
TL;DR: Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows as mentioned in this paper, and they are used as an abstraction of the workflow that is used to check the so-called soundness property.
324
Are we done with business process compliance: state of the art and challenges ahead
TL;DR: The survey results reveal that mostly compliance management approaches centre around three distinct categories, namely design-time, run-time and auditing, which are based on different compliance management strategies in the context of formulated research questions.
•Posted Content
Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches – A State-of-The-Art Analysis and Research Roadmap
TL;DR: This work reflects and discusses compliance-checking approaches in order to provide an insight into their generalizability and evaluation, and proposes a roadmap for further research in model-based business process compliance checking.
100
References
The application of Petri-nets to workflow management
TL;DR: This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.
•Book
Workflow Management: Models, Methods, and Systems
Wil vanderAalst,Kees M. van Hee +1 more
- 01 Jan 2001
TL;DR: This book provides a basic overview of workflow terminology and organization, as well as detailed coverage of workflow modeling with Petri nets, to provide a comprehensive introduction to workflow management.
•Book
Business Process Management: Concepts, Languages, Architectures
Mathias Weske
- 19 Sep 2007
TL;DR: Matthias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management, and details the complete business process lifecycle from the modeling phase to process enactment and improvement, taking into account all different stakeholders involved.
2.1K
An overview of workflow management: from process modeling to workflow automation infrastructure
TL;DR: This paper provides a high-level overview of the current workflow management methodologies and software products and discusses how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area.
1.7K
•Journal Article
Workflow Management: Models, Methods, and Systems
TL;DR: Workflow Management as mentioned in this paper is an overview of workflow terminology and organization, as well as detailed coverage of workflow modeling with Petri nets, which facilitates communication between designers and users, and includes case studies, review exercises, and a glossary.
1.3K
Related Papers (5)
[...]
W.M.P. van der Aalst,A.H.M. ter Hofstede,Bartek Kiepuszewski,Alistair Barros +3 more
- 01 Jul 2003