Модульная инструментально-базовая система построения ППП тема автореферата и диссертации по математике, 01.01.10 ВАК РФ

Введение.

1. Постановка задачи.

1.1. Предполагаемые приложения lilill.

1.2. Процесс разработки illlii.

1.3. Архитектурные спецификации ИБС.

2. Структура инструментально-базовой системы.

2.1. Определение спецификаций системного наполнения ППП.

2.1.1. Язык заданий.,.

2.1.2. Регламент модуляризации Функционального наполнения.

2.1.3. Планирование вычислений.

2.1.4. Информационное обеспечение.*.

2.1.5. Операционные средства.

2.2. Выбор базовых системных модулей.

2.2.1. Языковый процессор.

2.2.2. Процессор исполнения расчетной цепочки.

2.2.3. Процессор интерфейса.

2.2.4. Диалоговый процессор.

2.2.5. Информационный процессор.

2.2.6. Настраивающий процессор.

2.3. Инструментальные средства системы.

3. Проект инструментально-базовой системы.

3.1. Базовая составляющая ИБС.

• 3.1.1. Языковый процессор.

3.1.2. Процессор исполнения расчетных цепочек.

3.1.3. Процессор интерфейса.

3.1.4. Диалоговый процессор.

- о

3.1.5. Информационный процессор.

3.1.6. Настраивающий процессор.

3.1.7. Сервисные средства.

3.2. Использование реализаций системных модулей для построения системного наполнения пакетов.

3.3. Инструментальные средства ИБС.

4. Реализация инструментально-базовой системы.

4.1. Реализация базовой составляющей ИБС.

4.2. Реализация инструментальных средств.'.

4.3. Использование ИБС для создания ППП.

Современный этап развития математического обеспечения ЗВМ характеризуется повышенным интересом к проблемам, связанным с пакетами прикладных программ /111111/. Этот интерес объясняется необходимостью более широкого использования средств вычислительной техники специалистами самых различных профилей и вытекающей из этого потребностью в повышении тематической квалификации

Расширение сферы использования пакетов прикладных программ, сложность их разработки и высокие требования к системной квалификации разработчиков выдвигает на первый план задачу автоматизации процесса создания ППП.

Одним из наиболее распространенных и эффективных подходов к решению этой задачи является использование для создания пакетов инструментально-базовых систем /ИБС/, например, СПОРА, ПРИЗ,

Здесь под инструментально-базовой системой будем понимать программную систему, средства которой могут быть использованы как в качестве инструмента для создания и развития пакета, так и в качестве базиса языка заданий и системного наполнения 111111.

Такие системы позволяют существенно повысить производительность труда, снизить требования к системной квалификации разработчиков пакетов и обеспечить при этом достаточно высокие показатели системного обеспечения создаваемых пакетов. Это достига ется за счет одноразовой разработки комплекса средств, которые могут использоваться при формировании языка и системного , навычислительных систем

ПШ, Р LАЫ-БЭСМ-б и др. [Ю-17,58,59]. полнения конкретных пакетов. '

Имеющиеся в настоящее время инструментально-базовые системы являются универсальными, т.е. могут быть использованы для создания пакетов прикладных программ в самых различных приложениях.Однако, общепринятый способ формирования 111111 с помощью универсальных ИБС, основанный на переносе всех системных средств инструментально-базовой системы во вновь создаваемый пакет приводит к некоторой избыточности системного наполнения этих ППП.В; ряде случаев, когда эта избыточность незначительна или несущественна, такое состояние дел вполне приемлемо.

Создание пакетов, системное наполнение которых реализует только те системные функции, которые необходимо, может быть осуществлено путем переноса в состав формируемого 111111 только части системных средств ИБС. Для этого базовые системные средства ИБС 'должны быть организованы по -модульному прищипу.

Цель настоящей работы состоит в разработке архитектуры и принципов функционирования модульной инструментально-базовой системы, предназначенной для создания пакетов, ориентированных на решение пользователями, не являющимися профессиональными программистами, ограниченного круга смежных задач инженерно- технического характера.

Предлагается новый подход к созданию инструментально-базовых систем, характеризующийся модульной организацией базовой составляющей системы и поддержкой инструментальности в двух её аспектах -- предметном и системном.

Использование такого подхода позволит обеспечить эффективность и необходимое разнообразие архитектур пакетов, формт-гоуешх с помощью модульных инструментально-базовых систем.

Результаты работы могут быть использованы для создания инструментально-базовых систем для широкого круга приложений.

Диссертация состоит из введения, четырех глав, заключения, списка литературы и приложений.

Результаты работы могут рассматриваться как метод построения одобных инструментально-базовых систем для других предметных об-астей.

Заключение.

1. Самарский А. А. Пакеты прикладных программ как средство обеспечения сложных физических расчетов. - В кн.: Труды Всесоюзного симпозиума "Перспективы системного и теоретического программирования" - Новосибирск : ВЦ СО АН СССР, 1978,с.5-14

2. Тихонов А.Н. 0 многоцелевых системах обработки данных физических экспериментов. В кн.: Межд. конф. "Структура и организация пакетов программ".Тезисы докл. - Тбилиси: Мецние-реба, 1976, с. 11-12

3. Яненко Н.Н. Проблемы математической технологии. В кн.: Межд. конф. "Структура и организация пакетов программ".Тезисы докл.- Тбилиси: Мецниереба, 1976, с. 9-II

4. Ершов А.П., Ильин В.П. Пакеты программ технология решения прикладных задач. - Новосибирск : ВЦ СО АН СССР, Препринт121, 1978, 22с.

5. Ершов А.П., Ильин В.П. Пакеты программ как методология решения прикладных задач. В кн.: Пакеты прикладных программ: проблемы и перспективы./Алгоритмы и алгоритмические языки/.- М.:Наука, 1982, с. 4-18

6. Тамм Б.Г., Тыугу Э.Х. 0 создании проблемно-ориентированного программного обеспечения. Кибернетика № 4,1975,с.76-85

7. Сергиенко И.В., Парасюк И.Н., Тукалевская Н.И. Автоматизированные системы обработки данных.-Киев:Наукова думка,1976, 256 с.

8. Карпов В.Я., Корягин Д.А., Самарский А.А. Принципы разработки пакетов прикладных программ для задач математической физики.- М. :ИПМ АН СССР,Препринт № 86,1977, 18с.

9. Лавров С. С. ,Залогова Л.А. ,Петрушина Т.И. Принципы планирования решения задач в системе автоматического синтеза программ. Программирование, 1982, № 3, с.35-43

10. Бабаев И.О.,Новикова Ф.А. ,Петрушина Т.И. Язык ДЕКАРТ входной язык системы СПОРА. - В кн.: Прикладная информатика.--М.:Финансы и статистика, 1981, вып.1, с. 35-73

11. Кахро М.И. ,Калья А. П. ,Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ /ПРИЗ/. М.:Шинансы и статистика, 1981, 158с.

12. Басс Л.П.,Гермогенова Т.А. и др. Принципы разработки пакета прикладных программ на базе нестандартизованного функциональ ного наполнения. М.:ИШ АН СССР, 1979, Препринт № 44,19с.

13. Басс Л.П.,Гермогенова Т.А. и др. Система ПШ. Принципы создания пакетов прикладных программ на базе нестандартизованного программного фонда. М. :ИПМ АН СССР, 1980, ПрепринтР 154, 25с.

14. Горелышева И.Б.,3усман И.Х. и др. Проект реализации универсального анализатора проблемных языков PLAM-БЗСМ-б.-М.: ИПМ АН ССОР, 1980, Препринт № 47, 25с.

15. Горелышева И.Б. ,Кац Э.Х. и др. Реализация универсального анализатора проблемных языков PLAN -БЭСМ-6. М. :ШШ АН СССР, 1982, Препринт № 7, 25с.

16. Тихонов А.Н.,Арсенин В. Я. и др. Разработка многоцелевых проблемно-ориентированных систем с помощью анализатораРШБЗСМ-6. Система КОРПУСКУЛА. М.:ИПМ АН СССР, 1^2, Препринт № 97, 34с.

17. Корягин Д.А. Об одном подходе к проблеме разработки системного обеспечения пакетов прикладных программ для задач вычислительной физики. Программирование № I, 1982,с. 44-50

18. Стукало А. С. Некоторые требования к пакетам прикладных программ /обзор и анализ/. В кн.:Труды 1У Всесоюзного семинара по комплексам программ математической физики. -Новосибирск; Щ СО АН СССР, 1976, с. I38-I5I

19. Сергиенко И.В.,Стукало А.С.,Парасюк И. Н., Кудринский В. Ю. Об одном классе пакетов прикладных программ статистической обработки данных.-В кн.:Структура и организация пакетов программ.Тезисы докл. межд. конф. Тбилиси : Мецниереба, 1976, с.I2I-I26.

20. Бежанова М.М. .Входные языки пакетов прикладных программ. -Новосибирск: ВЦ СО АН СССР, 1979,Препринт № 168, 30 с.

21. Бежанова М.М. Встроенные проблемно-ориентированные системы. -Новосибирск: ВЦ СО АН СССР, 1979,Препринт № 205, 30с.

22. Воеводин В. В. ,Гайсарян С. С., Кабанов М.И. Автоматизированная генерация программ. В кн.: Численный анализ на ШРТРАНе. - М.:МГУ, 1973, вып.1, с.3-13

23. Корягин Д. А., Мартынюк В. В. Развитие проблематики системного обеспечения пакетов прикладных программ в СССР.-В кн.Пакеты прикладных программ : проблемы и перспективы.-М.: Наука, 1982, с. 124-139

24. Горбунов-Посадов М.М.,Корягин Д.А.,Красотченко В.В. Реализация системного наполнения пакета прикладных программ САЗРА /.Ьерсия 2.0/ М.-ИПМ АН СССР, 1979,Препринт № 186, 19с.

25. Карпов В.Я. ,Красотченко В.ъ. Задачи информационного обеспечения вычислительного эксперимента.-М.:ИПМ АН СССР, 1979, Препринт № 127, 32с.

26. Столяров Л.Н. Экспериментальная система модульного программирования "ШЗТЕХ".-В кн.:Труды 1У Всесоюзн. семинара по комплексам программ математической физики.-Новосибирск: ВЦ СО АН СССР, 1976, с. 125-137

27. Лавров С.С. Синтез программ.-Кибернетика,№ 6,I982,c.II-I6

28. Бухштаб Ю.А. ,Горлин А.И. и др. Об одном подходе к разработке интеллектуальных пакетов. -М. :ИПМ АН СССР, 1980,Препринт70, 24 с.

29. Бухштаб Ю.А.,Горлин А.И. и др. Структура пакета с автоматической генерацией программ.-М. :ИПМ АН СССР, 1981,ПрепринтР 170, 30с.

30. Гуляницкий Л. Ф.,Каспшицкая М. ф., Сергиенко И.В. и др. Пакет программ BEKT0P-I.-Программирование №2,1976,с.42-54

31. Веселов Е.Н.,Евтушенко Ю.Г.,Мазурик В.П. Диалоговая система оптимизации ДЙС0-2.-В кн.:Пакеты прикладных программ: проблемы и перспективы.-М.:Наука,1982, с. 46-58

32. Бежанова М.М. Системная программа ТЕНЗОР.-В кн.:Труды II Всесоюзн. конф. по программированию.-Новосибирск:ВЦ СО АН СССР, 1970, сек. Н, с.33-40

33. Алферова М.И.,Горбунов-Посадов М.М. и др. Средства документирования в пакете СА^А. М. :ИПМ АН СССР, 1981,Препринт № 27, 13с.

34. Горбунов-Посадов М.М.,Карпов В.Я. и др. Информационное обеспечение пакета САфРА. М.: ИПМ АН СССР, 1981, Препринт № 172, 32с.

35. Галкин А.Л. ,Кац З.Х. и др. Информационное обеспечение системы КОРПУСКУЛА. -М.:ИПМ АН СССР, 1982,Препринт № 125, 23с.

36. Зусман И.Х. ,Корягин д. А. и др. Система АДАН программное обеспечение хранения расчетных данных в задачах вычислительного эксперимента.-М.:ИПМ АН СССР, 1982,Препринт № 206, 23с.

37. Брукс Ф.П. мл. Как проектируются и создаются программные комплексы. М.:Наука, 1979, 151с.

38. Фатеев А.Е.,Ройтман А.И.,Фатеева Т.П. Прикладные программы в системе математического обеспечения ЕС ЗВМ.-М.:Статистика, 1976, 184с.

39. Гошев П. И. ,Молчан С. И. ,Ступин В.ь. Пакет прикладных программ статистического анализа временных рядов. Иркутск : ЦНГИ, 1980, Информационный листок Р 459-80, 2с.

40. Зизин М. Н., Загацкий Б. А. и др. Автоматизация реакторных расчетов. М.:Атомиздат, 1974, 103с.

41. Горбунов-Посадов М.М.,Карпов В.Я. и др. Пакет прикладных программ САШРА. Системное наполнение.-М.:ИПМ АН СССР,1977, Препринт № 85, 27с.

42. Воронков А.В. ,Зименков Б. И. Дегоньков Б. И. и др. Система обеспечения комплексов программ математической физики.--Ш.:ИПМ АН СССР, 1979, Препринт № 49, 26с.

43. Мельников И.А. ,Мяртин К.О. ,Прууден Э.В. и др. Метасистема для создания информационно связанных специализированных систем программирования.-Кибернетика №6,1974, с.69-73

44. Мяа-Цотег^ G.P. PLAN-tk^ engineer cU-jines |us own, proc^ramnmlrvc^ £апсула<г«.- "irvfciLrn. Cofij-. Cor^pwt. Aided XtesUyt, SoutUvnp-to^lW': London pp.№4?t

45. Пратт Г. Языки программирования : разработка и реализация. М.:Мир, 1979, 574 с.

46. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.:Мир, 1975, 544с.

47. Баяковский D.M.,Мишакова С.Т. Автоматизированная Система подготовки Публикаций И Документов /АСПИД/.-М. :ИПМ АН СССР, 1977, Препринт № 19, 25с.

48. Уэзерелл Ч. Этюды для программистов.-М.:Мир,1982,с.27-39

49. Орлов Б.Н.,Семин Н.Н. Препроцессор расширенного Фортрана -EXF0R, Программирование,№3, 1980, с.68-74

50. Hartne-bcu. D.C. Structured Programming. -Дубна:ОИЯИ,1976, Препринт EI0-9938, 25с.

51. Бабаев И.О. Язык для введения новых типов и операций в Фортран.-В кн.: Алгоритмы небесной механики № 20.-JI.: ЙТА АН СССР, 1978, 41с.

52. HlroLjasu Na^ata. FORMAL*- А Еап-суд-ас^е witLa macro-orlenAed Erlmsion Facility.-Computer La^aac^vofc pp. ^S-H

53. Brian- W. KeraLc^Karv. RATFOlVa Preprocessor for а Rational Fortran.-S°fbva.r€ Pracl. and бхрег. vol 5 (1975),pp. 395-4oc

54. KerruqW B.W., PEouaer РД Software bob. -Addl5on-W«see3, Readiac^ MA,

55. Гошев П.И. Препроцессор "Структурный Фортран". Иркутск: ЦНГИ, 1980, Информационный листок № 531-80, 2с.

56. Гайсарян С.С., Зайцев В.Е. Система автоматизации научно-технических расчетов с помощью ППП.-В кн.: Материалы УН Всесоюзного семинара по комплексам программ математической физики. Новосибирск : ШШ СО АН СССР, 1982, с.92-97

57. Опарин Г.А. Сатурн метасистема для построения пакетов прикладных программ. - В кн.: Разработка пакетов прикладных программ. - Новосибирск : Наука, 1982, с. 130-160