А.Н. Афанасьев – д.т.н., профессор, первый проректор, проректор по ДиДО,  Ульяновский государственный технический университет

E-mail: a.afanasev@ulstu.ru

Н.Н. Войт – к.т.н., доцент, кафедра «Вычислительная техника»,  Ульяновский государственный технический университет

E-mail: n.voit@ulstu.ru

М.Е. Уханова – аспирант, кафедра «Вычислительная техника», Ульяновский государственный технический университет; вед. инженер-программист, руководитель группы, АО «Ульяновский механический завод» E-mail: mari-u@inbox.ru

Предложен подход к контролю и анализу потоков проектных работ бизнес-процессов, представленных в виде диаграмм на основе графических языков, таких как eEPC, UML, BPMN, IDEF0 и др. Отмечено, что подход содержит темпоральную грамматику, темпоральный автомат и онтологию и предназначен для сужения семантического разрыва между анализом бизнеспроцессов и выполнением бизнес-процессов. Представлен пример контроля и анализа бизнес-процесса согласования конструкторской документации.

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 (от 25.05.2018).
5. Карпов Ю.Г. MODEL СHECKING. Верификация параллельных и распределенных программных систем. СПб.: БХВ-Петербург. 2010. 560 с.
6. Афанасьев А.Н., Войт Н.Н. Грамматико-алгебраический подход к анализу и синтезу диаграмматических моделей гибридных динамических потоков проектных работ // Информационно-измерительные и управляющие системы. 2017. № 12. С. 69−78. URL = http://www.radiotec.ru/article/20138 (от 25.05.2018).
7. Верификация программы и темпоральные логики. URL = http://logic.pdmi.ras.ru/~yura/modern/034.pdf (от 25.05.2018).
8. Калянов Г.Н. Моделирование, анализ, реорганизация и оптимизация бизнес-процессов: Учеб. пособие. М.: Финансы и статистика. 2006. 240 с. URL = http://www.twirpx.com/file/2204790/ (от 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. Т. 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. С. 169−174.
11. Афанасьев А.Н., Шаров О.Г., Войт Н.Н. Анализ и контроль диаграмматических моделей при проектировании сложных автоматизированных систем. Ульяновск: УлГТУ. 2016. 125 с.
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. С. 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. С. 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. С. 285−288.
15. Афанасьев A.H., Игонин А.Г., Афанасьева Т.В., Войт Н.Н. Использование нейросемантических сетей для автоматизированного проектирования вычислительной техники // Автоматизация. Современные технологии. 2008. № 1. С. 21−24.
16. Афанасьев А.Н., Войт Н.Н. Интеллектуальная агентная система анализа моделей потоков проектных работ // Автоматизация процессов управления. 2015. № 4. С. 42.
17. Афанасьев А.Н., Войт Н.Н. Автоматная временная грамматика для управления объектами киберфизических систем // Материалы 10-й Всерос. мультиконференции по проблемам управления МКПУ-2017. В 3-х томах. Отв. ред. И.А. Каляев. 2017. С. 20−22.
18. Афанасьев А.Н., Войт Н.Н., Уханова М.Е., Ионова И.С., Епифанов В.В. Анализ конструкторско-технологических потоков работ в условиях крупного радиотехнического предприятия // Радиотехника. 2017. № 6. С. 49−58.
19. Свидетельство № 2016616685 РФ. RV-анализатор диаграммного языка BPMN для MS Visio: свидетельство о государственной регистрации программы для ЭВМ / Афанасьев А.Н., Войт Н.Н., Кириллов С.Ю.; заявитель и правообладатель УлГТУ. № 2016616685; заявл. 19.04.2016; зарегистр. 16.06.2016.