|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Автоматический синтез программ с использованием онтологии прецедентовстатья
- Авторы: Корухова Ю.С., Фастовец Николай Николаевич
- Сборник: Программные системы и инструменты. Тематический сборник
- Редакторы: Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич, Мальковский Михаил Георгиевич
- Серия: Программные системы и инструменты
- Том: 12
- Год издания: 2011
- Место издания: Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
- Первая страница: 203
- Последняя страница: 215
- Аннотация: В данной работе представлен метод автоматизированного синтеза программ на основе прецедентов, предполагающий использование онтологии как средства организации библиотеки известных решений. Предлагается использование иерархии понятий в онтологии, соответствующих описаниям спецификаций программ — спецификации, содержащие больше ограничений помещаются в иерархии ниже более общих спецификаций. В работе рассмотрен алгоритм построения описания в дескриптивной логике для спецификаций, заданных на языке логики предикатов первого порядка. Для поиска подходящих прецедентов предлагается использование оценки включения между концептами онтологии. В качестве средства адаптации прецедентов предлагается использование правил переписывания, выбор которых осуществляется на основе различий между описаниями спецификаций известной программы и поставленной задачи.
- Добавил в систему: Корухова Юлия Станиславовна