Разработка и применение языка описания нотации графо-подобных диаграмм

• Автор: Степанян, Карлен Багратович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2012
• Место защиты: Санкт-Петербург
• Количество страниц: 132 с. : ил.

Содержание
Введение

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

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

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

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

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

подстановок.

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

1.2.1. Система I

1.2.2. Инструментальная среда i i .

1.2.3. Набор инструментов i .
1.2.4. Продукт i 4.5
1.2.5. Проект 1.5.
1.3. Выводы по главе 1
Глава 2. Язык описания диаграмм i.
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Математическая формализация графических конструкций языка
3.1. Общие определения
3.2. Метки
3.3. Оператор прикрепления метки к вершине
3.4. Оператор прикрепления метки к ребру
3.5. Декорация
3.6. Оператор прикрепления декорации к ребру
3.7. Фигура.
3.8. Составная фигура.
3.9. Контейнер
3 Рамка
3 Ребра
3 Выводы по главе 3
Глава 4. Система автоматического построения диаграмм
4.1. Архитектура и описание логики работы.
4.2. Модель конкретных графических объектов.
4.3. Алгоритм построения диараммь.
4.4. Выводы по главе 4
Глава 5. Применение языка ОаОеЬ и визуализатора диаграмм.
5.1. Внедрение предложенных результатов работы в компании ЗАО
МОБИ.Деныи
5.1.1. Бизнес задача.
5.1.2. Архитектура решения на основе САДП.
5.1.3. Описание диаграммы денежных потоков на языке i
5.1.4. Пример построенной диаграммы денежных потоков
5.2. Визуализация диаграмм с использованием i
5.2.1. Диаграмма сущностьсвязь.
5.2.2. Диаграмма классов
5.2.3. Диаграмма состояний
5.2.4. Диаграмма I0
5.3. Выводы по главе 5
Заключение
Список литературы


Работа иллюстрирована рисунками, содержит 8 таблиц и 3 листинга. В первой главе приведен обзор существующих методов спецификации визуальных языков. Произведен анализ современных программных продуктов, поддерживающих работу с визуальными языками, и описана постановка задачи. Во второй главе представлен язык описания диаграмм аЕ)еЬ. Описано назначение языка и основные концепции, лежащие в его основе, требования и способы применения. Приведены абстрактный и конкретный синтаксисы языка. Третья глава посвящена описанию математической формализации графических конструкций языка а0еЦ включающей классификацию конструкций, имманентно присущие им свойства и допустимые отношения. Четвертая глава содержит описание архитектуры и реализации системы автоматического построения диаграмм по описанию нотации на языке аОеЬ. ЗАО «МОБИ. Дсньги» и построения ряда диаграмм современных визуальных языков. В заключении суммированы основные результаты работы. Глава 1. Бурно развивающаяся компьютерная индустрия сталкивается с проблемой построения большого и сложного программного обеспечения за более короткое время и за меньшие деньги. В качестве решения этой проблемы можно выделить ряд современных направлений по развитию технологий программирования, которые используют модели для описания приложения. Domain Specific Modeling) []. Модель - это проекция реальности. В индустрии разработки программных приложений модели используются для представления структур данных, коммуникаций между агентами, алгоритмов и т. Модели являются привлекательным средством, потому что они позволяют «точно описать предмет, используя нужный уровень абстракции, без необходимости вдаваться в лишние подробности» 8]. Преимущественно модели имеют графическое представление. В этом случае понятия «модель» и «визуальный язык» связаны, в том смысле, что с помощью визуального языка описывается модель разрабатываемого приложения. Следовательно, абстрактный синтаксис визуального языка есть не что иное, как метамодель для разрабатываемой модели. Далее по тексту в качестве синонима термину абстрактный синтаксис визуального языка также используется термин семантическая модель. Семантическая модель визуального языка специфицирует смысловую нагрузку. Конкретный синтаксис или нотация визуального языка определяет правило отображения моделей. ERD [], SDL [], семейство IDEFx []). Неформально графо-подобная диафамма — это диафамма, состоящая из фафических конструкций, которые можно разбить на два множества — множество фигур (вершин) и множество линий, соединяющих эти фигуры (ребер). Формальное определение подобных диаграмм можно найти в работе |2]. В ней вместо понятия графо-подобная диафамма используется термин фафичсский язык. В данной работе термины графо-подобная диаграмма и визуальный язык синонимичны, однако, следует помнить, что в общем случае это не гак, поскольку визуальный язык, кроме абстрактного и конкретного синтаксиса, обладает еще спецификацией интерпретации. В силу возросшей популярности визуальных языков вопросы их спецификации и интерпретации представляют большой интерес и являются предметом множества исследований. На данный момент времени предложено большое количество способов описания визуальных языков и программных продуктов, связанных с ними (обзор продуктов приведен в разделе 1. В статье [] проводится хороший обзор, включающий введение в предметную область, описание основных способов спецификации визуальных языков и их исторические аспекты возникновения. Спецификация визуального языка и способ редактирования диаграмм этого языка сильно связаны друг с другом. Существует две противоположных точки зрения на вопрос о способе редактирования диафамм. Сингаксически-ориентированное редактирование. Редактор, использующий синтаксически-ориентированнос редактирование, не позволяет создавать синтаксически (и семантически) некорректные конструкции в ходе редактирования диаграмм визуального языка. Для поддержания целостности и непротиворечивости нарисованной диафаммы на допустимые операции с графическими конструкциями накладываются Офаничения.