Сущность языка и метода

Безусловно, ДРАКОН-методология отличается от традиционной визуализации потоков управления блок-схемами. Сам Паронджанов указал на это следующим образом:

Задача формализации и унификации множества профессиональных языков с целью обеспечить эффективное взаимопонимание между специалистами любых профессий, включая программистов, является, хоть и важной, но, увы, неразрешимой. Положение в корне меняется, если ограничиться императивными профессиональными знаниями. Именно эту задачу решает язык ДРАКОН. Он построен путём формализации, неклассической структуризации и эргономизации блок-схем алгоритмов и программ, описанных в стандартах ГОСТ 19.701-90 и ISO5807-85.

Дракон-схему (граф маршрутов алгоритма) можно вывести путём исчисления над алфавитом вершин-[псевдо]операторов и словарём подграфов-макро[псевдо]операторов из аксиомы-заготовки.

Исчисление, разработанное для ДРАКОНа, называется шампур-методом. Оно основано на следующих принципах:

формальной эргономизации лексики — определения состава вершин и их графики с учётом реальных операторов и директив языков программирования; при этом среди вершин выделяются нелинейные, с участием которых образуются подграфы, построенные из знаков алфавита и словаря, даваемые как единицы лексики языка схем. Такой подграф называется атомом и всегда имеет один вход и один выход; также даются исходные конфигурации схем — заготовки (см. Тезисы 1..8, 11..14 шампур-метода);

вложения — схема наращивается вводом атомов; среди рёбер атомов и заготовок выделены такие, что допускают замену на тот или иной атом — т. н. рёбра ввода; рёбра указываются вершинами — точками ввода (см. Тезисы 9..10, 15..25, 36, 37 шампур-метода);

«шампура» — расположения входа и выхода линейной вершины и атома на одной оси, направленной всегда сверху вниз и упорядочения вершин при следовании по вертикали так, что они лежат на одной оси (см. Тезисы 2, 6, 8 шампур-метода);

главной/побочной осей — выделения в нелинейной вершине (подграфе) из ряда входов (выходов) главного и упорядочения остальных (называемых побочными) вправо от него (см. Тезисы 7, 8 шампур-метода);

силуэтной укладки — применения соединителей, принятых для блок-схем как межстраничные, в новом качестве — как внутрисхемных для укладки схемы на плоскости без пересечений цепей; соединители разделяют схему, называемую «силуэтом», на блоки-ветки, в тела которых уложены цепи; промежуточные выходы веток связываются со входами через особую структуру — петлю силуэта — и вершины-соединители (см. Тезис 2 шампур-метода^[);

лианного вывода — представления неструктурных топологий схем (которые невозможно получить путём вложения) через операции переноса точек соединения без образования пересечений и/или новых входов в ветки силуэта и/или в циклы (любой формы схемы) (см. Тезисы 26..29 шампур-метода^]).

В нелинейном подграфе имеется две и более осей следования.

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

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

При лианном выводе может получиться лианный, а в силуэте — также и адресный макроблок. Также может получиться и структура, выводимая вложением (Паронджанов называет этот тип макроблока структурным; можно также атомарным).

На базе этих принципов определены правила вывода схем как теорем исчисления из выбранной аксиомы-заготовки в лексике атомов.

Как можно сказать проще? Шампур-метод даёт возможность строить «слепыш» алгоритма так, как мы выводим формулы в булевой алгебре. Только вместо букв — подграфы. И сами формулы имеют вид графов (для ДРАКОНа — схем маршрутов алгоритма). В основе метода — небольшое число базовых принципов:

· шампура — вершины при следовании упорядочиваются по вертикали, так что вход всегда сверху, выход снизу и лежат на одной оси;

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

· вложения — схема наращивается вводом атомов, построенных из знаков алфавита и словаря, в специально указанные (точками ввода) линии заготовок и других атомов;

· силуэта — укладки маршрутов на плоскости в тела веток, промежуточные выходы которых связываются со входами через особую структуру — петлю силуэта — и вершины-соединители.

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

Лианы можно пересадить и так, что получится то же самое, что можно получить и вводом атома; конечно, это не имеет особого смысла.