Разработка и применение языка описания нотации графо-подобных диаграмм тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Степанян, Карлен Багратович

• Степанян, Карлен Багратович
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Степанян, Карлен Багратович

Введение.

Глава 1. Обзор существующих решений.

1.1. Обзор способов спецификации визуальных языков.

1.1.1. Спецификации, основанные на алгебрах.

1.1.2. Спецификации, основанные на логике.

1.1.3. Спецификации, основанные на грамматиках и системах подстановок.

1.2. Обзор и анализ существующих продуктов.

1.2.1. Система TIGER.

1.2.2. Инструментальная среда Graphical Modeling Framework (GMF)

1.2.3. Набор инструментов Microsoft DSL Tools.

1.2.4. Продукт MetaEdit+ 4.5.

1.2.5. Проект Moses 1.5.

1.3. Выводы по главе 1.

Глава 2. Язык описания диаграмм DiaDeL.

2.1. Назначение языка.

2.1.1. Основные концепции.

2.1.2. Требования к семантической модели.

2.1.3. Способы использования языка.

2.2. Абстрактный синтаксис.

2.2.1. Корневые сущности метамодели.

2.2.2. Графическая конструкция, контейнер, диаграмма и конструкция-владелец

2.2.3. Прикрепление.

2.2.4. Метка и абстрактная геометрическая конструкция.

2.2.5. Декорация, фигура, составная фигура и фигура-контейнер.

2.2.6. Линия.

2.2.7. Семантические мосты.

2.2.8. Управление отображением конструкции.

2.2.9. Операнды.

2.3. Конкретный синтаксис.

2.3.1. Используемые терминалы.

2.3.2. Правила грамматики.

2.3.3. Пояснения к правилам грамматики.

2.4. Выводы по главе 2.

Глава 3.Математическая формализация графических конструкций языка

Б1аБеЬ.

3.1. Общие определения.

3.2. Метки.

3.3. Оператор прикрепления метки к вершине.

3.4. Оператор прикрепления метки к ребру.

3.5. Декорация.

3.6. Оператор прикрепления декорации к ребру.

3.7. Фигура.

3.8. Составная фигура.

3.9. Контейнер.

3.10. Рамка.

3.11. Ребра.

3.12. Выводы по главе 3.

Глава 4. Система автоматического построения диаграмм.

4.1. Архитектура и описание логики работы.

4.2. Модель конкретных графических объектов.

4.3. Алгоритм построения диаграммы.

4.4. Выводы по главе 4.

Глава 5. Применение языка Э1аОеЬ и визу ал изатора диаграмм.

5.1. Внедрение предложенных результатов работы в компании ЗАО «МОБИ. Деньги».

5.1.1. Бизнес задача.

5.1.2. Архитектура решения на основе САДП.

5.1.3. Описание диаграммы денежных потоков на языке DiaDeL.

5.1.4. Пример построенной диаграммы денежных потоков.

5.2. Визуализация диаграмм с использованием DiaDeL.

5.2.1. Диаграмма сущность-связь.

5.2.2. Диаграмма классов UML.

5.2.3. Диаграмма состояний UML.

5.2.4. Диаграмма IDEF0.

5.3. Выводы по главе 5.

Введение диссертации (часть автореферата) на тему «Разработка и применение языка описания нотации графо-подобных диаграмм»

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

Изначально такие диаграммы предназначались только для рисования и чтения человеком. С развитием современных технологий они стали широко использоваться в целях автоматизации производства. Но инструментальное программное обеспечение, применяемое при работе с диаграммами, должно «понимать», что представлено на диаграмме. Для этого требуется строго формализовать нотацию и семантику всех графических конструкций, используемых на диаграммах данного типа. Если это условие соблюдено, диаграмму можно тем или иным способом интерпретировать, вследствие чего класс диаграмм данного типа становится визуальным (графическим) языком.

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

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

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

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

Цели и задачи диссертационного исследования.

1. Разработка языка описания нотации графо-подобных диаграмм, позволяющего описывать нотацию в предположении, что семантическая модель является внешним входным параметром (язык 01аБеЬ).

2. Программная реализация визуализации диаграммы по описанию типа диаграммы на языке Б1аВеЬ и системе объектов, построенных по соответствующей семантической модели (система автоматического построения диаграмм).

3. Проведение экспериментальных исследований по визуализации представительного набора диаграмм различных типов.

4. Внедрение результатов работы в практику промышленной разработки программного обеспечения.

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

Научная новизна. В работе предложен язык «DiaDeL» (Diagram Definition Language) описания нотации графо-подобных диаграмм, обладающий следующими характеристиками, не поддерживаемыми ранее предложенными языками.

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

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

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

Реализация результатов работы. Результаты работы внедрены в ЗАО «МОБИ.Деньги» в виде базового компонента программного комплекса, что подтверждено актом о внедрении от 21.07.2010 г.

Апробация работы. Основные результаты работы представлялись на следующих конференциях и семинарах: «XVI Всероссийская научнометодическая конференция "Телематика'2009"», ИТМО, Санкт-Петербург (23-25 июня 2009 года); «XIV Всероссийская конференция "Фундаментальные исследования и инновации в национальных исследовательских университетах"», СПбГПУ, Санкт-Петербург (13-14 мая 2010 года); «XII международной научно-практической конференции "Фундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленности"», Санкт-Петербург (8-10 декабря 2011 года).

Публикации. По теме диссертации опубликовано 9 печатных работ, в том числе 6 статей в журналах из списка ВАК и три статьи (тезисы) в трудах конференций.

Объем и структура работы. Диссертационная работа изложена на 132 страницах и состоит из введения, четырех глав, заключения, списка литературы и четырех приложений. Список литературы содержит 83 наименования. Работа иллюстрирована 24 рисунками, содержит 8 таблиц и 3 листинга.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Степанян, Карлен Багратович

5.3. Выводы по главе 5

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

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

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

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

Заключение

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

• Позволяет описать нотацию диаграммы и связать ее с семантической моделью, заданной в виде программных объектов (классов и/или интерфейсов).

• Позволяет описать отображение вложенных друг в друга сущностей.

• Позволяет описать отображение обрамления вокруг одной или нескольких конструкций.

• Позволяет описывать произвольные декорации для вершин и ребер.

Описание нотации диаграммы на 01а0еЬ представляет собой определение типов графических конструкций, которые могут быть представлены на диаграмме, и связи их с элементами семантической модели. Описание связи позволяет гибко управлять отображением в зависимости от состояния отображаемых элементов. Язык 01а0еЬ не привязан ни к одной из платформ или графических библиотек, поэтому его использование не ограничено конкретными продуктами или платформами.

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

Для построения диаграмм по Б1аВеЬ описанию была разработана система автоматического построения диаграмм 01аБеЬ, которая позволяет:

• построить графо-подобную диаграмму по переданной системе объектов семантической модели.

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

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

Предложенный язык и система автоматического построения диаграмм были успешно внедрены в коммерческой организации для создания инструмента анализа денежных потоков. Также произведена успешная апробация языка В1аЕ)еЬ для визуализации ряда современных визуальных языков, таких как ЕМ), диаграммы классов и состояний 1ЖЬ, ГОЕЕО.

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

В работе получены следующие основные результаты.

1. Язык описания графо-подобных диаграмм «В1аОеЬ», позволяющий описывать конкретный синтаксис и его связь с внешней семантикой заданной в виде программных объектов.

2. Система автоматического построения диаграмм «Б1аВеЬ», которая позволяет автоматически визуализировать диаграммы различных типов.

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

Список литературы диссертационного исследования кандидат технических наук Степанян, Карлен Багратович, 2012 год

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

2. Жоголев Е. А. Графические редакторы и графические грамматики // Программирование № 3. 2001. С. 30-42.

3. Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2002. 224 с.

4. Котов В.Е. Сети Петри М : Наука. 1984. 160 с.

5. Кузнецов С. Обещания и просчеты UML 2.0 //Открытые системы. 2006. № 2, С. 75-79.

6. Леоненков A.B. Самоучитель UML2. СПб.: BHV-Санкт-Петербург. 2007. 576 с.

7. Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер. 2009. 384 с.

8. Новиков Ф.А., Иванов Д.Ю. Моделирование на UML. Теория, практика, видеокурс. СПб.: Профессиональная литература. 2010. 640 с.

9. Новиков Ф.А., Степанян К.Б. Использование порождающего программирования при реализации языка описания диаграмм // Информационно-управляющие системы. 2008. №6. С. 32-35 (список ВАК)

10. Новиков Ф.А., Степанян К.Б. Язык описания диаграмм // Информационно-управляющие системы. 2007. №4. С. 28-36 (список ВАК)

11. Патент 2395118 РФ, МПК G06 F 21/06. Система защиты платежных систем / Кошкарова Е.В., Шишло A.M.; Закрытое акционерное общество "МОБИ.Деньги"; Заяв. 2009130045/12 от 05.08.2009; Опуб.: 20.07.2010

12. Расширенная форма Бекуса Наура, международный стандарт. http://www.cl.cam.ac.uk/%7Emgk25/iso-14977.pdf (23.09.2010)

13. Сайт компании MetaCase и их продукта MetaEdit+. http://www.metacase.com/ (23.09.2010)

14. Степанян К.Б. Использование языка описания диаграмм // Информационно-управляющие системы. 2009. №1. С. 25-32 (список ВАК)

15. Степанян К.Б. Использование языка описания диаграмм при моделировании программного обеспечения // Дистанционное и виртуальное обучение. № 12(30). 2009. С. 42-50 (список ВАК)

16. Степанян К.Б. Язык описания диаграмм // Научно технические ведомости СПбГПУ. № 6-1. 2006. С. 36^1 (список ВАК)

17. Степанян К.Б. Формализация двумерных графо-подобных диаграмм // Компьютерные инструменты в образовании. № 3. 2010. С. 8-18 (список ВАК)

18. Фу К. Структурные методы в распознавании образов. М.: Мир, 1977. 319 с.

19. An MDA Manifesto / Booch G., Brown A., Iyengar S., Rumbaugh J., and others // MDA Journal. May 2004. http://www.bptrends.com/publicationfiles/05-04%20COL%20IBM%20Manifesto%20-%20Frankel%20-3.pdf (23.09.2010)

20. Automatic parser generation for pictorial languages / Costagliola G., Orefice S., Polese G., Tortora G. and others. In IEEE Symposium on Visual Languages. 1993. P. 306-313.

21. Bardohl R. Application of Graph Transformation to Visual Languages : Technical Report 97 10 / Technical University Berlin. 1997.

22. Bardohl R. GenGEd: Visual Definition of Visual Languages based on Algebraic Graph Transformation : PhD thesis / Technical University of Berlin. 1999. 232 p. http://tfs.cs.tu-berlin.de/Dissertationen/RosiBardohl.ps.gz (23.09.2010)

23. Bardohl R. GenGEd A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars // Proceedings of the IEEE Symposium on Visual Languages. 1998. P. 48—55.

24. Bardohl R., Ehrig H. Conceptual model of the graphical editor GenGEd for the visual definition of visual languages // Proc. Theory and Application to Graph Transformations. 1998. P. 252—266.

25. Bardohl R., Taentzer G. Defining Visual Languages by Algebraic Specification Techniques and Graph Grammars // In Proc. Workshop on Theory of Visual Languages. 1997. P. 27^12.http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.910 (23.09.2010)

26. Bardohl R., Taentzer G., Minas M., Schtirr A. Application of Graph Transformation to Visual Languages / Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools. 1999. P. 105— 180.

27. Boshernitsan M., Downes M. Visual programming languages: A survey. : Technical Report CSD-04-1368 / University of California. Berkeley. December 1997. http://citeseerx.ist.psu.edu/viewdoc/summarv?doi=10.1.1.21.7689 (23.09.2010)

28. Chok S., Marriott K. Automatic Generation of Intelligent Diagram Editors // ACM Transactions on Computer-Human Interaction. Vol. 10. No. 3, September 2003. P. 244-276

29. Chok S., Marriott K. Parsing visual languages // In Proceedings of the Eighteenth Australian Computer Science Conference—Australian Computer Science Communication. 1995. Vol. 17. P. 90-98

30. Domain-Specific Modeling Forum, http://www.dsmforum.org/ (23.09.2010)

31. Drewes F., Habel A., Kreowski H.J. Hyperedge replacement graph grammars / In Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation. Vol. I: Foundations. World Scientific. 1997. p. 95-162

32. Eclipse Graphical Editing Framework home page, http://www.eclipse.org/gef/ (23.09.2010)

33. Eclipse Graphical Modeling Framework home page. http://www.eclipse.org/modeling/gmf/ (23.09.2010)

34. Eclipse home page, http://www.eclipse.org (23.09.2010)

35. Eclipse Modeling Framework home page, http://www.eclipse.org/modeling/emf/ (23.09.2010)

36. EclipseUML. http://www.eclipse.org/modeling/mdt/?project=uml2 (23.09.2010)

37. Ehrig K., Ermel C., Hansgen S. Towards Model Transformation in Generated Eclipse Editor Plug-ins // Electronic Notes in Theoretical Computer Science. 2006. Vol. 152. P. 39-52

38. Ehrig K., Ermel C., Hansgen S., Taentzer G. Generation of visual editors as eclipse plug-ins // ACM Intern. Conf. on Automated Software Engineering: Proc. 20th IEEE. 2005. P. 134-143

39. Ehrig K., Ermel C., Hansgen S., Taentzer G. Towards Graph Transformation based Generation of Visual Editors using Eclipse // Electronic Notes in Theoretical Computer Science. 2005. Vol. 127(4). P. 127-143

40. Entity-relationship diagram (ERD). http://ru.wikipedia.org/wiki/ERD (23.09.2010)

41. Ferrucci F., Tortora G., Tucci M. and Vitiello G. A predictive parser for visual languages specified by relation grammars // In IEEE Symposium on Visual Languages. 1994. P. 245—252

42. Frankel D. Model Driven Architecture: Applying MDA to Enterprise Computing. NJ: Wesley. 2003. 352 p.

43. GMF Tutorial. http://wiki.eclipse.org/index.php/GMF Tutorial (23.09.2010)

44. Haarslev V. Formal semantics of visual languages using spatial reasoning // Proceedings of the 11th International IEEE Symposium on Visual Languages. 1995. P. 156—163

45. Haarslev V. A fully formalized theory for describing visual notations // Visual language theory. 1998. P. 261-292

46. Haarslev V., Wessel M. GenEd An Editor with Generic Semantics for Formal Reasoning about Visual Notations // Proceedings of the 12th IEEE Symposium on Visual Languages. 1996. P. 204-211

47. Integration Definition methods (IDEF). http://www.idef.com (23.09.2010)

48. Integration Definition for Function Modeling (IDEF0). http://www.idef.com/pdf/idefO.pdf (23.09.2010)

49. Integration Definition for Process Description Capture (IDEF3). http://www.idef.com/pdf/Idef3 fn.pdf (23.09.2010)

50. Janneck J. Graph-type definition language (GTDL) specification : Technical report / Computer Engineering and Networks Laboratory. ETH Zurich. 2000.

51. Janneck J., Esser R. A predicate-based approach to defining visual language syntax // Symposia on Human-Centric Computing (HCC '01). September 2001. P. 40—47

52. Jones G. Domain-Specific Development in Visual Studio, http://www.code-rnagazine.com/article.aspx?quickid=0710072&page=l (23.09.2010)

53. Marriott K. Constraint multiset grammars // In IEEE Symposium on Visual Languages. 1994. P. 118—125

54. Marriott K., Meyer B. Formal Classification of Visual Languages // Proc. International Workshop on Theory of Visual Languages. 1996. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.2940 (23.09.2010)

55. Marriott K., Meyer B. On the Classification of Visual Languages by Grammar Hierarchies // Journal of Visual Languages and Computing. Vol. 8. No. 4. 1997. P. 375-4-02

56. Mariott K., Meyer B., Wittenburg K. A survey of visual language specification and recognition // Visual language theory. 1998. P. 5—85

57. Message Sequence Chart (MSC) / ITU-T Recommendation Z.100. http://www.itu.int/ITU-T/studygroups/coml7/languages/Z120.pdf (23.09.2010)

58. Microsoft DSL Tools download page.http://www.microsoft.com/downloads/details.aspx?FamilyId=57A14CC6-C084-48DD-B401 -1845013BF834&displaylang=en (23.09.2010)

59. Minas M., Viehstaedt G. DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams // Proceedings of the 11th International IEEE Symposium on Visual Languages. 1995. P. 203—210

60. The Moses Project / Computer Engineering and Communications Laboratory. ETH Zurich, http://www.tik.ee.ethz.ch/~moses (23.09.2010)

61. Najork M., Kaplan S. Specifying Visual Languages with Conditional Set Rewrite Systems // in 1993 IEEE Symposium on Visual Languages. 1993. P. 12—18

62. Nassi I., Shneiderman B. Flowchart Techniques for Structured Programming / SIGPLAN Notices 8, 8. August 1973

63. OMG Model Driven Architecture, http://www.omg.org/mda/ (23.09.2010)

64. OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.2 http://www.0mg.0rg/spec/UML/2.2/Superstructure (23.09.2010)

65. Rath I. Declarative Specification of Domain Specific Visual Languages : Master Thesis / Budapest University of Technology and Economics. 2006.

66. Rekers J. On the use of Graph Grammars for defining the Syntax of Graphical Language // In Proceedings of the colloquium on Graph Transformation, Palma de Mallorca. 1994. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.6798 (23.09.2010)

67. Rekers J., Schiirr A. A graph grammar approach to graphical parsing // In IEEE Symposium on Visual Languages. 1995. P. 195-202

68. Rekers J., Schiirr A. Defining and parsing visual languages with layered graph grammars// Journal of Visual Languages and Computing. 1997. Vol. 8. No. 1. P. 2755.

69. Ruskey F., Weston M. A Survey of Venn Diagrams // Electronic Journal of Combinatorics. Dynamical Survey. DS5. June 2005. http://www.combinatorics.Org/Survevs/#DS5 (23.09.2010)

70. Schiirr A. Specification of Graph Translators with Triple Graph Grammars // In Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science. 1994. P. 151—163

71. Specification and description language (SDL) / ITU-T Recommendation Z.100. http://www.itu.int/ITU-T/studygroups/comlO/languages/Z. 100 1199.pdf (23.09.2010)

72. Tiger project homepage http://tfs.cs.tu-berlin.de/tigerprj/ (23.09.2010)

73. Uskiidarli S. Generating visual editors for formally specified languages. // In proceedings of the 1994 IEEE Symposium Visual Languages. October 1994. P. 278285

74. Uskiidarli S. Algebraic Specification of Visual Languages : PhD thesis / University of Amsterdam. 1997

75. Uskiidarli S., Dinesh T. VAS Formalism in VASE // In proceedings of the 1996 IEEE Symposium Visual Languages. 1996. p. 140-147

76. Wang D., Zeevat H. Minimal Sorts for Interpreting Pictures : Technical Report: CS-R9623 / CWI. Department of Computer Science. ISSN 0169-118X. 1996. http://oai.cwi.nl/oai/asset/4848/4848D.ps (23.09.2010)

77. Wang D., Zeevat H. A syntax directed approach to picture semantics // Visual language theory. 1998. P. 307-324

78. Wittenburg K., Weitzman L. Relational Grammars: Theory and Practice in a Visual Language Interface // In Workshop on Theory of Visual Languages. 1996. P 191-214.

79. Wittenburg K., Weitzmann L. Visual grammars and incremental parsing for interface languages // In IEEE Symposium on Visual Languages. 1990. P. 111—118

80. Zhang D.-Q., Zhang K., Cao J. A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages // The Computer Journal. Vol. 44. 2001. No. 3. P. 186—200