Generation of synthetic business process traces using constraint programming / Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza, Anna Suchenia // W: Proceedings of the 2018 Federated Conference on Computer ... więcej

Generation of synthetic business process traces using constraint programming / Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza, Anna Suchenia // W: Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, September 9–12, 2018, Poznań, Poland [Dokument elektroniczny] / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. – New York City : Institute of Electrical and Electronics Engineers ; Warszawa : Polskie Towarzystwo Informatyczne, 2018. – (Annals of Computer Science and Information Systems, ISSN 2300-5963 ; 15). – S. 445-453 : schem., tab. – Tryb dostępu: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8511250. – Bibliogr. 47 poz., Abstr. – doi: 10.15439/2018F131. – ISBN 978-83-949419-5-6 (Web). – ISBN 978-83-949419-6-3 (USB). – ISBN 978-83-949419-7-0 (ART)

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 ... więcej

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.