Развитие технологии сборочного программирования

Технология программирования развивалась по трем направлениям, сформулированным в статье В. М. Глушкова «Фундаментальные основы и технологии программирования» (Программирование. 1980. № 2):

• • модульная система автоматизации производства программ («АПРОП») из стандартизированных профаммных заготовок в сложные системы^[1];
• • метод формализованных технических заданий для проектирования сложных профаммных комплексов «ПРОЕКТ»^[2];
• • P-технология программирования для автоматизации проектирования систем средствами фафического P-языка для представления структур программ и данных в АСУ^[3].

Модульная система автоматизации профамм «АПРОП» разрабатывалась исходя из тезиса В. М. Глушкова — конвейерная сборка разнородных модулей и интерфейсов (Е. М. Лаврищева) и в системе «ПРОЕКТ» (Ю. В. Капитонова, А. А. Летичевский). На этой основе создавались ППП (И. Н. Молчанов); ППП математического и статистического типов (И. В. Сергиенко, В. Н. Редько, А. С. Стукало); P-технология (И. В. Вельбицкий), «ТЕРЕМ» (Н. М. Мищенко). Этими работами был внесен весомый вклад в сборочное создание ПП на ЕС ЭВМ.

Система АПРОП разрабатывалась по договору с Институтом приборостроения (Москва) в составе технологии создания программ для бортовых систем «ПРОТВА» в рамках Министерства радиопромышленности СССР, реализованной под руководством В. В. Липаева^[4]. В эту систему были внедрены интерфейс и библиотека интерфейсных функций преобразования нерелевантных ТД, описываемых в модулях на разных языках и в разных платформах. Было разработано стандартное описание интерфейса, содержащее описание входных и выходных параметров связываемых между собой модулей. Это описание стало средством интеграции модулей и КПП. Система «АПРОП» вошла в состав комплексов «ПРОТВА» и «РУЗА», которые реализовали технологию создания бортовых систем для ВПК. Комплекс «ПРОТВА» был представлен на премию СМ СССР (1985).

В ТП сформировался новый вид — сборочное программирование для объединения разнородных модулей (программ) в более сложные структуры. Эта технология развивалась и в отделе В. М. Глушкова для семейства трансляторов с широко используемых ЯП. Основные положения этого вида сборки базировались на идее выделения общих средств в ЯП ОС ЕС, системной реализации компонентов языковых процессоров и сборки из них трансляторов (СПТ ТЕРЕМ). В СПТ разработаны общие компоненты языковых процессов в классе языков ОС ЕС. СПТ включала ЯП ОС ЕС (Алгол, Кобол, ПЛ1 и др.) и построена для МВК с макроконвейерной организацией вычислений и средствами внесения изменений в программы ЯП. Более половины универсальных модулей для ЯП реализованы и вошли в ядро СПТ «ТЕРЕМ», которая сдана Госкомиссии в 1989 г.

В системе «ПРОЕКТ» реализован метод формализованных технических заданий для проектирования дискретных систем с применением теории дискретных преобразований. Основу метода составляет формальное описание функций системы с помощью языка L2, аналогичного языку Аналитик, и доказательства правильности функций с помощью дискретных преобразователей и с применением алгебраических операций и средств обработки разных структур данных. К структурам данных относятся простые (числа, символы) и сложные данные (массивы, указатели). Вводится понятие схемы программы, содержащей множество переходов и состояний. Дается описание алгоритма проектирования системы по данному методу и системы обработки данных с применением метода К. Флойда. Метод прошел внедрение на практике при разработки ПО системы «МАЯК».

/'-технология создана иод руководством И. В. Вельбицкого для конструирования структур программ с помощью визуальных Р-графов и схемной их реализации. Было разработано устройство синтаксического контроля программ, запатентованное и за рубежом. В нем выполнена структурная интерпретация синтаксиса и семантики ЯП с использованием Р-языка. Затем был создан ТКП для проведения анализа программ в P-языке и комплекс РТК для машин «БЭСМ-6», «ЕС ЭВМ» и «СМ ЭВМ». РТК использовался в различных закрытых организациях СССР для обработки текстовой информации и генерации средств производства программ для АСУ, САПР и ИС.

• [1] См.: Глушков В. М., Стогпий А. А., Лаврищева Е. М. Система автоматизации производства программ (АПРОП). Киев: Изд-во ИК АН УССР, 1976; Лаврищева Е. А/., Грищенко В. Н. Связь разноязыковых модулей в ОС ЕС; Лаврищева Е. М. Вопросы объединения разноязыковых модулей в ОС ЕС // Программирование. 1978. № 1.
• [2] См.: Глушков В. М., Капитонова Ю. В., Летичевский А. А. О применении метода формализованных технических заданий к проектированию программ обработки структур данных // Программирование. 1978. № 6. С. 5—12.
• [3] См.: Вельбицкий И. В. Технология программирования; Вельбицкий И. В., Ходаковский В. Н., Шолмов Л. И. Технологический комплекс автоматизации программ на машинах ЕС ЭВМи БЭСМ-6. М.: Статистика, 1980.
• [4] См.: Липаев В. В. Технология проектирования комплексов программ. М.: Радио и связь, 1982; Липаев В. В., Позин Б. А., Штрик А. А. Технология сборочного программирования. М., 1992.