Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Annals of Computer Science and Information Systems

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Business Process Recomposition as a Way to Redesign Workflows Effectively

Wiśniewski Piotr, Kluza Krzysztof, Jemioło Paweł, Ligęza Antoni, Suchenia Anna

Annals of Computer Science and Information Systems

2021

Vol. 25

471--474

Business process models are subject to changing requirements. The purpose of this paper is to present methods that enable computer-aided recomposition of process models, understood as using existing processes to design new ones. This procedure involves dividing existing BPMN diagrams into smaller components, from which new models can be created. This kind of model generation can be performed manually by the user or run automatically, based on the Constraint Programming technique. The presented algorithms can improve the process of model redesign and allow users to avoid typical anomalies that may occur in the modeling phase.

Overview of verification tools for business process models

Suchenia Anna, Wiśniewski Piotr, Ligęza Antoni

Annals of Computer Science and Information Systems

2017

Vol. 13

295--302

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.