Графические грамматики


Rambler's Top100


Средства синтаксического анализа графических языков САПР
Шаров О. Г.

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

В последнее время большое развития получили автоматизированные средства создания синтаксически . ориентированных графических редакторов (VLCC, VisPro, DiaGen, GenGed). Как правило, такое средство состоит из следующих компонентов: редактора примитивов графического языка, редактора продукций графической грамматики и генератора исходного кода или исполняемого файла синтаксически . ориентированного графического редактора. Каждое из вышеперечисленных средств имеет особенности реализации своих компонент. Их определяет используемый формализм графической грамматики. Понятно, что кроме базового набора компонентов система может иметь дополнительные компоненты.

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

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

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


Международная XXXIX-я научно-техническая конференция ППС .Вузовская наука в современных условиях. (г. Ульяновск, 31 января . 6 февраля 2005 г.). Ульяновск, УлГТУ, 2005. Том 1. 128 с.
Шаров Олег, © 2002 - 2007