Организация, в которой проходила защита:МГУ имени М.В. Ломоносова,
Филиал МГУ имени М. В. Ломоносова в г. Севастополе
Год защиты:2011
Аннотация:Дипломная работа посвящена разработке программного средства, автоматически генерирующего объектные модели по исходному коду программ, написанных на языке Visual Prolog. На сегодняшний день, на Прологе написано значительное количество программного обеспечения, повторное использование которого затруднено в силу сравнительно небольшой распространенности Пролога. Одним из способов выхода из сложившейся ситуации является автоматическая генерация объектных моделей для Пролог-программ. В связи с этим, тема дипломной работы представляется достаточно актуальной.
Для решения поставленной задачи были разработаны правила генерации объектных моделей по Пролог-программам. Правила обеспечивают адекватность моделей, понимаемую как соответствие результатов целевого запроса к исходной программе результатам запроса к полученной модели, аналогичного целевому. В ходе работы реализовано программное средство, создающее модели среды USE для входных программ на Прологе в соответствии с правилами генерации.