Back
Overview of verification tools for business process models
Authors:
- Anna Suchenia (Mroczek),
- Piotr Wiśniewski,
- Antoni Ligęza
Abstract
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.
- Record ID
- CUTe2da5d3c9a044f848ef92fdbfc8ebb68
- Publication categories
- ; ;
- Author
- Pages
- 295-302
- Other elements of collation
- rys.; schem.; Bibliografia (na s.) - 300-302; Bibliografia (liczba pozycji) - 93; Oznaczenie streszczenia - Abstr.
- Substantive notes
- Tyt. źródła częściowo wg okł.
- Book
- Ganzha Maria, Maria Ganzha Maciaszek Leszek, Leszek Maciaszek Paprzycki Marcin Marcin Paprzycki (eds.): Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, September 3-6, 2017, Prague, Czech Republic, Annals of Computer Science and Information Systems, no. 13, 2017, Warszawa, Polskie Towarzystwo Informatyczne, ISBN 78-83-922646-2-0 WEB
- Keywords in English
- process models verification, process models anomalies, verification tools, business process verification
- DOI
- DOI:10.15439/2017F308 Opening in a new tab
- URL
- https://annals-csis.org/Volume_13/drp/308.html Opening in a new tab
- Language
- eng (en) English
- License
- Score (nominal)
- 5
- Uniform Resource Identifier
- https://cris.pk.edu.pl/info/article/CUTe2da5d3c9a044f848ef92fdbfc8ebb68/
- URN
urn:pkr-prod:CUTe2da5d3c9a044f848ef92fdbfc8ebb68
* 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.