Введение к работе
АКТУАЛЬНОСТЬ. Эффективность использования информационно-ипаслительноЗ техники определяется прежде всего решением проблема бнетрой разработки качественных программ. Природа ситуации, злознвшейся в программировании, связана с выбором средств для этражения в програшах объектов, описываемых условиями решаемых задач. Одно из направлений в разработка таких средств составляет автоматизация программирования. В числе различных подходов к автоматизация программирования дедуктивный подход выделяется тем, іто он предполагает извлечение синтезируемых программ из выводов з некоторых дедуктивных системах и представление объектов вычис-ттелышмя моделями - совокупностями некоторых исходных функциональных зависимостей.
Преимущества дедуктивного подхода к автоматизации лрограммя-ювания основываются на разделении средств описания задач и спо-юбов представления процедур вычислений. При зтом актуальной и важной становится проблема выбора средств для представления ш-;яслителышх моделей, позволяющих, с одной стороны, описывать ібьекга разнообразной природа и, с другой стороны, организовать ффективнов решение задач автоматизации программирования.
ЦЕЛЬ РАБОТЫ. Целью реферируемой работы является развитие етодов и.средств концептуального программирования как обработки наний, представляемых вычислительными моделями, разработка дэ-уктивной системы для эффективного практического синтеза программ ад вычислительными моделями.
ЛЕТОДЦ ИССЛЕДОВАНИЯ. В работе используется композиционный одход к прсгрчгашроваииЬ, предложенный и развитый в работах .Н.Редько. Зтот подход основывается на использования функций эк средств математического силсания семантики программ. Состэе-Я9 программа конструкции представляются кошозпцилми Функций.
Для математически точного списания семантической сущности оатавлякпгях в*ч:к\~гге?із>:кх ілодєлел, базових программных модулей, *ят9зі:ру?г;шг ли :> грамм и структурируемое:1!! даіпгмх, кроме аппарата
композиционного программирования (именных функций, именных множеств ц композиций), привлекаются аппараты теории схем.програш, теории структур, теории формальных языков и теории дедуктивных систем.
НАУЧНАЯ НОВИЗНІ РЕЗУЛЬТАТОВ. В работе описан подход к дедуктивному синтезу програш, основывающийся на учете структурированности данных и использовакии функций для предотавлеїшя базисных программных модулей и синтезируемых програш. Достоинством выбранного подхода является то, что в отличии от современных распространенных подходов он позволяет непосредствеїшо организовать дедуктивный синтез циклических предложений и програш, содержащих циклические предложения. Используя концепции именных функций л композиций разработан подход к построению языков программного специфицирования вычислительных моделей и базовых языков синтезируемых програш. Разработаны дедуктивная система для синтеза программ (исчисление императивных схем) и метод построения вывода в этой системе. Показано, что предлагаемый метод обладает свойством сильной полноты и использование построенной дедуктивной системы для синтеза программ обеспечивает непосредственный переход от вычислительной модели к аксиомам, используемым для построения вывода, и от выводящегося объекта к требуемой программе.
Полученные результаты теоретически обосновывают возможность
и пути построения целостной практической системы автоматического
дедуктивного структурного синтеза программ, позволяющей непосред
ственно синтезировать программы, содержащие циклические предложе
нии. Полученные результаты могут использоваться для построения
языков функциональных спецификаций, позволяющих целостно отражать
структуру предметных областей, моделируемых в условиях задач, ре
па ешх синтезируемыми программами. "
АИРОБАЩЯ РАБОТЫ. Основные результаты исследований по теме диссертации докладывались на республиканском семинаре "Програм-'плоїти и ее применения" (Киев,- 1990), семинаре "Математические к кг^мацдонше проблем регионального управления" (Киев, 1987).
]^111[аЩ' По TeW3 Диссертации опубликовано 3 работы.
иЛ.нШРА РАБОТЫ. Диссертация состоит из введения, трзх гдзь,
иг--- литературы (75 напменованкй) и приложения. "