Метод згортки графових моделей програмних компонентів для аналізу динамічних властивостей програмних систем

Супруненко, О. О., Гребенович, Ю. Є. (2022) Метод згортки графових моделей програмних компонентів для аналізу динамічних властивостей програмних систем. Тези доповідей VІ Міжнародної науково-практичної конференції «Інформаційні технології в освіті, науці і техніці» (ІТОНТ-2022) 23-25 червня 2022 року. с. 15-18.

Text Збірник_тез_ІТОНТ-2022_макет_24_06-15-18.pdf Download (712kB)

Резюме

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

Actions (login required)

Перегляд елементу