Бутенко Ю. І. Онтологічні моделі та методи формування нормативного профілю при сертифікації програмного забезпечення

Об'єкт дослідження: процес формування нормативного профілю для сертифікації програмного забезпечення. Предмет дослідження: моделі та методи комп'ютеризованого формування нормативного профілю для сертифікації програмного забезпечення. Методи дослідження:принципи системного аналізу: ієрархічності та системності, математичні моделі семантичної структури природної мови, формальні методи побудови онтологій. Теоретичні та практичні результати: створено лінгвістичну онтологічну модель тексту стандарту, удосконалено модель ядра семантичної цілісності вимоги до програмного забезпечення, подано базові класи предметних і предикатних лексичних одиниць мови стандартів, використано алгебру предикатних операцій для оброблення запитів аудитора сертифікаційного центру, удосконалено метод синтезу лінгвістичної онтології стандарту та метод синтезу онтологічної системи як інтелектуального ядра діалогової системи підтримки прийняття рішень аудитора сертифікаційного центру. Наукова новизна полягає у онтологічному поданні лінгвістичних об'єктів мови стандартів, удосконаленні моделі ядра семантичної цілісності шляхом подання у формі онтології, удосконаленні методу розроблення лінгвістичних онтологій стандартів шляхом урахування композиційної струкутури тексту стандарту, розвитку методу синтезу онтологічної системи шляхом її подання у вигляді ядра інтелектуальної діалогової підтримки прийняття рішень аудитора сертифікаційного центру. Результати дисертаційного дослідження знайшли практичне застосування при створенні автоматизованої підтримки прийняття рішень аудитором сертифікаційного центру в СЕРТЦЕНТР АСУ ХФ СЕРТАТОМ (м. Харків), а також використовуються в навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ" на кафедрі прикладної лінгвістики при викладанні дисциплін "Основи прикладної лінгвістики", "Теорія алгоритмів та обчислювальних процесів", "Автоматична обробка текстів" та на кафедрі інженерії програмного забезпечення при викладанні дисциплін "Теорія алгоритмів та обчислювальних процесів" та "Системи штучного інтелекту".