Overview of verification tools for business process models / Anna Suchenia (Mroczek), Piotr Wiśniewski, Antoni Ligęza // W: Communication Papers of the 2017 Federated Conference on Computer Science and ... więcej

Overview of verification tools for business process models / Anna Suchenia (Mroczek), Piotr Wiśniewski, Antoni Ligęza // W: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, September 3-6, 2017, Prague, Czech Republic [Dokument elektroniczny] / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. – Warszawa : Polskie Towarzystwo Informatyczne, 2017. – (Annals of Computer Science and Information Systems, ISSN 2300-5963 ; 13). – S. 295-302 : rys., schem. – Tryb dostępu: https://annals-csis.org/Volume_13/drp/pdf/308.pdf. – Bibliogr. 93 poz., Abstr. – Tyt. źródła częściowo wg okł. – doi: 10.15439/2017F308. – ISBN 78-83-922646-2-0 WEB. – ISBN 78-83-922646-3-7 USB

Formal verification of process models is an important issue in Business Process Management. Such a verification provides the information about the correctness of a process model, can be also used for checking ... więcej

Formal verification of process models is an important issue in Business Process Management. Such a verification provides the information about the correctness of a process model, can be also used for checking business compliance or as a preliminary step to simulation. In this paper, we provide an overview of the existing tools for such a verification.