Автоматизация информационного моделирования технологических процессов в интересах реинжиниринга промышленных предприятий тема диссертации и автореферата по ВАК РФ 05.13.07, кандидат технических наук Бородатова, Маргарита Витальевна

• Бородатова, Маргарита Витальевна
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Бородатова, Маргарита Витальевна

ЗРЕЧЕНЬ СОКРАЩЕНИЙ.

ВЕДЕНИЕ. ОБОСНОВАНИЕ ПРИМЕНЕНИЯ МЕТАУЛРАБЛЕНИЯ В ИНТЕРЕСАХ АВТОМАТИЗАЦИИ ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ

ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ .1. Место и роль информационного моделирования технологических процессов в х:оде реинжиниринга промышленных предприятий

1.2. Содержание информационного моделирования и анализ существующих подходов к его автоматизации

1.3. Возможность и целесообразность применения метода метауправления в интересах автоматизированного информационного моделирования технологических процессов

1.4. Постановка задачи исследования

ВЫВОДЫ

2. СИНТЕЗ И ПРИМЕНЕНИЕ МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

ВЫЧИСЛИТЕЛЬНОГО ФОРМАЛИЗМА ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ.

2.1, Синтез модели представления знаний

2.1.1. Требования к модели представления знаний

2.1.2. Формирование модели представления знаний

2.1.2.1. Подход к представлению знаний

2.1.2.2. Формальные требования к представлению знаний в виде иерархической сети фреймов

2.1.2.3. Базовый и расширенный базовый языки представления знаний. Фиксированность и конкретизованность иерархической сети фреймов

2.2. Применение разработанной модели представления

2.2.1. Манипулирование компонентами логического уровн представления знаний при формировании метаспецификаци

2.2.2. Представление метаспецификадий

2.2.2.1. Номенклатор понятий

2.2.2.2. Спецификатор

2.3. Модель синтеза предметных спецификаций по заданному спецификатору

2.3.1. Алгоритм формирования управляющей таблицы процессора синтеза спецификаций

2.3.2. Процессор синтеза спецификаций

ВЫВОДЫ

3. ПРИМЕНЕНИЕ МЕТАЗНАНИЙ И ПРЕДМЕТНЫХ СТЕЩФИКАЩЙ В ИНТЕРЕСАХ

ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ

3.1. Методика агрегации предметных спецификаций.

3.1.1. Содержание процесса агрегации предметных спецификаций

3.1.2. Планирование процесса агрегации предметных спецификаций

3.2. Общая методика автоматизированного информационного моделирования технологических процессов в интересах реинжиниринга промышленных предприятий.

3.2.1. Содержание автоматизированного информационного моделирования с использованием: разработанной методики

3.2.2. Эффективность применения разработанной методики

3.2.3. Рекомендации по использованию методики и средств автоматизированного информационного моделирования.

ВЫВОДЫ.

Введение диссертации (часть автореферата) на тему «Автоматизация информационного моделирования технологических процессов в интересах реинжиниринга промышленных предприятий»

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

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

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

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

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

В то же время исторически оправданная изначальная ориентация методологии реинжинрфинга на использование в качестве средств автоматизации информационного моделирования разного рода САБЕ-средств (или им подобных, т.е. по сути представляющих собой высокоуровневые редакторы, основанные на диаграммных техниках) /2,3/ становится существенным тормозом с позиций эффективного автоматизированного информационного моделирования по следующим причинам:

САБЕ-средства и их аналоги поддерживают те или иные фиксированные схемы формализации, адекватность которых специфике моделируемых процессов не всегда очевидна, а увеличение номенклатуры од8 новременно используемых САБЕ-средств ведет к резкому росту временных затрат, связанных в первую очередь с сопряжением и агрегированием получаемых результатов моделирования; использование САЗЕ-средств непосредственно предметными специалистами по ряду причин практически невозможно, а ресурс соответствующих высококвалифицированных специалистов-аналитиков всегда ограничен.

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

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

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

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

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

Второй раздел посвящен формированию метаспецификаций и предметных спецификаций. В нем представлена разработанная модель представления знаний, в основе которой лежит иерархическая сеть фреймов с модифицированной структурой фреймов, приведены рекомендации по ее использованию для представления метаспецификац?>1Й (номенкла-торов, фиксирующих понятийную модель, и спецификаторов, фиксирующих схему формализации) и предметных спецификаций. Приведена модель процесса синтеза предметных спецификаций по содержимому спецификатора .

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

В заключении обобщены полученные результаты и изложены направления дальнейших исследований.

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

10

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

Основными результатами, выносимыми на защиту, являются:

1) Вариантная модель представления знаний, поддерживавшая применение метауправления в ходе информационного моделирования, позволяющая осуществлять адаптацию понятийной модели и схем формализации к моделируемым технологическим процессам;

2) Модель синтеза рпецификаций технологических процессов, основанная на представлении метаинформации посредством контекстно-свободной грамматики, позволякздая формализовать описание синтеза спецификаций по заданному спецификатору в виде абстрактного процессора, осуществляющего синтаксически управляемый перевод;

3) Методика агрегации спецификаций технологических процессов с верификацией сопряжений и формированием единой понятийной модели, обеспечивающая получение синтаксически корректной информационной модели объекта реинжиниринга.

Работа является частью научных исследований, проводимых в Институте инноватики Санкт-Петербургского государственного технического университета в интересах создания методологического, технологического и инструментального обеспечений инновационно-инвестиционной деятельности, в том числе в рамках Федеральной программы "Инжиниринг-сеть России".

Основные результаты работы реализованы на предприятиях ОАО "Ижорские заводы", "Самсон" (г. Санкт-Петербург), в Международном банковском институте (г. Санкт-Петербург) и опубликованы в брошюре, 2 статьях, тезисах одного доклада.

11

1. ОБОСНОВАНИЕ ПРИМЕНЕНИЯ МЕТАУПРАВЖНИЯ В ИНТЕРЕСАХ АВТОМАТИЗАЦИИ ИНФОРМАЦИОННОГО МОДЕШРОВАНИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ

Заключение диссертации по теме «Автоматизация технологических процессов и производств (в том числе по отраслям)», Бородатова, Маргарита Витальевна

Основные результаты опубликованы в /86-89/ и апробированы на двух Международных, одной Межвузовской и одной региональной конференциях, а также на Всероссийском совещании-семинаре и на научно-техническом совете Управления информационных технологий ГП "ТЭК".

ЗАКЛЮЧЕНИЕ

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

1) Разработана вариантная модель представления знаний, поддерживающая применение метода метауправления в процессе информационного моделирования технологических процессов. Модель представляет собой иерархическую сеть фреймов модифицированной структуры - в фреймы добавлены правила конкретизации, благодаря чему ИСФ приобретает свойство полиморфизма. Фреймы отображают информационные элементы и информационные секции, содержащее метаинформацию или предметные спецификации. Сформулированы формальные требования к представлению знаний с помощью иерархической сети фреймов, введены понятия конкретизованности и фиксированности ИСФ и ее компонентов (слотов, информационных элементов и информационных секций), разработаны базовый язык и расширенный базовый язык представления ИСФ, а также правила ее текстовой нотации. Метаинформация разделена на номенклаторы, фиксирующие понятийную модель предметной области в виде совокупности базовых понятий и отношений, и спецификаторы, формируемые в понятиях номенклаторов и фиксирующие схемы формализации предметных знаний. Разработанная МПЗ используется как для представления метаспецификаций, так и предметных спецификаций и информационной модели в целом.

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

123 новании управлявшей таблицы и действий эксперта (пользователя ПСАИМ) . Разработан алгоритм синтеза управляющей таблицы процессора по содержимому спецификатора, предполагающий преобразование спецификатора в совокупность правил продукции контекстно-свободной грамматики.

3) Методика агрегации спецификаций технологических процессов в информационную модель с верификацией сопряжений и формированием единой понятийной модели. Предложен набор эвристических операций по агрегации спецификаций, базирующихся на операции семантического объединения множеств и нормальной форме номенклатора. Рассмотрена задача планирования процесса агрегации и разработан алгоритм решения частного случая этой задачи.

В процессе исследований определились направления дальнейших исследований, основными из которых являются: разработка аппарата формальной верификации номенклаторов и спецификаторов; разработка методики и средств, позволяющих повысить степень автоматизации эвристических операций, выполняемых в ходе агрегации предметных спецификаций; развитие метрики спецификаций; исследование спиральных схем организации работ по проведению ИМ с использованием метауправления с обобщением их на многоуровневые иерархические структуры процессов моделирования.

Список литературы диссертационного исследования кандидат технических наук Бородатова, Маргарита Витальевна, 1999 год

1. Ойхман Е.Г., Попов Э.В. Реинжениринг бизнеса: ре-инжениринг организаций и информационные технологии. -М.: Финансы и статистика. ЗЗбс.

2. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). М.:Лори, 1996. - 242с.

3. Вендоров A.M. CASE-технологии. Современные методы и средства проектирования информационных систем. М. : Финансы и статистика, 1998. - 176с.

4. Демитрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. М.:Мир, 1989. - 115с.

5. Реформирование предприятий: концепция, модель, программа. Серия "Бизнес-тезаурус" (учебно-методические пособия для российского бизнеса) М.:КОНЭСКО,1998.-96с.

6. Бусленко Н.П. Моделирование сложных систем. М. .-Наука, 1978.

7. Информационная технология в промышленности / Ю.Г.Данилевский, И.А.Петухов, В.С.Шибанов Л.: Машиностроение, Ленингр.отд. 1988. - 283с.

8. Ильичев A.B., Волков В.Д., Грущанский В.А. Эффективность проектируемых элементов сложных систем: Учебн. пособие. М.:Высш.шк., 1982. -2 80с.

9. Организационная структура предприятий. Серия "Бизнес-тезаурус" (учебно-методические пособия для российского бизнеса) М.: КОНЭСКО, 1998. -96с.

10. Балашов Е.П. Эволюционный синтез систем. М. .-Радио и связь, 1985. - 328с.1.. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ. М.:Высш. школа, 1989.-316с.125

11. Николаев В.И., Брук В.М. Системотехника: методы и приложения. JI.:Машиностроение, 1985. -199с.

12. Флейшман Б. С. Основы системологии. М. .-Радио и связь, 1982. -354с.

13. Ильинская Е.М., Денисова Т.П. Инвестиционная деятельность: реальные и финансовые вложения /СПбГААП, СПб., 1997. -153с.15. ж.Мост, ЗАО "0ВИ30", СПб.,N1-2(22), 1999.

14. Клиланд Д., Кинг В. Системный анализ и целевое управление. Пер. с англ., М. : Сов. радио, 1974. 280с.

15. Янг С. Системное управление организацией: Пер. с англ. М. : Сов. радио., - 1972. - 45бс.

16. Стабин И.П., Моисеева B.C. Автоматизированный системный анализ. М.Машиностроение, 1984. -312с.

17. Морозов В.П., Дымарский Я.С. Элементы теории управления ГАП: Математическое обеспечение.

18. Л.Машиностроение, 1984. -333с.

19. Михалевич B.C., Волкович В.Л. Вычислительные методы проектирования и исследования сложных системю Л.-М. : Наука, 1982. - 286с.

20. Айвазян С. А., Енюков И.С., Мешалкин Л. Д. Прикладная статистика. Основы моделирования и126первичная обработка данных. М. : Финансы и статистика, 1983.

21. Макаров И.М. и др. Теория выбора и принятия решений: Уч. пособие. М.:Наука, 1982.

22. Методы анализа и синтеза структур управляющих систем/Б. Г. Волик, Б.Б.Буянов, Н.В.Лубков и др.; Под ред. Б.Г.Волика. М.:Энергоатомиздат,198 8. - 296с.

23. Снопелев Ю.М., Старосельский В.А. Моделирование и управление в сложных системах. М. : Советское радио, 1974.

24. Стратегия совместного инновационного развития государств участников СНГ/ В.Г.Колосов, Н.Я.Павлюк, В.И.Аблязов и др. - СПбГТУ, 1998. - 530с.

25. Стратегия инноваций/ Ю.С.Васильев, В.Г.Кинелев, В.Г.Колосов. СПб.:СПбГТУ, 1997. -128с.

26. Колосов В.Г., Черненькая Л. В. Роль формируемой в России инжиниринг-сети в совершенствовании управления качеством в промышленности. СПб.:Политехника, 1997. -27с.

27. Зачем предпринимателю инновации/ Ю.С.Васильев, В.Г.Кинелев, В.Г.Колосов. СПб.:ИКС, 1996.-35с.

28. Hammer M. and Champy J. Reengineering of Corporation: Manifesto for Business Révolution. -N-Y.:HarperCollins, 1993.127

29. Магер В.Е., Черненькая JI.B. Мотивация и роль руководства в управлении качеством. СПб.: "Политехника", 1998. - 70с.

30. Магер В.Е., Черненькая JI.B. Качество. Всеобщее управление качеством. Определения и эволюция подходов. СПб.: Политехника, 1998. - 51с.

31. Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. Учебн. пособие. М.:ЦИТ, 1996.

32. Бочкарев А. Изменения как образ жизни //ж. Эксперт,N4, 1999. -с.28-29

33. Анализ и моделирование производственных систем/Б.Г. Тамм, М.Э.Пуусепп, Р.Р.Таваст; Под общ. ред. Б.Г.Тамм. М.: Финансы и статистика, 1987.-191с.

34. Гейм К.,Сарсан Т. Структурный системный анализ: средства и методы. М.:Эйтекс, 1992.-274с.

35. Framework for Managing Process Improvement. Appendix H: Methodology Work Breakdown Structure. Departament of Defense, 12/15/94.

36. Советов Б.Я., Яковлев С.А. Моделирование систем. Учебник для ВУЗов. М.:Высшая школа,1985.- 271с.

37. Методы построения имитационных систем / Литвинов В.В., Марьянович Т.П.: АН УССР. ИК им. В.М.Глушкова.-Киев:Наукова думка,1991.

38. Перспективы развития вычислительной техники: В 11 кн.: Справ. пособие/Под ред. Ю.М. Смирнова. Кн. 1: Информационные семантические системы/Н.М. Соломатин. -М.:Высш. шк., 1989.-127с.

39. Ильин В.Д. Система порождения программ. М.:Наука,1989. -23с.128

40. Агафонов В.Н. Языки и средства спецификации программ(обзор). /В сб. "Требования и спецификации в разработке программ" М.: Мир,1984.

41. Закас A.B. и др. Westmount I-Case, опыт освоения//:«:. Информационные технологии. С-Пб., ИАЦ мэрии С-Пб. 1995. N5. - с.22-25.

42. Малпас Дж. Реляционный язык Пролог и его применение. М. : Наука, 1990.

43. Искусственный интеллект.- В 3-х кн. Кн.2. Модели и методы: Справочник/Под ред. Д.А. Поспелова М.:Радио и связь,1990. -304с.

44. Надежность и качество функционирования эргатических систем. Губинский А.И.- Л.:Наука, 1982. 270с.

45. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск:Наука, 19 90.

46. Георгиев В.О. Модели представления знаний предметных областей диалоговых систем//ж. Техническая кибернетика, 1991,N5,с.3-2 3.

47. Информационные технологии (направления развития и внедрения)//ж. Информационные технологии. С-Пб., ИАЦ мэрии С-Пб. 1997. N2. - с.14-18.

48. Основы создания больших АСУ. /Под ред. Баранюка В.А. М.:Советское радио, 1979.

49. Лебедев В.Н. Введение в системы программирования. -М. :Статистика, 1975. -312с.

50. Осуга С. Обработка знаний М.:Мир, 1989. - 292с.

51. Приобретение знаний. Пер. с япон./Под ред. С.Осуги, Ю.Саэки. М.:Мир, 1990. -304с.129

52. Выявление экспертных знаний (процедуры и реализация) / О.И.Ларичев, А.И.Мечетов, Е.М.Мошкович, Е.М.Фуренс. М.: Наука, 1989. -128с.

53. Мигас С.С., Шерстюк Ю.М. Адаптация 00А к предметной области на основе принципа метауправления//Тез. докл. и сооб. VII ВНТК. СПб.:СПВВИУС, 1996.-с.164.

54. Чей репозитарий победит?//Computerworld. Россия, 2.3.99. -с.24.

55. Громов Г.Р. Национальные информационные ресурсы: проблемы промышленной эксплуатации. М. : Наука, 1984. - 240с.

56. Экспертные системы. Принципы работы и примеры: Пер. с англ./ А.Брукинг, П.Джонс, Ф.Кокс и др.; Под ред. Р.Форсайта. М.: Радио и связь, 1987. -224с.

57. Интеллектуализация ЭВМ / Е.С.Кузин, А.И.Ройтман, И.Б.Фоминых, Г.К.Хахалин. М. :Высш. школа, 1989. 159с.

58. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. М.:Мир,1991. -568с.

59. Любарский Ю.Я. Инструментальные информационные системы. М.: Наука,Гл.ред.физ.-мат.лит., 1980. -2 32с.

60. Представление и использование знаний: Пер. с япон./Под ред. X.Уэно,M.Исидзука.-М.:Мир,198 9. -220с.

61. Приобретение знаний. Пер. с япон./Под ред. С.Осуги, Ю.Саэки. M.:Мир,1990. -304с.

62. Холстед М.Х. Начала, науки о программах. / Пер. с англ. В.М.Юфы. М.: Финансы и статистика, 1981.

63. Поспелов Д.А., Пушкин В.Н. Мышление и автоматы. М. :Сов.радио, 1972. 224с.130

64. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2. М.: Мир, 1977.

65. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.

66. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. М. :Мир, 1990. - 560с.

67. Грис Д. Наука программирования: Пер. с англ. М: Мир, 1984. - 416с.

68. Буч Г. Объектно-ориентированное проектирование с примерами применения. М.:Конкорд, - 1992. -519с.

69. Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев, Диалектика, 1993.

70. Теория расписаний. Конвей Р.В., Максвелл В.Л., Миллер Л.В., Главная редакция физико-математической литературы изд-ва "Наука",1975. -359с.

71. Горбатов В. А. Основы дискретной математики: Учеб. пособие для студентов вузов. М. : Высш.шк., 1986. -311с.

72. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергия, 1980. - 344с.

73. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. М.: Мир, 1977.

74. Вирт Н. Алгоритмы^-структуры данных=программы: Пер. с англ. -М. : Мир, 1985. -406с.

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

76. Фостер Дж. Автоматический синтаксический анализ. Пер. с англ. Под ред. Э.3.Любимского. М.:Мир, 1975. -72с.

77. Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983.-349с.

78. Эра Хювенен, Йоуоко Сеппенян. Мир ЛИСП'а: Введение в язык ЛИСП и функциональное программирование. Том 1. М.:Мир,1990. -311с.

79. Эра Хювенен, Йоуоко Сеппенян. Мир ЛИСП'а: Методы и системы программирования. Том 2. М.:Мир,1990.-320с.

80. Лебедев В.Н. Введение в системы программирования. -М.:Статистика, 1975. -312с.

81. Цвиркун А.Д. Структура сложных систем. (Библиотека технической кибернетики). М.:"Сов. радио", 1975. -200с.

82. Ластовченко М.М., Губенко А.Е., Черноусов В. А. Интегральная система проектирования программного обеспечения коммутационных средств связи. Общ. "Знание" УССР, 1990. -24с.

83. Бородатова М.В., Шерстюк Ю.М. Автоматизация моделирования объектов реинжиниринга. СПб.: Изд-во СПбГТУ, 1999. -63с.