Исследование и разработка методов и средств реализации диаграммных графических языков САПР

• Автор: Шаров, Олег Геннадьевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Ульяновск
• Количество страниц: 220 с. : ил.

Глава 1. Использование и реализация диаграммных графических языков в САПР

1.1. Проектная деятельность

1.1.1. Понятия проектной деятельности

1.1.2. Структура процесса проектирования

1.1.3. Диаграммные графические языки в проектной деятельности

1.2. Обзор графических языков

1.2.1. Основные понятия графических языков

1.2.2. Диаграммные графические языки САПР

1.3. Модели графических языков

1.3.1. Синтаксические модели графических языков

1.3.2. Классификация графических грамматик

1.3.3. Веб - грамматика (Web Grammars)
1.3.4. Позиционная грамматика (Positional Grammar)
1.3.5. Реляционная грамматика (Relational Grammar)
1.3.6. Многоуровневая графовая грамматика
(Layered Graph Grammars)
1.3.7. Сохраняющая графовая грамматика
(Reserved Graph Grammar)
1.3.8. Транслирующие графические грамматики
1.3.9. Достоинства и недостатки графических грамматик
1.4. Инструментальные средства

1.4.1. Универсальные графические редакторы
1.4.2. Специализированные графические редакторы
1.4.3. Примеры инструментальных средств
1.5. Постановка задачи
1.6. Выводы
Глава 2. Разработка и исследование графической грамматики ДГЯ САПР
2.1. ЯУ - грамматика
2.1.1. Определение ЛУ - грамматики
2.1.2. Методика построения НУ - грамматики
2.1.3. Пример построения ИУ - грамматики для языка. ПГСА
2.1.4. Автоматная интерпретация алгоритма контроля
2.2. КУИ - грамматика
2.2.1. Определение КУИ - грамматики
2.2.2. Пример КУИ - грамматики для языка ПГСА
2.3. Алгоритмическая структура КУ (КУИ) - анализатора
2.4. Иерархическая КУ • грамматика
2.5. Сравнение анализаторов графических грамматик
2.5.1. Временная оценка эффективности КУ - анализатора
2.5.2. Временная оценка эффективности КУИ - анализатора
2.5.3. Сравнение временных характеристик анализаторов
2.5.4. Сравнение затрат памяти анализаторами
2.5.5. Выявляемые ошибки
2.6. Выводы
Глава 3. Исследование методов семантического анализа ДГЯ САПР. Разработка транслирующей грамматики
3.1. Семантика графических языков
3.2. Транслирующая грамматика
3.2.1. Определение ИУП - грамматики

3.2.2. Специфика трансляции в текстовый целевой язык
3.2.3. Пример RVTt - грамматики для языка ПГСА
3.2.4. Определение RVTg - грамматики
3.2.5. Пример RVTg - грамматики для языка ПГСА
3.3. Выводы
Глава 4. Разработка программных средств реализации ДГЯ САПР
4.1. Разработка анализатора графических схем алгоритмов
4.1.1. Общие сведения о Microsoft Visio 2002
4.1.2. Реализация алгоритма контроля
4.2. Разработка синтаксически ориентированного графического редактора
4.2.1. Функциональное назначение и возможности
4.2.2. Проектирование функциональности графического
редактора
4.2.3. Разработка алгоритма прокладки связей
4.2.4. Разработка формата хранения данных
4.2.5. Проектирование и реализация транслятора
4.2.6. Параметры реализации и используемые технологии
4.3. Разработка системы реализации графических языков САПР
4.3.1. Система построения спецификаций графических
языков на основе RV - грамматик
4.3.2. Универсальная система анализа графических языков
на базе RV - грамматик
4.3.3. Формат хранения метаописания графического языка
4.4. Выводы
Заключение
Литература

Этап определения точек / областей соединения используется только для объектов, т.к. связи имеют точки соединения только на своих окончаниях. Этот этап необходим для определения возможных путей следования управляющего потока, по он не предполагает наделение графического представления семантикой. Семантикой нагружается сам графический примитив графического языка, причем в разных графических языках один и тот же графический примитив может содержать в себе разный смысл.
Для каждой точки соединения определяется:
• тип (вход, выход, вход / выход);
• местоположение на графическом представлении.
Понятно, что область соединения включает в себя некоторое количество точек соединения того или иного типа, но совсем необязательно определять необходимое количество точек на графическом представлении, достаточно указать область соединения (рис. 1.17) и определить следующие ее свойства:
• коэффициент объединения по входу;
• коэффициент разветвления по выходу.
а б в
Рис. 1.17. Способы определения точек / областей соединения а,б - крестами определены точки соединения, в - пунктиром определена
область соединения
На последнем этапе работы с подсистемой задается текстовое обозначение, в том числе и общее, для данного примитива (А - действие, Р - условие и т.д.).