Инфологическое обеспечение | Языковое | Графит-метод
Содержание
Операции преобразования свойств схем
Операции преобразования свойств схем
Правило 190. Смена языка — операция, при которой текущий язык схемы меняется на новый. Выбранный язык должен иметь тот же структур-класс, что и исходный.
Пояснение. При этом элементы схемы, как правило, не имеют соответствия в лексике нового языка. Соответствие восстанавливается последовательным применением к позициям схемы операции Замена элемента.
Правило 191. Замена элемента — операция, при которой элемент в выбранной позиции графит-схемы меняется на элемент из алфавита текущего языка схемы.
Пояснение. Операция обязательна после смены языка для позиций, элементы в которых не вхдят в лексику нового языка. Также возможна без смены языка.
Правило 192. [Ре]атрибуция элемента (связи) — заполнение (изменение) одного и более параметров разметки элемента (связи), установленных определением текущего языка графит-схемы.
Правило 193. Подстановка — операция формального преобразования атрибутов графит-области по заранее заданным правилам. Выполняется как замена текстов полей подстановки, заранее определяемых внутри атрибутов, согласно формально-грамматическим правилам (продукциям), имеющим в левой части указание на это поле. М.б. безусловной — выполняемой для вынесенной графит-области по указанию или после того, как она стала входящей в результате вариации, либо условной — когда заранее заданное логическое выражение, разрешающее применение данной продукции, стало истинным.
Истинность условия подстановки более чем для одной продукции, относящейся к одному полю, в конкретной реализации либо не допускается (требуется исправление условий), либо требует безусловного разрешения всякий раз при возникновении.
Правило 200. Операции Смена языка и/или Замена элемента определяются по необходимости в конкретном маршрут-языке.
М.б. рекомендованы замены: развилки на двухвариантный переключатель и обратно; цепочки развилок на многовариантный переключатель и обратно; отдельных типов лин-вершин друг на друга.
Правило 201. Стволы веток силуэта упорядочены по правилу «чем правее (в вертикальной компоновке схемы — чем ниже) — тем дальше от заголовка». В силу этого адреса главных выходов веток назначаются так, что адрес выходного контакта совпадает с адресом входного для ближайшей справа (снизу) ветки.
Правило 202. При базис-выводе схем как силуэтов действуют следующие ограничения на адресацию контактов веток:
В многоадресной ветке два и более контактов подряд должны иметь одинаковый адрес; если это не соблюдается, то более правый выход должен адресоваться к более правой ветке силуэта.
Ветки могут не соседствовать друг с другом (в смысле Правила 201), т.е. составлять ряды, связанные по входам с различными более левыми ветками, а по главным выходам - с одной более правой веткой.
Тем самым представляется деление атомарного блока на ряд веток.
Правило 203. Побочный выход ветки м.б. адресован на вход ветки, более левой в силуэте, тем самым представляя замыкание цикла через кросс в позиции входа этой более левой ветки (переход "против марша"). Началом петли цикла считается позиция выхода влево.
Правило 204. В случае замыкания более чем одного цикла через кросс образующиеся контуры могут частично совпадать, но не пересекаться (как и циклы внутри кросс-блоков). Действуют следующие необходимые ограничения на адресацию замыканий циклов.
По вложенности:
не адресоваться из данной ветки влево на ветку, если она левее какой-то, на которую уже есть переход влево из ветки, более правой, чем данная (иначе будет пересечение ВЦ);
симметрично - не адресоваться из данной ветки вправо на ветку, если она правее какой-то, из которой уже есть переход влево на ветку, более левую, чем данная (снова будет пересечение, только "с другой стороны").
Достаточные ограничения касаются совпадения начальных и/или конечных веток двух и более ВЦ (включая одноветочные). Можно переходить влево на одну и ту же ветку из разных ВЦ - если при наличии двух и более выходов "по шампуру" зацикливаемые выходы д.б. правее. Иначе будут пересечения уже петель циклов с побочными трассами ветвлений.
В этом случае очевидно, что замыкания вложенных циклов будут совпадать. При этом правильный порядок вложения соблюдается, так сказать, "автоматически" - тем, что внутри есть цепочка межветочных переходов "по шампуру" (от самой левой ветки к самой правой — см Правило 201), те или иные ветвления от которой приводят к началам петель циклов. И в каждой ветке эта цепочка должна также проходить по главной её вертикали; Устраняется рокировками - при этом "держим в уме" опять-таки эквивалентный примитив. Но б) можно и не соблюдать - имея в виду, что силуэт есть средство разрешения пересечений примитива. Допустимых - т.е. не между циклами (граф-контурами). А рокировки тут не всегда помогают - было при "Преобразовании графов". И могут нарушать эргономически целесообразный порядок маршрутов.
Допустимо из одной ветки переходить "против шампура" (влево) два и и более раз, если цикл замыкается на вход ветки не более левой, чем от любого более левого из зацикливаемых выходов той же ветки.
Тем самым соблюдается правильный порядок - по доминантности — исключающий пересечения циклов. Если в теле данной ветки нет пересечений - то чем правее её выход, тем он "рецессивнее" (при допущении пересечений это не будет корректно).
Возможен переход изо всех выходов одной ветки влево, если данная ветка самая правая в "зацикленном" силуэте - т.к. ветки после неё не будут доступны (целесообразно, если нагрузка предшествующих маршей будет разной).
Правило 210. Замена листа – операция, при которой изменяется тип выбранной терминальной вершины на любой другой атомарный тип.
Замена узла – операция, при которой изменяется тип выбранной промежуточной ОС-вершины И, ИЛИ, И/ИЛИ на любой другой из перечисленных.
Замена лин-вершины - операция, при которой изменяется тип выбранной лин-вершины на любой другой тип лин-вершины из алфавита текущего языка.
Правило 220. При операции Замена элемента для любой позиции схемы м.б. выбран любой элемент из алфавита текущего языка схемы; при этом связи к прежнему элементу и входы/выходы нового элемента туннелируются все (вариант — связи, присоединявшиеся к прежнему элементу, присоединяются ко входам/выходам нового по некоторому правилу, остальные связи и входы/выходы туннелируются).
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.