Введение к работе
АКТУАЛЬНОСТЬ ПРОБЛЕМІ!. В настоянеє время - в условней дальнейшего расширения сфери применения ЭВ!! н возрастания стоимости создания программного обеспечения - решение задачи автоматизации (хотя би частично!) программирования представ-тяот значительный интере"с. Как известно, один из перспективных путей репения этой задачи состоит в создании систем с автоматическим синтезом программ, способных выдавать текст программы на традиционном языке высокого уровня ив ее спеши Фккаций, яиракешшх в некотором формализованном виде. Практика создания подобных систем выдвинула целый рід проблем как чисто теоретических, связанных с необходимостью разработки средств спецификации и синтеза программ, так К практических, связанных с внутренней организацией их работы и технологией их разработки.
ЦЕЛЬ настояцеп диссертационное работы состояла в практическом решении выкеуказашш.ч- проблем путем разработки подхода к геонструлрораншэ программ и создашш экспериментальной система синтеза программ на основе данного подхода. Подход к конструированы.'^ программ базируется на использовании специ алыю разработанного понятия - генерпруюцего модуля.
НЕТОДЇІКА ИССЛЕДОВАНИЯ. 3 качестве основного приема рел лнзпцпп использован объектно-ориентированный подход а ссчета нии с принципом модульности. Использован также опыт различных систем автоматического синтеза программ. Кроме того испольэо ваіін общие методологические приемы, характерные для разработки трансляторов.
НАУЧНАЯ НОВИЗНА. В диссертации предлагается оригинальный подход к решению основных проблем, возникающие при автомати-зац:"і процесса построения программы. С этой целью разработано понятие генерирующего модуля (г.м.), служащего Формой представления специфнкационних знаний. Па основе этого понятия разработан и реализован входной язык системы, являющийся языком спецификаций высокого уровня и идейно близкий к языкам с абстрактными типами данных и представления знаний. Разработаны методы реализации языка, основанные на применении методов искусственного интеллекта, и синтеза програну.» из заранее заготовленных г.м. Для предложенного подхода к автоматизации программирования разработаны принципы и методы внутренней ср-
- 4 -ганнаацим и Функционирования, воплощенные в экслериме> алънон системе, способной синтезировать программі на различных целе-ьых языках.
ПРАКТИЧЕСКАЯ ЦЕННОСТЬ. Система может быть нсг. льзована как автономно для получения текстов программ на различных языках программирования, так и в составе других систем, которым по тем или иным причинам необходим автоматический синтез программ. Разработанные в работе методы могут оказаться полезными при создании более мощных систем синтеза и при реали-заци, трансляторов с объектно-ориентированных языков.
ЙЛРОБАЦИЯ РАБОТЫ. Результаты работы докладывались на за
седаниях кафедры математического обеспечения ЭВМ математ.ш;о
неханического факультета ЛГУ и на конференции молодых у^евіїі"
Применение персональных компьютеров в народном хозяйстве"
(Фрунзе, 1989). 4,
ПУБЛИКАЦИИ. По материалам диссертации автором опубликованы три работы.
ОБЪЕЫ И СТРУКТУР» ДИССЕРТАЦИИ. Диссертация состоит из аведения, четырех глав, разбиты» на разделы, заключения, списка литературы и двух приложений.
Объем диссертации составляет 80 страниц машинописного текста, включает в себя 4 рисунка и список литературы из 27 наименований.
