Житарюк А. Г. Формалізовані концептуальні моделі предметних областей інформаційних систем та обчислювальні методи їх аналізу

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