Системы синтеза, композиции и сборки программ

Система «ПРИЗ» разработана академиком ЭССР Э. X. Тыугу для синтеза программ в языке Утопист и ЯП на основе задания семантической модели ПрО решения математических задач в ППП. Метод синтеза семантических программ в PL/1, Фортран, Assembler реализован методом подстановки прикладным задачам семантики их реализации в ЯП и операциями системы «ПРИЗ» в ОС единой серии^[1].

Композиция программ. Композиционное программирование^[2] служило способом объединения функций и данных такими цепочками: «данные — функция — имя», «функции — композиция — дескрипция». Программной поддержкой этих цепочек являлась система «ДЕФИПС», которая обеспечивала построение программ из функций, заданных на некотором множестве именованных данных, дескрипций и денотатов (значений). Семантика задается ординарными функциями обработки операций, интерфейсных функций, арных функций и именованных данных. Операции композиции — это подкласс стандартных композиций и декомпозиционных функций.

Сборка программ. Индустриальный выпуск сложных программ В. М. Глушков определил как сборочный конвейер Форда. По его мнению, фабрика оборудуется линиями программирования разных программ и их интеграции в новую программную структуру. Базисом сборки были модули — главный элемент программирования. Обмен готовыми модулями потребовал разработки паспорта, который содержал описание входных и выходных данных, а также операторов вызова (Call, RMI и др.) других модулей. Модули описывались в разных ЯП и имели паспорт, задающий связь (интерфейс) с другими модулями. Это описание упрощало процесс сборки разноязыковых модулей, записанных в широко используемых ЯП (Алгол, Кобол, Фортран, ПЛ-1, Модула и др.). Позднее (1994) для описания интерфейса были созданы язык IDL (Interface Definition language) и брокер объектных запросов (ORB) в системе CORBA в рамках объектного подхода. Описание интерфейса через посредников stub и skeleton стало основным элементом сборки любых модулей, объектов и компонентов.

Вопросом сборки модулей занимались Е. П. Жоголев, Е. М. Лаврищева, В. И. Орлов, В. Г. Волховер и др.^[3] В 1980;х гг. бурно развивалось направление автоматизации прикладных систем и ППП. В Институте кибернетики Академии наук УССР был выполнен ряд проектов, финансируемых ГКНТ СССР. Это проекты: система автоматизации программ — «АПРОП» (Е. М. Лаврищева); комплекс программиста «ТКП» (И. В. Вельбицкий); система алгоритмических алгебр «Мультиироцессист» (Г. Е. Цейтлин) и др. Средства автоматизации разработаны и в ряде других научных центров СССР: система «ПРИЗ» (ЭССР, Э. X. Тыугу), системы «Альфа», «Бета» (Новосибирск, А. П. Ершов), система автоматизации математических задач (ИПМ АН СССР, Д. Н. Корягин), система модульного программирования (МГУ, Е. А. Жоголев), система послойного проектирования ПО (Ростов-на-Дону, В. И. Фуксман) и др.

При выполнении научных проектов в СССР сформировались разные аспекты ТП для производства прикладных систем, АСУ и ППП с использованием готовых модулей, названных компонентами повторного использования (КИИ). Выходило постановление Кабинета министров СССР «Программы — продукты производственного назначения» (1974) и постановления ГКНТ СССР о том, что программы общего назначения должны были сохраняться в фондах алгоритмов и программ республиканского значения (1976—1992). В рамках Всесоюзной программы по ТП проводилась разработка стандарта ГОСТ 9126 и качества ПС.

Отработка разных аспектов создания сложных программ и ППП осуществлялась на всесоюзных конференциях по ТП (1968, 1979, 1980, 1986, 1987, 1991, 1992 и др.). Наиболее распространенной тематикой были технология модульного создания систем и интерфейс связей модулей и программ. Эти вопросы рассматривались на Международной конференции «Интерфейс СЭВ — 1987». Краткая характеристика работ на конференциях по ТП в СССР приведена в приложении 4.

• [1] См.: Кахро М. И., Тыугу Э. X. Инструментальная система программирования на ЕСЭВМ (ПРИЗ). М.: Финансы и статистика, 1981; Тыугу Э. X. Концептуальное программирование. М.: Наука, 1984.
• [2] См.: Редько В. Н. Композиции программ и композиционное программирование // Программирование. 1978. № 5. С. 17—26.
• [3] См.: Волховер В. Г., Иванов Л. А. Производственные методы разработки программ. М.:Финансы и статистика, 1983.