A.N. Afanasyev – Dr.Sc.(Eng.), Professor, First Vice-Rector, Vice-Rector of Distance and Further Education,  Ulyanovsk State Technical University

E-mail: a.afanasev@ulstu.ru

N.N. Voit – Ph.D.(Eng.), Associate Professor, Department «Computer Engineering», Deputy Director on research work of Institute of distance and further education, Ulyanovsk State Technical University E-mail: n.voit@ulstu.ru

M.E. Ukhanova – Post-graduate Student, Department «Computer Engineering», Ulyanovsk State Technical University; Leading Part-programming Engineer, JSC «Ulyanovsk Mechanical Plant» E-mail: mari-u@inbox.ru

The paper aims at interesting approach to check the workflows of business process. Business processes as workflows are presented as a diagram based on graphical languages such as eEPC, UML, BPMN, IDEF0 and so on. Authors offer the approach, including a temporal grammar, a timed automaton and an ontology, for narrowing the semantic gap between business process analysis and business process execution. Authors proposed to check the structural errors and semantic errors as well. The latter is solved applying the ontological model. In proposed approach 23 errors could be detected and the results are provided in visual form. The approach is illustrated by an example.

1. Workflow Handbook 2005 / Layna Fischer (edit or) // Workflow Management Coalition. 2005.
2. Henry H. Bi and J. Leon Zhao. Applying Propositional Logic to Workflow Verification // Information Technology and Management. 2004. V. 5(3−4). P. 293−318.
3. Yuan Wang, Yushun Fan. Using Temporal Logics for Modeling and Analysis of Workflows // Proceedings of IEEE International Conference on E-Commerce Technology for Dynamic E-Business. 2004. doi: 10.1109/CEC-EAST.2004.72.
4. WhiteStein Thechnologies. https://www.whitestein.com/lsps-solutions/manufacturing (ot 25.05.2018).
5. Karpov Yu.G. MODEL SHECKING. Verifikacziya parallel’ny’x i raspredelenny’x programmny’x sistem. SPb.: BXV-Peterburg. 2010. 560 s.
6. Afanas’ev A.N., Vojt N.N. Grammatiko-algebraicheskij podxod k analizu i sintezu diagrammaticheskix modelej gibridny’x dinamicheskix potokov proektny’x rabot // Informaczionno-izmeritel’ny’e i upravlyayushhie sistemy’. 2017. № 12. S. 69−78. URL = http://www.radiotec.ru/article/20138 (ot 25.05.2018).
7. Verifikacziya programmy’ i temporal’ny’e logiki. URL = http://logic.pdmi.ras.ru/~yura/modern/034.pdf (ot 25.05.2018).
8. Kalyanov G.N. Modelirovanie, analiz, reorganizacziya i optimizacziya biznes-proczessov: Ucheb. posobie. M.: Finansy’ i statistika. 2006. 240 s. URL = http://www.twirpx.com/file/2204790/ (ot 13.11.2017).
9. Saeedloei N., Gupta G. Timed definite clause omega-grammars // LIPIcs-Leibniz International Proceedings in Informatics. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. 2010. T. 7.
10. Wang Y., Fan Y. Using temporal logics for modeling and analysis of workflows // IEEE International Conference on E-Commerce Technology for Dynamic E-Business. 2004. S. 169−174.
11. Afanas’ev A.N., Sharov O.G., Vojt N.N. Analiz i kontrol’ diagrammaticheskix modelej pri proektirovanii slozhny’x avtomatizirovanny’x sistem. Ul’yanovsk: UlGTU. 2016. 125 s.
12. Afanasyev A., Voit N., Gaynullin R. The Analysis of Diagrammatic Models of Workflows in Design of the Complex Automated Systems // Proceedings of the First International Scientific Conference «Intelligent Information Technologies for Industry» (IITI’16). Springer International Publishing. 2016. S. 227−236.
13. Afanasyev A.N., Voit N.N., Gainullin R.F. Diagrammatic models processing in designing the complex automated systems // IEEE 10th International Conference on Application of Information and Communication Technologies (AICT). 2016. S. 1−4.
14. Afanasyev A.N. et al. Control of UML diagrams in designing automated systems software // IEEE 9th International Conference on Application of Information and Communication Technologies (AICT). 2015. S. 285−288.
15. Afanas’ev A.H., Igonin A.G., Afanas’eva T.V., Vojt N.N. Ispol’zovanie nejrosemanticheskix setej dlya avtomatizirovannogo proektirovaniya vy’chislitel’noj texniki // Avtomatizacziya. Sovremenny’e texnologii. 2008. № 1. S. 21−24.
16. Afanas’ev A.N., Vojt N.N. Intellektual’naya agentnaya sistema analiza modelej potokov proektny’x rabot // Avtomatizacziya proczessov upravleniya. 2015. № 4. S. 42.
17. Afanas’ev A.N., Vojt N.N. Avtomatnaya vremennaya grammatika dlya upravleniya ob’‘ektami kiberfizicheskix sistem // Materialy’ 10-j Vseros. mul’tikonferenczii po problemam upravleniya MKPU-2017. V 3-x tomax. Otv. red. I.A. Kalyaev. 2017. S. 20−22.
18. Afanas’ev A.N., Vojt N.N., Uxanova M.E., Ionova I.S., Epifanov V.V. Analiz konstruktorsko-texnologicheskix potokov rabot v usloviyax krupnogo radiotexnicheskogo predpriyatiya // Radiotexnika. 2017. № 6. S. 49−58.
19. Svidetel’stvo № 2016616685 RF. RV-analizator diagrammnogo yazy’ka BPMN dlya MS Visio: svidetel’stvo o gosudarstvennoj registraczii programmy’ dlya E’VM / Afanas’ev A.N., Vojt N.N., Kirillov S.Yu.; zayavitel’ i pravoobladatel’ UlGTU. № 2016616685; zayavl. 19.04.2016; zaregistr. 16.06.2016.