@inproceedings{1ff41f63da7144d1a7c1a36e7da76da4,
title = "Diagnosing and repairing data anomalies in process models",
abstract = "When using process models for automation, correctness of the models is a key requirement. While many approaches concentrate on control flow verification only, correct data flow modeling is of similar importance. This paper introduces an approach for detecting and repairing modeling errors that only occur in the interplay between control flow and data flow. The approach is based on place/transition nets and detects anomalies in BPMN models. In addition to the diagnosis of the modeling errors, a subset of errors can also be repaired automatically.",
author = "A. Awad and G. Decker and N. Lohmann",
year = "2010",
doi = "10.1007/978-3-642-12186-9\_2",
language = "English",
isbn = "978-3-642-12185-2",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer",
pages = "5--16",
editor = "S. Rinderle-Ma and S. Sadiq and F. Leymann",
booktitle = "Business Process Management Workshops (BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised papers)",
address = "Germany",
}