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

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

[img] Text
Збірник_тез_ІТОНТ-2022_макет_24_06-15-18.pdf

Download (712kB)

Abstract

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

Item Type: Article
Uncontrolled Keywords: модель програмного компонента ; паралельні процеси ;мережі Петрі ; рекомпозиція моделі ; метод згортки рекомпозиція моделі, метод згортки
Subjects: Фізико-математичні науки
Divisions: Факультет обчислювальної техніки, інтелектуальних та управляючих систем
Depositing User: Наукова Бібліотека
Date Deposited: 21 Feb 2024 12:16
Last Modified: 21 Feb 2024 12:16
URI: https://eprints.cdu.edu.ua/id/eprint/5999

Actions (login required)

View Item View Item