КОМБІНОВАНИЙ ПІДХІД ДО ІМІТАЦІЙНОГО МОДЕЛЮВАННЯ ДИНАМІКИ ПРОГРАМНИХ СИСТЕМ НА ОСНОВІ ІНТЕРПРЕТАЦІЙ МЕРЕЖ ПЕТРІ

Abstract

Проблематика. Стаття стосується питання побудови комбінованого підходу до імітаційного моделювання динаміки програмних систем на основі WF-мереж та оціночних інтерпретацій мереж Петрі. Представлено дослідження інтерпретацій мереж Петрі та формальних мов, якими вони описуються, для їх адаптації до моделювання динаміки програмних систем. Мета дослідження. Обґрунтування застосування комбінованого підходу на основі WF-мереж та оціночних мереж Петрі для моделювання програмних систем; визначення особливостей інструментарію при описі програмних систем мережами Петрі; доповнення патернів блочного моделювання конструкціями, що дають можливість описати задачі синхронізації, контролю, циклічного функціонування та їх комбінацій. Методика реалізації. Представлено доведення можливості використання мереж Петрі, які описуються мовою L-типу та мовою G-типу в єдиній моделі. Наведено та проаналізовано структурні варіанти використання конструкцій мереж Петрі з їх параметрами для забезпечення живості та безконфліктного функціонування сформованої моделі. Представлено модель інтерфейсу користувача розподіленої системи, що забезпечує спільне редагування документа. На прикладі узагальненої моделі складання та поширення розкладу продемонстровано використання патернів при аналізі мережного представлення системи. Результати дослідження. Сформовано правила побудови моделей програмних систем, що зберігають структурну безконфліктність і дають можливість аналізувати параметри елементів моделі при імітаційному моделюванні. Висновки. У статті дано підґрунтя для розробки комбінованого підходу до моделювання програмних систем, яке базується на сполученні WF-мереж та оціночних мереж Петрі, що дає можливість враховувати особливості опису програмних систем при формуванні динамічних моделей.

Keywords

• Моделювання програмної системи
• Мережа Петрі
• WF-мережа
• Формальні мови мереж Петрі
• Задачі синхронізації