Wyszukiwanie:
|

|
Sortowanie:
|
|
|
Bibliografia Publikacji Pracowników PK (49507) | Inne bazy bibliograficzne (15032) Architektura i Sztuka Krakowa (2298) | Historia i Ludzie PK – baza w przygotowaniu (13) | Konferencje Krynickie - Referaty (7776) LXVII Konferencja Naukowa, 2022 (41) | LXVI Konferencja Naukowa, 2020 (67) | LXV Konferencja Naukowa, 2019 (58) | LXIV Konferencja Naukowa, 2018 (139) | LXIII Konferencja Naukowa, 2017 (136) | LXII Konferencja Naukowa, 2016 (150) | LXI Konferencja Naukowa, 2015 (145) | LX Konferencja Naukowa, 2014 (190) | LIX Konferencja Naukowa, 2013 (110) | LVIII Konferencja Naukowa, 2012 (168) | LVII Konferencja Naukowa, 2011 (111) | LVI Konferencja Naukowa, 2010 (130) | LV Konferencja Naukowa, 2009 (108) | LIV Konferencja Naukowa, 2008 (161) | LIII Konferencja Naukowa, 2007 (161) | LII Konferencja Naukowa, 2006 (123) | LI Konferencja Naukowa, 2005 (113) | L Konferencja Naukowa, 2004 (165) | XLIX Konferencja Naukowa, 2003 (125) | XLVIII Konferencja Naukowa, 2002 (137) | XLVII Konferencja Naukowa, 2001 (154) | XLVI Konferencja Naukowa, 2000 (140) | XLV Konferencja Naukowa, 1999 (161) | XLIV Konferencja Naukowa, 1998 (140) | XLIII Konferencja Naukowa, 1997 (153) | XLII Konferencja Naukowa, 1996 (164) | XLI Konferencja Naukowa, 1995 (173) | XL Konferencja Naukowa, 1994 (151) | XXXIX Konferencja Naukowa, 1993 (148) | XXXVIII Konferencja Naukowa, 1992 (117) | XXXVII Konferencja Naukowa, 1991 (125) | XXXVI Konferencja Naukowa, 1990 (109) | XXXV Konferencja Naukowa, 1989 (150) | XXXIV Konferencja Naukowa, 1988 (177) | XXXIII Konferencja Naukowa, 1987 (195) | XXXII Konferencja Naukowa, 1986 (190) | XXXI Konferencja Naukowa, 1985 (180) | XXX Konferencja Naukowa, 1984 (143) | XXIX Konferencja Naukowa, 1983 (141) | XXVIII Konferencja Naukowa, 1982 (120) | XXVII Konferencja Naukowa, 1981 (160) | XXVI Konferencja Naukowa, 1980 (169) | XXV Konferencja Naukowa, 1979 (177) | XXIV Konferencja Naukowa, 1978 (143) | XXIII Konferencja Naukowa, 1977 (120) | XXII Konferencja Naukowa, 1976 (143) | XXI Konferencja Naukowa, 1975 (132) | XX Konferencja Naukowa, 1974 (151) | XIX Konferencja Naukowa, 1973 (131) | XVIII Konferencja Naukowa, 1972 (112) | XVII Konferencja Naukowa, 1971 (120) | XVI Konferencja Naukowa, 1970 (116) | XV Konferencja Naukowa, 1969 (75) | XIV Konferencja Naukowa, 1968 (114) | XIII Konferencja Naukowa, 1967 (100) | XII Konferencja Naukowa, 1966 (106) | XI Konferencja Naukowa, 1965 (81) |
| Niepublikowane prace naukowe pracowników PK (1994-2012) (4941) |
|
Jednostki PK
Opcje
|
Forma publikacji | | referat/rozdział w monografii | Tytuł źródła | | Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, September 9–12, 2018, Poznań, Poland | Redaktor źródła | | Ganzha, Maria; Maciaszek, Leszek; Paprzycki, Marcin | Miejsce wydania | | New York City, Warszawa | Wydawca | | Institute of Electrical and Electronics Engineers Polskie Towarzystwo Informatyczne | Wydawnictwo według MEiN | | Institute of Electrical and Electronics Engineers (IEEE) Polskie Towarzystwo Informatyczne | Data wydania | | 2018 | Język | | angielski | Seria/Czasopismo | | Annals of Computer Science and Information Systems | Numer w serii | | 15 | ISSN serii | | 2300-5963 | Typ nośnika | | online | Zakres stron | | 445-453 | Oznaczenie ilustracji | | schem., tab. | Bibliografia (na str.) | | 452-453 | Bibliografia (liczba pozycji) | | 47 | Oznaczenie streszczenia | | Abstr. | ISBN | | 978-83-949419-5-6 (Web) 978-83-949419-6-3 (USB) 978-83-949419-7-0 (ART) | Nazwa konferencji | | FedCSIS 2018 : 2018 Federated Conference on Computer Science and Information Systems | Miejsce konferencji | | Poznań, Poland | Data konferencji | | 9-12.09.2018 | DOI | | 10.15439/2018F131 | Charakter pracy | | publikacja naukowa | Publikacja recenzowana | | tak | Opis bibliograficzny | | 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ęcejGeneration 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) |
Słowa kluczowe | | business process management, process verification, workflow logs, constraint programming | Abstrakt | | 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ęcejJuxtapositioning 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. |
Publikacja indeksowana w Web of Science | | tak | Publikacja indeksowana w bazie Scopus | | tak | Liczba arkuszy | | 1 | Dyscyplina | | automatyka, elektronika i elektrotechnika Dziedzina nauk inżynieryjno-technicznych |
Publikacja w Open Access (OA) | | tak |
Link do publikacji | | w IEEE Xplore Digital Library  Polskie Towarzystwo Informatyczne | Kolekcja | | |
|