| Abstract [eng] |
Analyzed research sources show that methods describing current business process logic are quite complex (such as business process modeling notation (BPMN), Unified Modeling Language (UML activity diagrams) and other formalisms). For business representatives who do not know these formal process techniques, it is difficult to understand information technology specialists who are modelling these processes. Therefore, the goal of this work is to offer a new analysis methodology for business processes using graphs, process specifications and verify the correctness of the search algorithm using graph artificial intelligence tools. Artificial intelligence prolog language realized output mechanism based with search algorithms, makes it very simple to describe and analyze graphs. In addition, form of the graphs is well understood by both business and information technology professionals. The work consists of four main parts: In the first part business process was described and analyzed. Also business process models were compared, new business process verification methodology was offered. The second part is focused on describing the business process verification method. In the third part offered artificial intelligence tools for business process verification were described. Expert developed system was also described. The fourth section presents experimental results. The results of this work were presented in the Computer Days 2013 Conference and published in the article “Business process verification using a modified search algorithm”. |
