Search academic texts

Information × Registration Number 0412U000596, Candidate dissertation Status к.т.н. Date 14-03-2012 popup.evolution o Title Formalized conceptual models of the application domains of information systems and computing methods for their analysis Author Zhytaruk Anastasiya Gennadiivna, popup.head Zholtkevych Grygoriy Mykolayovych popup.opponent Глоба Лариса Сергіївна popup.opponent Танянський Сергій Станіславович Description Об'єкт дослідження – процес концептуального моделювання предметних областей в ході розробки інформаційних систем. Мета – зниження трудомісткості розробки інформаційних систем за рахунок вдосконалення засобів концептуального моделювання, а саме використання формалізованої концептуальної моделі предметної області та обчислювальних методів її аналізу. Методи дослідження – теорія логіки першого порядку та мультимодальної логіки, теорія графів, теорія моделювання складних систем, теорія баз даних, мови і засоби програмування. Наукова новизна: вперше запропоновано формальну мову визначення предсхем в процесі концептуального моделювання предметних областей та метод їх представлення в термінах логіки предикатів першого порядку; удосконалено опис семантики предсхем; запропоновано формальну мову опису структурних обмежень та обчислювальний метод перевірки їх виконання; дістала подальший розвиток процедура трансформації предсхем в сховище даних. Теоретичне та практичне значення полягає у тому, що усі авторські теоретичні розробки доведені до детальних алгоритмів та реалізовані у вигляді програмних модулів. Вироблено практичні рекомендації щодо застосування формальної мови визначення предсхем та обчислювальних алгоритмів її аналізу в процесі розробки інформаційних систем. Registration Date 2012-03-14 popup.nrat_date 2020-04-04 Close