Богушевська Н. В. Автоматизація синтезу сітьових дискретних імітаційних моделей

У роботі сформульована й вирішена актуальне науково-практичне завдання з автоматизації синтезу сітьових дискретно-подійних імітаційних моделей. Головним результатом дисертації є розробка CASE-засобу, який дозволяє автоматизувати процес побудови імітаційних моделей для мов GPSS/PC і POSES++. Визначені переваги використання CASE-засобів у порівнянні з використанням систем моделювання із вбудованим графічним інтерфейсом. Визначені основні функціональні вимоги до CASE-засобу як інструменту підтримки візуального імітаційного моделювання. Розроблений метод генерації кодів імітаційних програм згідно з формальними моделями та діалоговими нотаціями. Обґрунтована необхідність розширення базової множини елементів сітьових моделей параметричною кільцевою мережею та маршрутизатором. Розроблені відповідні формальні моделі та інформаційні технології проектування діалогових нотацій. Створені процедури перетворення діалогових нотацій у програмний код. Розроблені формальні моделі, діалогові нотації та процедури перетворення діалогових нотацій конструкцій мови мереж Петрі для системи POSES++. На основі формальних моделей розроблена програмна система ISS2000, приведені результати застосування системи. Ключові слова: сітьове дискретно-подійне імітаційне моделювання, системи масового обслуговування, формальна модель, діалогова нотація, кільцева мережа, маршрутизатор, мережі Петрі.