Пошук академічних текстів

Інформація × Реєстраційний номер 0412U000596, Кандидатська дисертація На здобуття к.т.н. Дата захисту 14-03-2012 Статус Запланована Назва роботи Формалізовані концептуальні моделі предметних областей інформаційних систем та обчислювальні методи їх аналізу Здобувач Житарюк Анастасія Геннадіївна, Керівник Жолткевич Григорій Миколайович Опонент Глоба Лариса Сергіївна Опонент Танянський Сергій Станіславович Опис Об'єкт дослідження – процес концептуального моделювання предметних областей в ході розробки інформаційних систем. Мета – зниження трудомісткості розробки інформаційних систем за рахунок вдосконалення засобів концептуального моделювання, а саме використання формалізованої концептуальної моделі предметної області та обчислювальних методів її аналізу. Методи дослідження – теорія логіки першого порядку та мультимодальної логіки, теорія графів, теорія моделювання складних систем, теорія баз даних, мови і засоби програмування. Наукова новизна: вперше запропоновано формальну мову визначення предсхем в процесі концептуального моделювання предметних областей та метод їх представлення в термінах логіки предикатів першого порядку; удосконалено опис семантики предсхем; запропоновано формальну мову опису структурних обмежень та обчислювальний метод перевірки їх виконання; дістала подальший розвиток процедура трансформації предсхем в сховище даних. Теоретичне та практичне значення полягає у тому, що усі авторські теоретичні розробки доведені до детальних алгоритмів та реалізовані у вигляді програмних модулів. Вироблено практичні рекомендації щодо застосування формальної мови визначення предсхем та обчислювальних алгоритмів її аналізу в процесі розробки інформаційних систем. Дата реєстрації 2012-03-14 Додано в НРАТ 2020-04-04 Закрити