Szczegóły publikacji
Opis bibliograficzny
Generation of synthetic business process traces using constraint programming / Piotr WIŚNIEWSKI, Krzysztof KLUZA, Antoni LIGĘZA, Anna Suchenia // W: FedCSIS 2018 [Dokument elektroniczny] : proceedings of the 2018 Federated Conference on Computer Science and Information Systems : September 9–12, 2018, Poznań, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Warsaw : Polskie Towarzystwo Informatyczne ; New York : Institute of Electrical and Electronics Engineers, cop. 2018. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 15). — Dod. ISBN: 978-83-949419-6-3 (USB), 978-83-949419-7-0 (ART). — e-ISBN: 978-83-949419-5-6. — S. 445–453. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 452–453, Abstr. — Toż pod adresem https://annals-csis.org/Volume_15/drp/pdf/131.pdf
Autorzy (4)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 118243 |
|---|---|
| Data dodania do BaDAP | 2018-11-28 |
| Tekst źródłowy | URL |
| DOI | 10.15439/2018F131 |
| Rok publikacji | 2018 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Institute of Electrical and Electronics Engineers (IEEE) |
| Konferencja | 2018 Federated Conference on Computer Science and Information Systems |
| Czasopismo/seria | Annals of Computer Science and Information Systems |
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.
