A. M. Mironov, A. G. Miheev, V. E. Pyatetsky, “The algorithm of check of number of control flows in business process instance finiteness”, Probl. Upr., 2015, Issue 1,Pages <nobr>30

Information technologies controls

The algorithm of check of number of control flows in business process instance finiteness

A. M. Mironov^a, A. G. Miheev^b, V. E. Pyatetsky^b

^a Institute for Problems of Informatics of RAS, Moscow
^b National University of Science and Technology MISIS, Moscow

Abstract: Due to errors in business process development in contemporary computerized business process management systems there is a chance of unlimited growth of control flows number in business process instance that can lead to unjustified overload of computer system resources. The paper reviews the task of business process scheme analysis is in order to avoid such situation and proposes the algorithm of checking if there is a finite number of control flows.

Keywords: executable business processes, business process management systems, control flow, directed graph.

UDC: 51-7