верифікація, верификация ; концептуальне моделювання, концептуальное моделирование ; моделі даних, модели данных ; структури даних, структуры данных, data structures

Удосконалено підхід до процесу концептуального моделювання предметних областей за допомогою апарату предсхем. Розроблено формальну мову специфікації предсхем. Запропоновано новий метод представлення предсхем в базі даних мови логічного програмування Prolog з метою реалізації обчислювальних алгоритмів аналізу та верифікації побудованої моделі. Удосконалено модель зразка концепту шляхом розширення класу моделей зразків від маркірованих дерев до ациклічних графів. Розвинуто методи трансформації предсхем в сховище даних. Проведено аналіз трудомісткості розробки інформаційних систем при використанні предсхем та без їх використання.

• УДК // Моделювання з використанням математичних моделей