Abstract
Business process modeling is still a challenging task — especially since more and more aspects are added to the models, such as data lifecycles, security constraints, or compliance rules. At the same time, formal methods allow for a detection of errors in the early modeling phase. Detected errors are usually explained with a path from the initial to the error state. These paths can grow unmanageably and make the understanding and fixing of errors very time consuming. This paper addresses this issue and proposes a novel explanation of errors: Instead of listing the actions on the path to the error, only the decisions that lead to it are reported and highlighted in the original model. Furthermore, we exploit concurrency to create a compact artifact to explain errors.
Original language | English |
---|---|
Title of host publication | Business Process Management (12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings) |
Editors | S. Sadiq, P. Soffer, H. Völzer |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 283-300 |
ISBN (Print) | 978-3-319-10171-2 |
DOIs | |
Publication status | Published - 2014 |
Event | 12th International Conference on Business Process Management, BPM 2014 - Eindhoven, Netherlands Duration: 7 Sept 2014 → 11 Sept 2014 Conference number: 12 http://bpm2014.haifa.ac.il/evover.net_9090/bpm2014.html https://link.springer.com/book/10.1007/978-3-319-15895-2 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 8659 |
ISSN (Print) | 0302-9743 |
Conference
Conference | 12th International Conference on Business Process Management, BPM 2014 |
---|---|
Abbreviated title | BPM 2014 |
Country/Territory | Netherlands |
City | Eindhoven |
Period | 7/09/14 → 11/09/14 |
Other | Conference was originally planned in Haifa, but due to the unstable situation in southern Israel, it was relocated to Eindhoven. BPM Demo Sessions 2014, BPMD 2014, Co-located with the 12th International Conference on Business Process Management, BPM 2014 |
Internet address |