Цена доставки диссертации от 500 рублей 

Поиск:

Каталог / ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ / Математика

Мобильный синтезатор программ

Диссертация

Автор: Шмундак, Александр Леонидович

Заглавие: Мобильный синтезатор программ

Справка об оригинале: Шмундак, Александр Леонидович. Мобильный синтезатор программ : диссертация ... кандидата технических наук : 01.01.10 Таллин, 1985 110 c. : 61 85-5/4563

Физическое описание: 110 стр.

Выходные данные: Таллин, 1985






Содержание:

стр, ВВЕДЕНИЕ
1 АВТОМАТИЧЕСКИЙ СИНТЕЗ ПРОГРАММ И МОБИЛЬНОСТЬ ПР0ГРА1#1Н0Г0 ОБЕСПЕЧЕНИЯ
11 Прикладное програшлное обеспечение
12 Синтезаторы на вычислительных моделях
14 Постановка задачи
2 КОНЦЕПЦИИ И ВОЗМОЖНОСТИ СИСТЕМЫ Ш С
21, Функциональные возмокности систеглы
22, Обзор входного языка
23, Соотношение систем ПРИЗ и МИС
3 ОПИСАНИЕ РЕАЛИЗАЦИИ
31 Представление вычислительной модели
32 Абстрактная машина для языка Утопист
33 Другие информационные структуры
34 Архитектура системы
4 ОБЕСПЕЧЕНИЕ МОБИЛЬНХТИ СИСТЕШ МИС
41 Реализация системы МИС
42 Модель реализации абстрактной машины
43 Опыт переноса системы МИС
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЯ
13 Обеспечение мобильности систем программирования

Введение:
Интенсивное развитие программного обеспечения породило проблемы его накопления и использования. В 70-х годах оформилась концепция пакета прикладных программ (ППП): совокупности совместимых модулей для решения определенного класса задач. Поскольку пакет предназначен для решения не одной, а целого класса задач, его функциональное наполнение разрабатывается как совокупность модулей, которые должны быть скомпонованы для решения конкретной задачи. ППП предоставляет пользователю язык, на котором описывается подлежащая решению задача. Системное наполнение пакета предназначено для обработки описания задачи и формирования расчетной программы. По характеру решаемых проблем разработка функциональной и системной частей пакета сильно различаются. Разработка функционального наполнения пакета ведется специалистами в конкретной предаетной области; как показывает практика, их опыта в большинстве случаев явно недостаточно для создания системной части пакета, при разработке которой решаются задачи, типичные для системного програглмирования; обработка текстовой информации, ведение библиотек модулей, формирование программ и запуск их на выполнение. Таким образом, разработка ППП требует привлечения системных программистов или использования инструментального средства, облегчающего разработку системной части пакета, Одним из основных направлений в разработке инструментальных систем для пакетов прикладных программ является предложенный Э.Х. Тыугу подход, основывающийся на автоматическом синтезе программ и реализованный в системах С Ш 11РИЗ-32 и ПРИЗ ЕС [sj. Он позволяет создавать пакеты прикладных программ, обладающие гибкими средствами описания модели цредметной области, расширяемые в процессе развития. Важным достоинством этого подхода является возможность интегрирования различных пакетов в единую систему. С появлением в последние годы новых семейств ЭВМ: минимашин серии СМ, многопроцессорных вычислительных комплексов "Эльбрус"— возникла потребность в разработке для них системы автоматического синтеза программ. Была поставлена задача разработать мобильную систему автоматического синтеза, Целью настоящей диссертации является разработка и реализация мобильного синтезатора программ (системы МИС). В ходе исследований были поставлены и решены следующие задачи: 1) разработаны принципы создания мобильных систем применительно к системам с автоматическим синтезом программ; 2) разработан внутренний язык (абстрактная машина) для представления результатов трансляции с входного языка и синтезированного алгоритма; 3) предложена схема организации базы знаний; 4) разработан метод обеспечения мобильности систем с автоматическим синтезом программ за счет выделения машинно-зависимых компонент и локализации их в небольшом числе модулей. Данная диссертация выполнена в рамках работ по программе решения научно-технических проблем ГКНТ СССР 0,80,14 (задание 09,22 "Создать и ввести в эксплуатацию систему генерации проблемноориентированных пакетов программ для многопроцессорного вычислительного комплекса "Эльбрус-1"). Справки, подтверждающие внедрение результатов диссертации, приведены в приложении I.Основные результаты диссертации докладавались на: Всесоюзной конференции "Автоматизация производства пакетов программ" в Таллине в 1980 г., заседании рабочей группы по реализации языков прогршлмирования Комиссии по системному математическому обеспечению ККВТ в Кишиневе в 1983 г., заседании Комиссии по новой информационной технологии ККВТ в Минске в 1984 г. Основное содержание работы изложено в публикациях 5, 22-25 Изложение в диссертации построено следующим образом. В первой главе дается обзор систем автоматического синтеза программ и рассматриваются проблемы разработки мобильного программного обеспечения. Вторая