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

E-mail: n.voit@ulstu.ru

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

E-mail: kirillovsyu@gmail.com

Д.С. Канев – к.т.н., начальник научно-технического отдела ИДДО, 

Ульяновский государственный технический университет

E-mail: dima.kanev@gmail.com

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

E-mail: step_al_ul@mail.ru

Р.Ф. Гайнуллин – к.т.н., программист ООО «Эквид», 

Ульяновский государственный технический университет

E-mail: r.gainullin@gmail.com

Постановка проблемы. Обязательным этапом при проектировании сложных технических изделий является анализ бизнеспроцессов решения поставленной задачи, причем желательно автоматический (автоматизированный) с проверкой полученных процессов на ошибки. Вопросы анализа бездефектного завершения являются актуальными, поскольку сложность бизнеспроцессов в виде моделей постоянно возрастает, а встроенные в среду моделирования средства проверки пока являются далеко не совершенными. Существующие методы анализа имеют с точки зрения науки нелинейные временные зависимости – экспоненциальные, полиномиальные. Многообразие диаграммных графических языков покрывает все возможные типы описаний систем, однако существуют нерешенные проблемы. Инструментальные средства поддержки графического проектирования не используют универсальные методы синтаксического анализа и являются узкоспециализированными и направленными на работу с одним-двумя графическими языками.

Цель. Предложить метод анализа различных типов диаграмм (EPC, BPMN, IDEF3, IDEF5, BPMN и SharePoint) на основе временной автоматной RVTI-грамматики.

Результаты. Проведен вычислительный эксперимент реализации предложенного метода на примере анализа EPC-диаграммы. Практическая значимость. Приведены примеры найденных структурных (синтаксических) и семантических ошибок.

1. Feder J. Plex languages // Information Sciences. 1971. V. 3. № 3. P. 225−241.
2. Фу К. Структурные методы в распознавании образов. М.: Мир. 1977. 319 с.
3. Pfaltz J.L., Rosenfeld A. Web Grammar // Proc. of the International Joint Conference on Artificial Intelligence. Washington, D.C. 1969. P. 609−619.
4. Фу К. Структурные методы в распознавании образов. М.: Мир. 1977. 319 с.
5. Costagliola G. et al. Positional grammars: A formalism for LR-like parsing of visual languages // Visual Language Theory. Springer, New York, NY. 1998. P. 171−191.
6. Costagliola G., Chang S.K. Using linear positional grammars for the LR parsing of 2-D symbolic languages // Grammars. 1999. V. 2. № 1. P. 1−34.
7. Rekers J., Schürr A. Defining and parsing visual languages with layered graph grammars // Journal of Visual Languages & Computing. 1997. V. 8. № 1. P. 27−55.
8. Афанасьев А.Н., Войт Н.Н., Уханова М.Е., Ионова И.С., Епифанов В.В. Анализ конструкторско-технологических потоков работ в условиях крупного радиотехнического предприятия // Радиотехника. 2017. № 6. С. 49−58.
9. Afanasyev A.N., Voit N.N., Kirillov S.Y. Development of RYT-grammar for analysis and control dynamic workflows // 2017 International Conference on Computing Networking and Informatics (ICCNI). IEEE. 2017. P. 1−4.
10. Афанасьев А.Н., Войт Н.Н. Грамматико-алгебраический подход к анализу и синтезу диаграмматических моделей гибридных динамических потоков проектных работ // Информационно-измерительные и управляющие системы. 2017. Т. 15. № 12. С. 69−78.
11. Voit N. Development of timed RT-grammars for controlling processes in cyber-physical systems // INTERACTIVE SYSTEMS: Problems of Human–Computer Interaction. Collection of scientific papers. Ulyanovsk: USTU. 2017. 290 p.
12. Афанасьев А.Н., Войт Н.Н., Уханова М.Е. Контроль и анализ денотативных и сигнификативных семантических ошибок диаграмматических моделей потоков работ в проектировании автоматизированных систем // Радиотехника. 2018. № 6. С. 84−92.
13. Афанасьев А.Н., Войт Н.Н. Грамматико-алгебраический подход к анализу гибридных динамических потоков проектных работ // Сб. статей Всерос. научно-технич. конф. «Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ-2017». Севастопольский государственный университет. Институт «Информационные технологии и управление в технических системах». 2017. С. 43−48.
14. Кириллов С.Ю., Войт Н.Н., Молотов Р.С., Степанов А.С., Воеводин Е.Ю., Бригаднов С.И. Разработка и исследование методов анализа и контроля семантической целостности и согласованности диаграмматических моделей динамических распределенных потоков работ на основе временной RV-грамматики // Сб. научных трудов IX Всерос. школы-семинара аспирантов, студентов и молодых ученых «Информатика, моделирование, автоматизация проектирования». 2017. С. 135−139.
15. Войт Н.Н. Методы и средства автоматизации проектирования потоков работ // Информационно-измерительные и управляющие системы. 2018. Т. 16. № 11. С. 84−89. DOI: 10.18127/j20700814-201811-14.