Г Р А Ф И Т — б а з и с

Инфологическое обеспечение | Языковое | Графит-метод

Base +Item -Item ΔStr ΔAtr =

Содержание

Операции преобразования свойств схем

Общие

Маршрутно-специфичные

Древ-специфичные

Сеть-специфичные

Операции преобразования свойств схем

Общие

Правило 190. Смена языка — операция, при которой текущий язык схемы меняется на новый. Выбранный язык должен иметь тот же структур-класс, что и исходный.

Пояснение. При этом элементы схемы, как правило, не имеют соответствия в лексике нового языка. Соответствие восстанавливается последовательным применением к позициям схемы операции Замена элемента.

Правило 191. Замена элемента — операция, при которой элемент в выбранной позиции графит-схемы меняется на элемент из алфавита текущего языка схемы.

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

Правило 192. [Ре]атрибуция элемента (связи) — заполнение (изменение) одного и более параметров разметки элемента (связи), установленных определением текущего языка графит-схемы.

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

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

В начало страницы

Маршрутно-специфичные

Правило 200. Операции Смена языка и/или Замена элемента определяются по необходимости в конкретном маршрут-языке.

М.б. рекомендованы замены: развилки на двухвариантный переключатель и обратно; цепочки развилок на многовариантный переключатель и обратно; отдельных типов лин-вершин друг на друга.

Правило 201. Стволы веток силуэта упорядочены по правилу «чем правее (в вертикальной компоновке схемы — чем ниже) — тем дальше от заголовка». В силу этого адреса главных выходов веток назначаются так, что адрес выходного контакта совпадает с адресом входного для ближайшей справа (снизу) ветки.

Правило 202. При базис-выводе схем как силуэтов действуют следующие ограничения на адресацию контактов веток:

Тем самым представляется деление атомарного блока на ряд веток.

Правило 203. Побочный выход ветки м.б. адресован на вход ветки, более левой в силуэте, тем самым представляя замыкание цикла через кросс в позиции входа этой более левой ветки (переход "против марша"). Началом петли цикла считается позиция выхода влево.

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

По вложенности:

Достаточные ограничения касаются совпадения начальных и/или конечных веток двух и более ВЦ (включая одноветочные). Можно переходить влево на одну и ту же ветку из разных ВЦ - если при наличии двух и более выходов "по шампуру" зацикливаемые выходы д.б. правее. Иначе будут пересечения уже петель циклов с побочными трассами ветвлений.

В этом случае очевидно, что замыкания вложенных циклов будут совпадать. При этом правильный порядок вложения соблюдается, так сказать, "автоматически" - тем, что внутри есть цепочка межветочных переходов "по шампуру" (от самой левой ветки к самой правой — см Правило 201), те или иные ветвления от которой приводят к началам петель циклов. И в каждой ветке эта цепочка должна также проходить по главной её вертикали; Устраняется рокировками - при этом "держим в уме" опять-таки эквивалентный примитив. Но б) можно и не соблюдать - имея в виду, что силуэт есть средство разрешения пересечений примитива. Допустимых - т.е. не между циклами (граф-контурами). А рокировки тут не всегда помогают - было при "Преобразовании графов". И могут нарушать эргономически целесообразный порядок маршрутов.

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

Тем самым соблюдается правильный порядок - по доминантности — исключающий пересечения циклов. Если в теле данной ветки нет пересечений - то чем правее её выход, тем он "рецессивнее" (при допущении пересечений это не будет корректно).

Возможен переход изо всех выходов одной ветки влево, если данная ветка самая правая в "зацикленном" силуэте - т.к. ветки после неё не будут доступны (целесообразно, если нагрузка предшествующих маршей будет разной).

В начало страницы

Древ-специфичные

Правило 210. Замена листа – операция, при которой изменяется тип выбранной терминальной вершины на любой другой атомарный тип.

Замена узла – операция, при которой изменяется тип выбранной промежуточной ОС-вершины И, ИЛИ, И/ИЛИ на любой другой из перечисленных.

Замена лин-вершины - операция, при которой изменяется тип выбранной лин-вершины на любой другой тип лин-вершины из алфавита текущего языка.

В начало страницы

Сеть-специфичные

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

В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.

Hosted by uCoz