2009
DOI: 10.1007/978-3-642-02144-2_34
|View full text |Cite
|
Sign up to set email alerts
|

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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
135
0
1

Year Published

2011
2011
2022
2022

Publication Types

Select...
6
2

Relationship

0
8

Authors

Journals

citations
Cited by 148 publications
(136 citation statements)
references
References 13 publications
0
135
0
1
Order By: Relevance
“…For instance, [23] represents the associations between services in a WFD-net (WorkFlow nets annotated with Data). The tasks are annotated with the data that is created, read or written by the task.…”
Section: Process-centric Approachesmentioning
confidence: 99%
“…For instance, [23] represents the associations between services in a WFD-net (WorkFlow nets annotated with Data). The tasks are annotated with the data that is created, read or written by the task.…”
Section: Process-centric Approachesmentioning
confidence: 99%
“…Process model smells are closely related to anti-patterns [29,82], since both describe indicators for low process model quality. However, most of the described patterns constitute real modeling errors (potentiallly leading to deadlocks) and cannot be resolved through behavior-preserving refactorings.…”
Section: Related Workmentioning
confidence: 99%
“…Data dependencies can be formalized using workflow nets with data (WFDnets) as shown in [34]. WFD-nets extend WF-nets with data elements while identifying four relationships between activities (i. e., transitions) and data elements: read (activity a requires a data element d as input), write (activity a creates or updates data element d), destroy (activity a deletes data element d, and guard (data element d is used for routing).…”
Section: Dealing With Domain Knowledge and Data Dependenciesmentioning
confidence: 99%
“…The elements of a CRUD matrix can be translated into data dependencies in a WFD-net. In [34], nine data-flow anti-patterns are defined. For instance, the anti-pattern DAP 1 (Missing Data) describes the situation where some data element d needs to be accessed, i. e., read or destroyed, but either it has never been created or it has been deleted without having been created again.…”
Section: Dealing With Domain Knowledge and Data Dependenciesmentioning
confidence: 99%
See 1 more Smart Citation