Граматика мови візуального програмування Петрі-об’єктних моделей

• Main Authors: Дифучин, А.Ю., Стеценко, І.В., Жаріков, Е.В.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2021
• Series: Проблеми програмування
• Subjects: Інструментальні засоби та середовища програмування
• Online Access: http://dspace.nbuv.gov.ua/handle/123456789/183497

Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складних систем. Через нагромадження зв’язків та елементів перевага візуального сприйняття моделі зникає, модифікація параметрів моделі потребує значної кількості рутинних дій. Петрі-об’єктні моделі вирішують проблему тиражування фрагментів мереж Петрі з заданими параметрами та конструювання моделі системи з великої кількості елементів. Однак Петрі-об’єктна технологія не позбавляє необхідності зв’язування елементів моделі. Розроблена мова візуального програмування Петрі-об’єктних моделей дає можливість зменшити кількість помилок при конструюванні моделі за рахунок автоматизації кодування зв’язків між елементами моделі та графічного представлення моделі. Окрім тиражування Петрі-об’єктів, мова реалізує тиражування зв’язків між Петрі-об’єктами. За рахунок такого тиражування досягається також компактність візуального представлення для складних моделей. Реалізація введених понять у мові візуального програмування дає можливість швидко створювати та групувати елементи моделі. Алфавіт мови складається із графічних елементів, передбачених для конструювання Петрі-об’єктної моделі. Синтаксис мови визначений правилами конструювання виразів із послідовності символів алфавіту мови. Семантика мови програмування визначається правилами перетворення мовних виразів в обчислення. Формалізація граматики мови візуального програмування представлена у вигляді правил виведення та зроблені висновки про її властивості.