Семенова Т. В. Алгебраїчний метод побудови та аналізу структурно-логічних моделей предметних областей інформаційних систем

Об'єкт - процес математичного моделювання ін-формаційно-логічної структури предметних областей у процесі розробки інформаційних систем; предмет - алгебраїчний метод представлення й аналізу структу-рно-логічних моделей предметних областей у процесі розробки інформаційних систем; мета - підвищення ефективності розробки програмних систем за рахунок зменшення кількості помилок на етапі аналізу пред-метної області і специфікації вимог шляхом викорис-тання засобів математичного моделювання інформа-ційно-логічної структури предметних областей; ме-тоди - теорія множин, теорія категорій та функторів, теорія моделювання складних систем, теорія графів, теорія ймовірностей і математична статистика, теорія інформаційних систем; новизна - вперше на основі теорії множин та теорії категорій і функторів запро-поновано нову математичну модель інформаційно-логічної структури (структурно-логічну модель) пре-дметної області інформаційної системи - напівсхему, а також розроблено і математично обґрунтовано су-купність формалізованих операцій її побудови і ве-рифікації, що дозволяє підвищити ефективність роз-робки інформаційної системи за рахунок зменшення кількості помилок на етапі аналізу її предметної об-ласті і специфікації вимог; вперше розроблено метод еквівалентного перетворення напівсхеми в структуру даних, що базується на реляційній моделі, що дозво-лило застосувати реляційну базу даних як сховище даних напівсхем, а реляційну алгебру - як мову опи-сання алгоритмів верифікації останніх; набуло по-дальшого розвитку моделювання методом композиції типових моделей завдяки формалізації поняття стру-ктурного шаблону в межах інформаційно-логічної структури предметної області, що дозволило підви-щити ефективність розробки інформаційних систем за рахунок повторного використання на етапі аналізу предметної області та специфікації вимог заздалегідь спроектованих і верифікованих типових структурно-логічних моделей; удосконалено процес перетворення структурно-логічної моделі предметної області в мо-дель структури даних сховища інформаційної систе-ми за рахунок розробки і обґрунтування алгоритміч-но реалізованих методів відображення напівсхем в схему реляційної бази даних; ступінь впровадження - галузевий; сфера використання - розробка програм-ного забезпечення.