Инфологическое обеспечение | Языковое | Графит-метод
Содержание
Операции преобразования конфигурации связей
Операции преобразования конфигурации связей
Правило 150. Перемещение сепулька-блока — операция переноса содержимого, находящегося между указанными звеньями ввода, лежащими на одной трассе, в указанное звено ввода.
Операцию можно рассматривать как удаление сепулька-блока с последующей вставкой содержимого как атома, а также как вырезание/вставку (т.н. «копипаст») формально допустимым образом.
Правило 151. Композиция - операция перевода автономной области в вынесенную путём её согласования с к.-л. входящей, выполняемая следующим образом:
Сочинитель выбирает автономную область (в данном документе или по каталогу доступных).
Сочинитель выбирает входящую область на схеме для композиции.
Редактор проверяет, принадлежат ли языки выбранных областей одному семейству; если это не так, операция отвергается, иначе продолжается.
Если языки выбранных областей совпадают, то сочинителю предлагается выбор, сделать ли автономную область областью-вариантом или областью-раскрытием; если они различны (в пределах семейства), то сочинитель информируется, что автономная область м.б. только раскрытием входящей области; если последняя содержит более одной вершины, то предлагается выбрать для раскрытия одну из вершин.
Сочинителю предлагается указать соответствие между входами областей, а затем между их выходами.
Указания сочинителя проверяются на корректность (должна получиться схема, топологически правильная для языка области) и принимаются либо показываются несоответствия и предлагается изменить указания.
Корректные указания принимаются, после чего неподключенные исходя из указаний входы/выходы автономной области туннелируются снаружи.
Для области, композируемой как вариант, предлагается задать правила преобразования текстов её вершин при подстановке (если нет полного соответствия по составу имён и цепочкам литер со входящей областью); правила являются содержанием атрибута входящей области, участвующей в операции.
Операция завершается со введением в список индексов композированной области нового, определяющего полученное вхождение.
За одну операцию возможна композиция только с одной входящей областью (вариант — с любым числом областей; при этом для завершения операции вводится отдельная команда).
В дальнейшем м.б. отредактированы любые атрибуты области, кроме индекса.
Каждая согласованная т.о. область считается находящейся со входящей областью в одной группе композиции (ГК) — логическом объединении, члены которого взаимозаменяемы. Одна вынесенная область м.б. в двух и более ГК.
Правило 152. Рекомпозиция — операция перевода вынесенной области в автономную.
Правило 153. Вариация — операция взаимного замещения между входящей и вынесенной графит-областями из одной группы композиции. Из двух и более вынесенных областей для операции выбирается одна. Выполняется безусловно — указанием пары областей либо условно — если предварительно заданное как атрибут области логическое выражение (от целевых и/или служебных величин графит-модели) стало истинным для вынесенной, а не для входящей области.
Истинность условия вариации более чем для одной области в одной ГП в конкретной реализации либо не допускается (требуется исправление условий), либо требует безусловного разрешения всякий раз при возникновении.
Правило 154 (взамен Т28*). Пересадка лианы (обычная) – преобразование графит-схемы, выполняемое за четыре шага.
Шаг 1. Производится отрыв конца лианы от точки присоединения (/2, Рис. 119/).
Шаг 2. Конец лианы с помощью вертикальных и горизонтальных линий присоединяется к любому звену ввода (или начальному туннелю), куда лиана может дотянуться без пересечения с другими линиями. В результате происходит ввод ОС-атома Соединитель в это звено (или сращение со звеном, присоединяющим начальный туннель). При этом запрещается:
образовывать новый цикл (т.е. создавать фидбак, делая конец лианы доминатором её начала);
создавать второй вход в цикл (т.е. звенья трассы внутри фидбака, замыкающего цикл, недоступны для ввода соединителя, что можно указывать особым типом ввода);
присоединять лиану к другому соединителю (напр., присоединяющему лиану с другой стороны вертикали); следует использовать точку ввода либо выше, либо ниже.
Однако разрешается строить новый путь из середины обычного цикла к единственному входу в этот цикл, создавая визуальный эквивалент оператора continue языка Си (см. /2, Рис. 90, пример 7; Рис. 41/).
NB. Два последних правила введены для учёта топологических запретов по п/п 3.5.2.3. В дракон-схемах точки слияния с вертикалью для горизонталей, подходящих к вертикали с разных сторон (что возможно вследствие пересадки лианы на более правую вертикаль матрёшки), должны разделяться как минимум одним звеном вертикали; в этом случае можно однозначно трактовать направление маршрутов после пересадки лиан без дополнительных указаний направления дуг.
Второе правило фактически задано определениями операции и атома Соединитель.
Шаг. 3. Производится эквивалентное преобразование топологии схемы, чтобы лиане не пришлось загибаться наверх (/2, Рис. 128/) и соблюдались правила построения сепулька-блока (/2, Рис. 129/).
Шаг 4. Устраняются неоправданные изломы линий (/2, Рис. 130/) и графика соединителя (т.к. вершины-соединители и разветвители на схемах принято не показывать).
В результате пересадки лианы, если соединитель оказывается на оси нединакового порядка с началом лианы, образуется лианный макроблок – сепулька-блок, топологию которого нельзя представить как матрёшку.
В варианте с участием туннеля операция, как правило, выполняется в схемах с областями. В реализации это можно сделать обязательным.
Правило 155. Пересадка лианы (от начала) – преобразование графит-схемы, выполняемое аналогично обычной пересадке лианы, со следующими отличиями:
производится отрыв начала лианы (верхнего отвода от побочного выхода); возникающий хвост туннелируется на конце;
допустимо присоединять начало только к конечному туннелю; в результате происходит сращение с этим туннелем.
Как правило, операция выполняется в схемах с областями. В реализации можно ограничить присоединением только к туннелю, связанному с областью.
Правило 156 (взамен Т29*). Заземление лианы – преобразование графит-схемы, выполняемое за четыре шага.
Шаг 1. Производится отрыв конца лианы от точки присоединения (/2, Рис. 120/).
Шаг 2. Конец лианы с помощью вертикальной линии присоединяется к любому звену линии «питания» кросса схемы, куда он может дотянуться, не пересекая другие линии.
Шаг 3. В указанное звено вводится атом Заземлитель.
Шаг 4. Устраняются неоправданные изломы линий и графика соединителя.
Зрительно как результат операции наряду с присоединением производится разрыв линии в нижней части лианы и в место разрыва вставляется виоп Адрес (/2, Рис. 120/).
В результате заземления лианы образуется адресный макроблок – блок с двумя и более выходами.
Правило 157. Снятие графит-кросса — операция вывода связей, уложенных на плоскости, из объединения, задаваемого кроссом аранжированной графит-схемы согласно её структур-классу.
Восстановление графит-кросса — операция укладки связей на плоскости (аранжирования графа) в кросс с объединением, задаваемым согласно структур-классу и указанному подразделению графит-схемы на кросс-блоки.
Правило 158. Подключение (внешнее соединение) — операция неиерархического связывания графит-схем в графит-модель, выполняемая следующим образом:
указывается пара внешних контактов одной схемы, либо разных схем, из которых обе принадлежат одной графит-модели или одна или обе не принадлежат никакой;
между контактами устанавливается связь, отражаемая тем, что атрибут «адрес цепи» контакта указывает на уточнённый (индексом схемы) индекс другого контакта.
Связь м.б. показана также графически в формате, определяемом реализацией метода (напр., как в данном его определении — пунктирными перетолщенными серыми линиями). Возможна укладка внешних связей в модельный кросс.
Аналогично выполняется кроссировка.
Отключение (внешнее размыкание) — операция, обратная подключению, над парой контактов, соединённых указанной связью. В результате атрибуты «адрес цепи» указанных контактов получают значение «не определён».
Правило 159. Вставка — операция иерархического связывания графит-схем в графит-модель, выполняемая:
интегрально - ко внешним соединителям включаемой графит-схемы и внутренним соединителям объемлющей (определяются через пустую входящую область или на графит-кроссе);
дифференциально — к указанной части одной схемы, выносимой как тело вновь создаваемой схемы-вставки.
В обоих случаях участвующие соединители объемлющей схемы логически объединяются оператором Вставка, ссылающимся на схему-вставку, синтаксис которого м.б. определён в конкретном языке.
В схеме-вставке как контакты м.б. трактованы вершины Заголовок и Конец, если это определено для языка схемы. Число входных контактов вставки д.б. равным числу выходных в схеме, указываемой как объемлющая, а равно и число выходных контактов вставки д.б. равным числу входных в схеме, указываемой как объемлющая.
Операция понимается как частный случай операции Композиция над графит-схемой, кнтакты которой приравниваются к контактам графит-области (вынесенной).
Вхождение — операция, обратная вставке, в результате которой содержание схемы-вставки подставляется на место каждого оператора Вставка, ссылающегося на эту схему в каждой объемлющей схеме ранговой (смешанной) графит-модели.
Операция понимается как частный случай операции Внесение над графит-схемой, понимаемой как графит-область (вынесенная).
Правило 160 (взамен Т28*). При обычной пересадке лианы также запрещается:
формировать второй вход в ветку (ошибка "сиамские близнецы" – см. /2, Рис. 127/);
формировать маршрут из данного кросс-блока в другой.
Правило 161 (взамен Т29*). Заземление лианы определено только для маршрут-силуэта.
Правило 162. Операция Снятие графит-кросса для маршрут-шампур-схем определена как т.н. «примитивизация» силуэта; возникающие пересечения разрешаются введением графит-соединителей (в машинной реализации — возможно, автоматически). Операция Восстановление графит-кросса определяется как «силуэтизация» примитива (с возможными ограничениями на задание границ кросс-блоков, т.е. будущих силуэт-веток).
Для дейкстрала операция Снятие графит-кросса определена как преобразование в «примитивную» форму из иной («силуэтной», «лестничной»); Восстановление графит-кросса — как обратное преобразование; операции взаимно эквивалентны.
Правило 163. Операция Подключение для маршрут-схем определена только для силуэтов как разрыв связи указанной заземлённой лианы с силуэт-кроссом и установление её связи с указанной веткой другого силуэта, принадлежащего той же графит-модели или не принадлежащего никакой.
Операция Отключение для маршрут-схем определена только для силуэтов как обратная предыдущей.
Правило 170. Пересадка лианы очевидным образом возможна, если в определении конкретного языка даны составные атомы. Лиана в древ-схеме не м.б. пересажена на вход (выход) древ-узла.
Правило 171. Заземление лианы для древ-схем не определено.
Правило 172. Пересадка лианы (от начала) определена также для входа древ-узла; возникающий при этом обрыв марша, бывшего подвесом этого входа, устраняется оконечиванием марша древ-листом. При этом лиана м.б. пересажена «снизу» на древ-лист; это означает, что начинаемое ею поддерево становится новым поддеревом от марша, ранее оконеченного этим листом.
Правило 173. Сращение [деревьев ]по листам — операция объединения листов одинакового типа и наименования от разных древ-схем; один лист из пары указанных при этом устраняется. В результате схемы оказываются связанными через этот лист.
Предполагается допустимым как частичное объединение (с оставлением несращенных листов), так и участие в сращении более чем двух схем. Операция даёт т.н. разводяще-сводящую древ-схему (в случае полного сращения двух схем представляющую блок вида 1:1, но необязательно понимаемый как сепулька-блок).
В реализации следует определить, можно ли сращивать листы только попарно или более чем по два и каков во втором случае вид результата (прежде всего — вершин, замещающих множественные сращения — напр., «групповые терминаторы» ли они или N:M-элементы), исходя из семантики предметной области применения древ-структур.
Сращение [деревьев ]по корням — операция объединения заголовков одинакового наименования от разных древ-схем; один заголовок из пары указанных при этом устраняется.
Операция даёт т.н. сводяще-разводящую древ-схему (представляющую блок вида N:M).
В реализации следует определить, можно ли сращивать корни более чем двух древ-схем и каков вид вершины, представляющей сращение, исходя из семантики предметной области применения древ-структур.
Результаты сращения пары древ-схем обобщённо показаны ниже.
Древ-схемы с попарным сращением
Правило 174. Разделение листов — операция разрыва связи между сращенными листами. Выполняется для указанных подвесов разных схем (при попарном сращении достаточно указать общий лист). В результате подвесы получают индивидуальные листы (изначально однотипные и одноимённые).
Правило 175. Операции Восстановление графит-кросса и Снятие графит-кросса для древ-схем не определены.
Правило 176. Операция Подключение для древ-схем определена как связывание введённого в одну древ-схему контакта (всегда выходного) с заголовком другой древ-схемы либо со внешним входным контактом графит-схемы другого структур-класса.
Операция Отключение для древ-схем определена как обратная предыдущей.
Правило 180. Сеть-блок приравнивается к графит-области со следующими отличиями:
входы/выходы сеть-блока м.б. указаны альтернативно, как показано при определении сеть-схемы (фактически — либо соединителем особого вида, либо меткой-идентификатором);
связи внутри области с обрывом могут не туннелироваться, а не показываться;
Правило 181. При наличии в сеть-схеме древ-узлов часть схемы от выходов каждого древ-узла до сеть-блок<а|ов> (или до поперечины входов/выходов, смотря по направленности выходов древ-узла и наличию их связей с сеть-блоками) считается сеть-подсхемой и для этой части действуют сеть-специфичные правила графит-метода.
Правило 182. Пересадка лианы в сеть-схемах определена за начало и конец в пределах текущего блок-этажа (того, где находится содержание лианы до пересадок).
Заземление лианы в сеть-схемах допускается на любую из пары поперечин текущего блок-этажа; при этом может образовываться фидбак. Определено заземление лианы от начала (аналогично пересадке от начала, только на поперечину блок-этажа). Возникающий как результат хвост в кроссе сеть-схемы выводится из поперечины как простое звено с туннелем на противоположном конце (текст туннеля должен, в частности, указывать, началом или концом ориентированного хвоста он является).
Пояснение. Т.к. логически очевидно, что невозможно оперировать с лианой сразу за начало и конец (это будет уже другая операция - перемещения), то ясно, что она всегда будет оставаться в том блок-этаже, где была создана (как результат ввода атома).
Правило 183. Сеть-схемы допускается изображать с разрывом (наряду или вместо декомпозиции). Для этого вводятся одиночные и/или групповые ОС-соединители, непосредственно связанные с линиями «питания» и/или «земли» через простые звенья.
Правило 184. Соединитель - операция группировки/добавления выбранных контактов в соединитель — подмножество контактов, трактуемое как единая подсхема и изображаемое как слитный ряд.
Контакты д.б. одного рода и типа, если иное не разрешено правилами конкретного языка.
М.б. определена также обратная операция.
Правило 185. Кроссировка — операция установления связи между хвостами в кроссе сеть-схемы (т.е. цепями, не имеющими продолжения после втекания и/или начала перед вытеканием из кросса). Выполняется для пары указанных туннелей выводов из кросса, причём направления связей д.б. одинаковы (т.е. один туннель д.б. началом, а другой — концом своего хвоста).
Новой связи присваивается уникальная метка по правилам конкретного языка (в машинном редакторе — возможно, автоматически).
В реализации можно задать разные форматы меток — напр. выноски или индексного поля. Также можно принять, что если связь соединяет одноимённые вход и выход, то это имя присваивается и самой связи.
Кроссировка по определению попарно соединяет вход с выходом. Т.о. в кроссе представлены отношения только вида 1:1. Любые иные отношения представляются сеть-подсхемами. Это упрощает чтение сеть-схем.
Правило 186. Размыкание (раскроссировка) — операция разрыва связи в кроссе сеть-схемы. Выполняется для указанной связи (по её любому концу или метке). В результате образуются два хвоста (т.е. цепи, не имеющих продолжения после втекания и начала перед вытеканием из кросса) по месту присоединения концов к кроссу. Хвосты оконечиваются туннелями; если необходимо, для размещения каждого туннеля вводится кросс-этаж.
Правило 187. Снятие графит-кросса для графит-сети определено как выведение всех связей из контуров кросса. Структурно каждая связь строится как последовательность:
<вых-звено-ввода><излом><одиночн-фидбак><излом><вх-звено-ввода>.
Зрительно шины кросса превращаются в группы связей (в тонких линиях). Типы изломов и фидбака определяются направленностью связей (т.е. звеньев ввода) графит-сети; при «этажерочной» компоновке это ВЛ-излом, левый фидбак и ЛН-излом, при «гребёночной» - ЛН-излом, нижний фидбак и НП-излом.
При этом пары меток-надписей на концах каждой связи заменяются на одну метку-надпись, располагаемую свободно вдоль линии связи (при машинной реализации — по некоторому формальному правилу с возможностью ручного перемещения). Допускается также замена на метку-выноску.
Восстановление графит-кросса для графит-сети определено как создание контуров кросса с объединением всех связей, задаваемым согласно наличию фидбаков и указанному подразделению графит-схемы на «этажи». Связи помечаются по концам метками-надписями.
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.
