Разработка метода анализа экземпляров потоков работ на основе временной автоматной RVTI-грамматики

Н.Н. Войт; С.Ю. Кириллов; Д.С. Канев; А.С. Степанов; Р.Ф. Гайнуллин

doi:10.18127/j20700814-202001-06

Разработка метода анализа экземпляров потоков работ на основе временной автоматной RVTI-грамматики

Н.Н. Войт¹, С.Ю. Кириллов², Д.С. Канев³, А.С. Степанов⁴, Р.Ф. Гайнуллин⁵

научная статья УДК 658.512 Страницы: 46-56 doi.org/10.18127/j20700814-202001-06

¹ к.т.н., доцент, зав. лабораторией инновационных виртуальных технологий проектирования и обучения департамента научных исследований и инноваций, кафедра «Вычислительная техника», Ульяновский государственный технический университет
² аспирант, кафедра «Вычислительная техника», Ульяновский государственный технический университет
³ к.т.н., начальник научно-технического отдела ИДДО, Ульяновский государственный технический университет
⁴ мл. науч. сотрудник, кафедра «Вычислительная техника», Ульяновский государственный технический университет
⁵ к.т.н., программист ООО «Эквид», Ульяновский государственный технический университет

Ключевые слова: Бизнес-процессы анализ графических языков EPC

Аннотация

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

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

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

Для цитирования

Войт Н.Н., Кириллов С.Ю., Канев Д.С., Степанов А.С., Гайнуллин Р.Ф. Разработка метода анализа экземпляров потоков работ на основе временной автоматной RVTI-грамматики // Информационно-измерительные и управляющие системы. 2020. № 1. С. 46–56. DOI: https://doi.org/10.18127/j20700814-202001-06

Список источников

Feder J. Plex languages // Information Sciences. 1971. V. 3. № 3. P. 225−241.
Фу К. Структурные методы в распознавании образов. М.: Мир. 1977. 319 с.
Pfaltz J.L., Rosenfeld A. Web Grammar // Proc. of the International Joint Conference on Artificial Intelligence. Washington, D.C. 1969. P. 609−619.
Фу К. Структурные методы в распознавании образов. М.: Мир. 1977. 319 с.
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.
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.
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.
Афанасьев А.Н., Войт Н.Н., Уханова М.Е., Ионова И.С., Епифанов В.В. Анализ конструкторско-технологических потоков работ в условиях крупного радиотехнического предприятия // Радиотехника. 2017. № 6. С. 49−58.
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.
Афанасьев А.Н., Войт Н.Н. Грамматико-алгебраический подход к анализу и синтезу диаграмматических моделей гибридных динамических потоков проектных работ // Информационно-измерительные и управляющие системы. 2017. Т. 15. № 12. С. 69−78.
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.
Афанасьев А.Н., Войт Н.Н., Уханова М.Е. Контроль и анализ денотативных и сигнификативных семантических ошибок диаграмматических моделей потоков работ в проектировании автоматизированных систем // Радиотехника. 2018. № 6. С. 84−92.
Афанасьев А.Н., Войт Н.Н. Грамматико-алгебраический подход к анализу гибридных динамических потоков проектных работ // Сб. статей Всерос. научно-технич. конф. «Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ-2017». Севастопольский государственный университет. Институт «Информационные технологии и управление в технических системах». 2017. С. 43−48.
Кириллов С.Ю., Войт Н.Н., Молотов Р.С., Степанов А.С., Воеводин Е.Ю., Бригаднов С.И. Разработка и исследование методов анализа и контроля семантической целостности и согласованности диаграмматических моделей динамических распределенных потоков работ на основе временной RV-грамматики // Сб. научных трудов IX Всерос. школы-семинара аспирантов, студентов и молодых ученых «Информатика, моделирование, автоматизация проектирования». 2017. С. 135−139.
Войт Н.Н. Методы и средства автоматизации проектирования потоков работ // Информационно-измерительные и управляющие системы. 2018. Т. 16. № 11. С. 84−89. DOI: 10.18127/j20700814-201811-14.

[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.

Аннотация

Для цитирования

Похожие статьи