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