Generation of synthetic business process traces using constraint programming
Authors:
- Piotr Wiśniewski,
- Krzysztof Kluza,
- Antoni Ligęza,
- Anna Suchenia
Abstract
Juxtapositioning manually created business process models with diagrams generated using process discovery algorithms exposes high complexity of the latter. As a consequence, their formal verification requires significant computational resources due to a large state space. Nevertheless, an analysis of the generated model is needed to assure its correctness and the ability to represent source data. As a solution to this problem, we present an approach for constraint-based generation of a~complete workflow log for a given BPMN model. We propose a method to extract directed subgraphs representing token flows in the process, together with a set of predefined constraints which ensure the correctness of the generated traces. The obtained results can be then compared to the original workflow log used for process discovery in order to verify the obtained model.
- Record ID
- CUT6307a352fa474883b953534d7be1c050
- Publication categories
- ; ;
- Author
- Pages
- 445-453
- Other elements of collation
- schem.; tab.; Bibliografia (na s.) - 452-453; Bibliografia (liczba pozycji) - 47; Oznaczenie streszczenia - Abstr.
- Book
- Ganzha Maria, Maria Ganzha Maciaszek Leszek, Leszek Maciaszek Paprzycki Marcin Marcin Paprzycki (eds.): Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, September 9–12, 2018, Poznań, Poland, Annals of Computer Science and Information Systems, no. 15, 2018, New York City, Warszawa, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers, Polskie Towarzystwo Informatyczne, ISBN 978-83-949419-5-6 (Web)
- Keywords in English
- business process management, process verification, workflow logs, constraint programming
- DOI
- DOI:10.15439/2018F131 Opening in a new tab
- URL
- https://annals-csis.org/proceedings/2018/drp/131.html Opening in a new tab
- Language
- eng (en) English
- License
- Score (nominal)
- 20
- Additional fields
- Indeksowana w: Web of Science, Scopus
- Uniform Resource Identifier
- https://cris.pk.edu.pl/info/article/CUT6307a352fa474883b953534d7be1c050/
- URN
urn:pkr-prod:CUT6307a352fa474883b953534d7be1c050
* presented citation count is obtained through Internet information analysis, and it is close to the number calculated by the Publish or PerishOpening in a new tab system.