Сучасний стан наукових досліджень та технологій в промисловості (Mar 2024)
Метод онтологічного опису в побудові сервіс-орієнтованих систем розподіленого навчання
Abstract
Предметом дослідження є аналіз та обґрунтування використання процесів програмної інженерії, основаних на онтологіях доступу до інформації та надання доступу до бази знань і їх повторного використання мовою алгебри скінченних предикатів, що є класом дескриптивних логік. Такий підхід дає змогу застосовувати переваги онтологій і логічного програмування в процесі рефакторингу розподілених систем дистанційного навчання. Мета роботи – створення формалізму опису взаємодії сервісів і алгоритмів побудови інтерфейсів вебсервісів для реалізації ефективної SOA-cистеми із застосуванням парадигми основаного на онтологіях доступу до інформації. Для досягнення поставленої мети визначено такі завдання: аналіз основних видів структур взаємодії SOA-сервісів; огляд реалізацій систем, що працюють із сімейством мов дескриптивної логіки, а саме алгебри скінченних предикатів; опис структури онтології, яка необхідна для роботи сервіс-орієнтованих систем, що має розмітку стандарту Semantic Web за допомогою рівнянь алгебри скінченних предикатів. Актуальним завданням є забезпечення організації взаємодії інтернет-ресурсів у розробленні систем розподіленого віртуального навчання, і таку взаємодію уможливлює сервіс-орієнтована архітектура створення програмного забезпечення. Стаття розглядає сучасні технології Semantic Web та їх роль у створенні прикладних програмних систем розподілених навчальних ресурсів, побудованих за допомогою розподілених взаємодіючих сервісів. Розглянуті методи та матеріали: алгебра скінченних предикатів, теорія алгоритмів, об’єктно-орієнтоване проєктування, теорія уніфікації. Результати. Отримано семантику, що дає змогу описувати SOA-системи в мовах дескриптивної логіки. Показано ефективність математичного формалізму алгебри скінченних предикатів для завдань логічного аналізу прикладних онтологій, упроваджено методи повторного використання знань і опису сервіс-орієнтованих систем. Доведено необхідність застосування алгоритмів автоматичної побудови вебінтерфейсів. Висновки. У роботі висвітлено переваги дослідженого рішення, а саме, алгоритми автоматизованої побудови інтерфейсів вебсервісів для SOA-архітектури, що дають змогу ефективно виконувати поставлене завдання. Алгоритми вирізняються більш загальною моделлю та швидкістю роботи й потребують оцінювання складності.
