|
Ученая степень
|
ассистент кафедры прикладной математики и информатики Белгородского государственного национального исследовательского университета
|
|
E-mail
|
zaitseva_n_o@bsu.edu.ru
|
|
Местоположение
|
Белгород
|
|
Статьи автора
|
В статье обсуждается актуальность развития методов и средств имитационного моде-
лирования, в первую очередь путем преобразования визуальных (графоаналитических)
моделей организационно-деловых и производственно-технологических процессов. Опи-
сываются основные понятия и формализмы системно-объектного подхода «Узел–Функ-
ция–Объект» (УФО-подход) и системно-объектного метода представления знаний (СОМПЗ)
с использованием алгебраических аппаратов теории паттернов Гренандера, исчисления
процессов Милнера и исчисления объектов Абади-Кардели. Обосновывается перспектив-
ность использования этих средств для создания новых методов имитационного модели-
рования. Представлено два способа имитационного моделирования с использованием
системно-объектного подхода «Узел–Функция–Объект». Во-первых, путем формализации
системно-объектных графоаналитических моделей знаний о бизнес-процессах алгебраическими средствами исчисления объектов и, во‑вторых, путем преобразования визуальных
системно-объектных моделей в их описания на языке моделирования производственных
процессов «CHI» (c). Полученные результаты свидетельствуют о возможности и целесообразности создания средств имитационного моделирования, использующих в своей основе
УФО-подход, что и реализовано в новой версии программного инструментария UFO-toolkit,
автоматизирующего описанные в статье процедуры моделирования.
Читать дальше...
|
