автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Методы реализации графориентированных инструментальных сред и их применение для создания приложений

Введение

Глава 1 Анализ тенденций развития программных систем для обработки графовой информации.

1.1 Графовые трансформации.

1.2 Визуальные языки, базирующиеся на графовых представлениях.

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

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

2.1 Описание объектов, типа данных граф в ВГС.

2.2 Грамматики р-графов (методы генерации классов графов).

2.2.1 Определение иерархической грамматики р-графов.

2.2.2 Библиотека грамматик.

2.3 Гиперграфовые грамматики.

2.3.1 Определение грамматики гиперграфов.

2.3.2 Организация вывода в последовательных гиперграфовых грамматиках.

2.4 Визуальный язык описания классов графов и операций над ними.

2.5 Вычисление визуального образа графа через базовый набор известных классов графов.

2.6 Методы рисования больших графов.

2.6.1 Подходы к рисованию больших графов. Визуализация структурного слоя.

2.6.2 Методы сокращенного изображения графов (виртуальные графы).

2.7 Описание алгоритмов на графах с помощью шаблона исследования.

2.8 Визуальный язык описания алгоритмов на графах.

2.9 Графы с атрибутами.

2.10 Графовый язык описания программных объектов.

2.10.1 Визуализация программных объектов в алгоритмическом подходе.

2.10.2 Визуализация программ в объектно-ориентированной парадигме программирования.

Глава 3 Методы реализации математического обеспечения для работы с графами и графовыми алгоритмами.

3.1 Анализ представлений графов.

3.2 Реализация операций над представляющими графами.

3.3 Реализация редактора графов.

3.4 Методы реализации грамматик р-графов.

3.4.1 Визуальный язык определения грамматик р-графов.

3.4.2 Реализация вывода в грамматиках р-графов.

3.4.3 Визуализация вывода.

3.4.4 Анализ свойств грамматик р-графов.

3.5 Методы реализации грамматик р-графов.

3.5.1 Анализ и генерация текстового образа гиперграфовых грамматик.

3.5.2 Реализация вывода в гиперграфовой грамматике.

3.6 Представление шаблона исследования.

3.7 Реализация программной системы описания структур данных языка Паскаль.

3.7.1 Методы интеграции текста исходной программы со средствами инструментальной среды.

3.7.2 Отображение структур данных Паскаль-программы на память компьютера.

3.7.3 Структуры данных для визуализации программных объектов в алгоритмическом подходе.

3.7.4 Структуры данных для визуализации программных объектов в объектно-ориентированной парадигме программирования.

Глава 4 Применение инструментальной среды для создания приложений

4.1 Визуальный графовый язык описания структур данных языка Паскаль.

4.2 Вычисления на графах с атрибутами.

4.3 Грамматики р-графов в моделировании ЦВМ.

Графовые преобразования - один из видов нечисловых вычислений, использующихся во многих областях информатики и родственных ей сферах. Это связано с тем, что математические модели многих предметных областей естественным образом формулируются и могут быть исследованы в терминах графов. Академик Ершов подчеркнул, что «графы - это основная математическая структура для программиста. Они обладают огромной, неисчерпаемой изобразительной силой, соразмерной масштабу задачи программирования». Вопросам исследования графов и графовых преобразований, а также создания программных систем, базирующихся на графах, посвящены работы ученых В. М. Глушкова, А. П. Ершова, В. А. Евстигнеева, А.А Зыкова, А. Н. Мелихова, А. И Микова, В. Н. Касьянова, И. В. Поттосина, С. В. Петрова и др., а также Д. Кнута, Б. Майерса, У. Г. Монтанари, М. Нагла, Г. Розенфельда, У. Татта, Ш.-К. Чэна, А. Шурра, X. Шнайдера, X. Эрига и др.

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

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

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

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

Цель данной работы состоит в разработке методов и средств проектирования граф ориентированных языков и реализации этих методов в экспериментальной визуальной графовой системе (ВГС).

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

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

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

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

- пользователя также необходимо обеспечить простым языком описания запросов к 7 графовым моделям и предоставить средства для описания алгоритмов на графах и анализа их сложности;

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

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

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

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

Дальнейшее продолжение исследований в рамках данной работы проводится по следующим направлениям:

• развитие теории иерархических грамматик р-графов (выявление полезных свойств ГГ с целью формулирования синтаксических методов анализа для практически используемых классов графов, возможности спецификации В Я грамматиками р-графов, графовые трансформации как средство формулирования графовых алгоритмов);

• разработка методов визуализации неструктурной информации на графах, оценки качества визуализации;

• разработка новых методов визуализации больших графов;

• продолжение исследований формульных вычислений на графах, их возможностей;

• продолжение работ, связанных с практической реализацией предложенных разработок в ВГС.

ЗАКЛЮЧЕНИЕ

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

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

Для решения вышеперечисленных задач

• предложено описание различного рода графов посредством графов с полюсами (р-графами как базовым классом для единообразного описания различного рода графов), определен тип данных граф, и на основе введенных спецификаций разработаны методы реализации класса PGRAPH;

• разработан визуальный язык описания классов графов и система операций над ними (алгебра классов графов в базисе классов-констант);

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

• разработаны визуальные средства ВГС, поддерживающие определение грамматик р-графов, вершинных р-гиперграфов, а также различные стратегии вывода в определенных грамматиках, в том числе и с помощью управляющего графа;

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

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

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

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

Предложенная инструментальная графовая среда была использована при разработке электронных учебных пособий по спецкурсам «Применение теории графов в программировании», «Теория формальных языков и грамматик», «№)-алгоритмы на графах», а также в лабораторных работах «Практикум на ЭВМ» с целью изучения динамических типов данных. Кроме того, с помощью ВГС создано приложение, используемое для принятия решений по проведению взаимозачета между фирмами. ВГС удовлетворяет следующим требованиям:

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

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

• Включает средства визуальной спецификации модели, т.е. ее генерации, представления и изменения;

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

• Обеспечивает разработку приложений, в которых реализуется возможность создания синтаксически управляемых редакторов модели;

• Обеспечивает компактное определение классов вершинно- и реберно-помеченных графов, средствами языков описания графовых грамматик и графовых выражений, одновременно задавая процедуру порождения представителей класса;

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

1. Артамонов Г. Т., Тюрин В. Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991.

2. Айзерман М. А., Гусев Л. А., Петров С. В., Смирнова И. М., Тененбаум Л. А. Динамический подход к анализу структур, описываемых графами (основы графоди-намики) // АиТ. 1977, №7, №9.

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

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

5. Вирт Н. Алгоритмы + Структуры данных = программы. М.: Мир, 1985.

6. Глушков В. М. Основы безбумажной информатики. М.: Наука, 1987.

7. Горбатов В. А. Основы дискретной математики М.: Высшая школа, 1986.

8. Гардан И., Люка М. Машинная графика и автоматизация конструирования. М.: Мир, 1987.

9. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.

10. Горбатов В. А. Теория частично упорядоченных систем. М.: Сов. радио, 1976.

11. Деньдобренко Б. Н., Малика А. С. Автоматизация конструирования РЭА. М.: Высшая школа, 1980.

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

13. Зенкин А. А. Когнитивная компьютерная графика. М.: Наука, 1991.

14. Зыков А. А. Гиперграфы // УМН. 1974. Т.29, N6.

15. Касьянов В. Н., Поттосин И. В. Методы построения трансляторов. Новосибирск: Наука, 1986.

16. Кнут Д. Искусство программирования. Т.1. М.: Мир, 1976.

17. Кристофидес Р. Теория графов. Алгоритмический подход. М.: Мир, 1976.

18. Курьеров Ю. Н. Логические формализмы представления знаний // Кибернетика и системный анализ. 1992, № 2.

19. Лекции по теории графов. М.: Наука, 1990.

20. Лисков Б, Гатэг Дж. Использование абстракций и спецификаций при разработке программ. М.: Мир, 1989.

21. Майника Э. Алгоритмы оптимизации на сетях и графах. М.: Мир, 1981.

22. Матчо Д., Фолкнер Р. Д. Delphi. М.: Бином, 1995.

23. Мелихов А. Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971.

24. Мелихов А. Н., Бернштайн. Гиперграфы в автоматизации проектирования дискретных устройств. Ростов Н/Д., 1981.

25. Миков А. И. Язык описания вычислительных систем // Моделирование вычислительных систем и процессов. Пермь, 1983.

26. Миков А. И. Автоматизация синтеза микропроцессорных систем. Иркутск: Изд-во Иркут. ун-та, 1987.

27. Миков А. И., Залогова Л. А. Методы трансляции языков моделирования: Учеб. пособие. Пермь, 1988.

28. Миков А. И., Пономарева Ю. В., Фролова Н. В. Оперирование экранными образами объектов в обучающих системах // Тез. докл. Респ. конф. "Региональные проблемы информатизации образования". Пермь, 1993.

29. Миков А. И., Фролова Н. В. Структурный анализ: Учеб. пособие. Пермь, 1991.

30. Миков А. И., Фролова Н. В. Инструментальная среда для спецификации моделей распознавания образов // Тез. докл. Междунар. научно технич. конф. "Непрерывно- логические методы и модели в науке, технике и экономике". Пенза, 1995.

31. Миков А. И., Фролова Н. В. Визуализация классов графов // Тез. докл. Междунар. научно-методич. конф. "Новые информационные технологии в университетском образовании". Новосибирск, 1996.

32. Миков А. И., Фролова Н. В. Графориентированные языки обработки нейросете-вых структур // Тез. докл. Международной конференции " Логико-математические методы в технике, экономике и социологии". Пенза, 1998.

33. Минский М. Фреймы для представления знаний. М.: Энергия, 1979.

34. Нагао M., Катаяма Т., Уэмура С. Структуры и базы данных. М.: Мир, 1986.

35. Пападимитриу X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. М.: Мир, 1985.

36. Петров С. В. Графовые грамматики и задачи графодинамики // АиТ. 1977, №.10.

37. Петров С. В. Нормальная форма графовых грамматик // АиТ. 1977, №.6.

38. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980.

39. Степин Ю. Г. Параллельный вывод в гиперграфовых грамматиках // Тез. докл. 7-й Всес. школы-семинара "Параллельное программирование и высокопроизводительные системы". Киев, 1986.

40. Свами М., Тхуласираман К. Графы, сети и алгоритмы. М.: Мир, 1984.

41. Татт У. Теория графов. М.: Мир, 1988.

42. Фролова Н. В. Методы реализации математического обеспечения представления и применения грамматик для порождения структур // Математика программных систем. Пермь, 1993.

43. Фролова Н. В., Лучников В. Е. Реализация операций над структурами ВС в языке Triad // Моделирование вычислительных систем и процессов. Пермь, 1985.

44. Фролова Н. В., Селикова И. Е. Преобразование структур в графические и текстовые объекты // Моделирование вычислительных систем и процессов. Пермь, 1990.

45. Фролова Н. В. Генерация решеток с помощью графовых грамматик // Вестник Пермского университета. Пермь, 1997.

46. Фу К. СБИС для распознавания образов и обработки изображений. М.: Мир, 1988.

47. Харари Ф. Теория графов. М.: Мир, 1973.

48. Хорошевский В. Г. Инженерный анализ функционирования вычислительных машин и систем. М.: Радио и связь, 1987.

49. Чэн Ш.-К. Принципы проектирования систем визуальной информации. М.: Мир, 1994.

50. Abello J., Sudarsky S., Veatch T., Waller J. AGE: An animated graph environment // Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N.Y), 1992.

51. Aizawa К., Nakamura A. Path-controlled graph grammars for syntactic approach // Parallel image analysis (ed. by Nakamura A., Nivat M., Saoudi A., Wang P. S. P., Inoue K.). LNCS. V.654. N.Y.: Springer-Verlag, 1992.

52. Bailey D. A., Cuny E. ParaGraph: graph editor support for parallel programming environments. Technical Report. Massachusetts, 1989.

53. Bailey D. A., Cuny J. E. Visual extensions to parallel programming languages // Languages and Compilers for Parallel Computing. The MIT Press, 1990.

54. Bailey D. A., Cuny J. E., Fisher C. D. Programming with Very Large Graphs //Proc. of the 4th International Workshop on Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.

55. Bunke H. Sequentielle und parallele programmirte Graph-Grammatiken // Arbeitsberichte des Instituts fur Matematische Maschinen und Daten-verarbeitungen (Informatic). Erlangen, 1979, Band 12, №3.

56. Burnett M., Baker M. A Classification System for Visual Programming Languages // Journal of Visual Languages and Computing 5(3), 1994.

57. Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N.Y.), 1994.

58. Chang S. K. Visual Languages: A Tutorial and Survey // IEEE Software. 1987, N 4.

59. Chang S. K., Costagliola G., Pacini G., Tucci M., Tortora G., Yu B., Yu J.S. Visual-Language System for User Interfaces // IEEE Software, 1995.

60. Conklin J., Begeman M. L. GIBIS: A Hypertext tool for Team Design Deliberation // Proc. of conf. Hypertext'87. 1987.

61. Courcelle B. An axiomatic definition of context free rewriting and its application to NLC graph grammars. Elsevier Science Publishers B. V., 1987.

62. Courcelle B. Graphs as Relational Structures: An Algebraic and Logical Approach // Proc. of the 4th Int. Workshop on Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.

63. Cuny J., Ehrig H., Engels G. Proc. of the 5th International Workshop on Graph Grammars and Their Application to Computer Science. Williamsburg, VA, USA: Springer-Verlag, 1994.

64. Dillion D. S., Smietana F. R. An interactive graphical, educationally oriented graph analysis package // Proc. of the Computat. Support Discrete Math: DIMACS Workshop, Piscataway (N.Y.), 1992.

65. Drewes F., Kreowski H.-J. A Note on Hyperedge Replacement. Proceedings // Proc. of the 4th Int. Workshop Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.

66. Ehrig H., Kreowsski H.-J., Rozenberg G. Graph Grammars and Their Application toi.L

67. Computer Science. 4 International Workshop. Bremen: Springer-Verlag, 1990.

68. Ehrig H. Introduction to the algebraic theory of graph grammars // LNCS, N 73. Berlin: Springer-Verlag, 1979.

69. Erwig M. Graph Algorithms = Iteration + Data Structures? // Proc. of the 18th International Workshop "WG'92". Springer-Verlag, 1992.

70. Gloor P. A., Lee I., Velez-Sosa A. Animated algorithms: Computer Science Education with algorithm animation // Proc. of The Computat. Support Discrete Math: DIMACS Workshop, Piscataway (N.Y.), 1992.

71. Gorlick M., Quilici A. Visual Programming-in-the-Large and Visual Programming-in-Small // Proceedings of the 1994 IEEE symposium on Visual Languages, 1994.

72. Habel A. Hyperedge Replacement: Grammars and Languages: Dissertation. University Bremen: FB Math./Informatik, 1989.

73. Jones C. An integrated modeling environment based on attributed graphs and graphgrammars. Elsevier Science Publishers B.V. 1993.

74. Jacob R. J. K., A State Transition Diagramm Language for Visual Programming. IEEE Computer. 1985, V.18, N8.

75. Janssens D., Rozenberg G. Graph grammars with neighbourhood controlled embedding. Theoretical Computer Science. 1982, N 21.

76. Janssens D., Rozenberg G. Graph grammars with node label controlled rewriting and embedding // Graph Grammars and Their Application to Computer Science and Biology. Berlin: Springer-Verlag, 1982.

77. Janssens D., Rozenberg G. Decision problems for NLC grammars // Comput. System Sci. 1981.

78. Kaul M. A Formal Language Approach to Inexact Graph Matching with Precedence Graph Grammars. // Classification and related methods of data analyses, Elsevier Science Publishers B.V., 1988.

79. Kremer R. Concept Mapping: Informal to Formal // Proc. of the Third Int. Conf. on Conceptual Structures, Knowledge Representation Workshop. Maryland, 1994.

80. Kremer R. The Design of a Concept Mapping Environment for Knowledge Acquisition and Knowledge Representation // Proc. of conf. the Banff Knowledge Acquisition Workshop. Banff, Alberta, 1995.

81. Kremer R., Gaines B. R. Embedded Interactive Concept Maps in Web Documents // Proc. of WebNet'96: World Conference of The Web Society. San Francisco, CA, USA, 1996.

82. Kremer R., Lukose D., Gaines B. R. Knowledge Modeling using Annotated Flow Chart //Proc. of the Int. Conf. on Conceptual Structures. Seattle, Washington: Springer, 1997.

83. Laroche P., Nivat M., Saoudi A. Context-sensitivity of Puzzle Grammars //Proc. of the Int. Conf. Parralel Image Analysis, LNCS N 654, Springer Verlag, 1992.

84. Mayr E. W. Graph-Theoretic Concepts in Computer Science //Proc. of the 18th Int. Workshop "WG'92", Springer-Verlag, 1992.

85. Montanary U.G. Separable graphs, planar graphs and web grammars // Inform, and Contr. 1970, V.16, N 2.

86. Myers, B. A. Taxonomies of Visual Programming and Program Visualization. Journal of Visual Languages and Computing. 1990, N1(1).

87. Nagl M. Graph Grammatiken. Theorie. Anwendungen. Implementierung. Wiesbaden: Vieweg, 1979.

88. Nagl M., Shurr A. A Specification Environment for Graph Grammars //LNCS, N 532. Springer, 1991.

89. Rozenberg G. An Introduction to the NLC Way of Rewriting Graphs. // Graph Grammars and their application to computer science (ed. by Ehrig H., Rozenberg G., Rosenfeld A.), LNCS. V.291. Berlin: Springer-Verlag, 1987.

90. Rosenfeld A. Picture Languages: formal model for picture recognition. N.Y.:Academic Press, 1979.

91. Rosenfeld A. Image Analysis //Proc. Pat. Ree. Vol.1, 6th Int. Conf., Munich, 1982.

92. Schurr A. Introduction to Progress, an Attribute Graph Grammars Based Specification Language//LNCS, N411.1989.

93. Schurr A. Programming by Graph Graph Rewriting Systems Theoretical Foundations and the Corresponding Language: Doctoral Dissertation, RWTH Aachen, 1990.

94. Schurr A. Progress: A VHL Language Based on Graph Grammars // Proc. of the 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS, N532. Springer, 1991.

95. Shneiderman B. Direct Manipulation: A Step beyond Programming Languages // IEEE Computer, 1983, V.16, N8.

96. Stallmann M., Cleaveland R., Hebbar P. GDR: A visualization tool for graph algorithms // Proc. of conf. the Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N. Y.), 1992.

97. Sugihara K., Miyao J., Takayama M. Et. Al. A Visual Language for Form Definition and Manipulation, in Visual Languages, edited by Chang S. K. Et. Al., Plenum Pub. Co., 1986.

98. Shu N.S. Visual Programming Languages: A Perspective and a Dimensional Analysis, in Visual Languages, edited by S.-K. Chang et al., plenum Pub. Co., 1986.

99. Tamassia R., Tollis I.G. Graph Drawing. DIMACS International Workshop. Princeton (N.Y.), 1994, Proceedings. Springer-Verlag, 1994.

100. Thalmann D. An Interactive Data Visualization System. // J. Software practice and experience. 1984, Vol. 14, N 3.

101. Yau S. S., Tsai J. P. A Graph Description Language for Large Scale Software Specification in a Maintenance Environment // Proc. of the 8th Int. Conf. Computer Software & Application, 1984.

102. Zampreroni A. GRIDS Graph - based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering // Proc. of the 18th Int. Conf. on Software Engineering. IEEE Computer Society Press Los Alamitos, California, 1996.