BPMN Process Models Enhancement with Timers Discovered from Event Logs

<p>This paper considers the modeling business processes. Business process modeling is an urgent and growing area of the modern life. But despite the fact that all kinds of models and notations are receiving more and more attention, there are areas that remain problematic and underdeveloped, for example, timing, who play one of the most important roles as in the construction of business processes and business sphere in general, but are overlooked. It is therefore the object of study is the element notation BPMN (Business Process Model and Notation) - a timer that allows you to simulate times, time periods and events regularly in time or having a different time dependence. As part of the research was analyzed to study and produced reasonable restriction element to element studies - intermediate periodic timer. An algorithm to identify corresponding element of the study in the information provided in the events logs was also developed, presenting data in the form of time series and using the autocorrelation function to determine the seasonality of the data. In the practical part of the work, a charts of business process models in the specification of BPMN were created, in which there is an element such as a intermediate timer with some periodicity value. Create a chart on the event logs were generated. Also managed to implement the algorithm developed to detect information about timers as a plugin for ProM, which provides output augmented chart, that is unable to verify the algorithm experimentally. The implementation of this plug-in extends the functionality of the program ProM, complementing its enhancement process by Mining. Thereby increasing the number of algorithms that are implemented in the form of existing plug-ins.</p>