Инфологическое обеспечение | Языковое | Графит-метод
Содержание
Операции прибавления элементов
Операции прибавления элементов
Правило 70. Заготовка — операция создания схемы, при которой на диосцену помещается схема-заготовка, выбранная в структур-классе языка схемы. Возможна в одном из режимов:
независимый — выполняется в любой момент вывода;
зависимый — выполняется в связи с выводом другой схемы, когда она требует существования данной.
Зависимость схем определяется правилами их связывания в графит-модель. Возможно, что при этом предопределяется и структур-[под]класс создаваемой схемы, а значит, и конкретная заготовка (либо группа заготовок, из которой надо выбрать конкретную).
Правило 71. Ввод контакта — операция добавления в схему единичного соединителя, привязанного к кроссу схемы. Возможна в одном из режимов:
свободный — выполняется в любой конфигурации схемы;
сопряжённый — выполняется только на существующий в схеме хвост.
Возможность сопряжённого ввода определяется наличием хвостов в схеме.
В свободном режиме операция выполняется следующим образом:
указывается кросс-поперечина для ввода;
указывается род контакта — внешний или внутренний;
на схему рядом с указанной поперечиной добавляется вершина контакта так, что её вывод направлен к поперечине; для внутреннего — в области содержания (внутри контура кросса), для внешнего — снаружи кросса; вид контакта — входной или выходной — определяется указаниями и определением кросса;
по другую сторону поперечины напротив вершины-контакта добавляется вершина-туннель противоположного вида;
между выводами вершин строится цепь из двух простых звеньев, разделённых изломом в месте пересечения цепи с кросс-поперечиной.
В сопряжённом режиме указывается также хвост, устраняемый контактом; вершина-контакт замещает собой туннель этого хвоста.
Правило 72 (взамен Т10*, 18*, 21, 24, 25*). Ввод атома – преобразование заготовки или графит-схемы, выполняемое следующим образом: производится разрыв линии звена ввода (в условной точке ввода) и в это место вставляется атом, как показано на /2, Рис. 116/.
NB. Данная операция топологически неспецифична, т.е. не зависит от структур-класса (подкласса) выводимой графит-схемы.
Тип всех звеньев ввода во вновь введённом атоме должен устанавливаться по типу использованного звена, если для него содержание типа более узко, чем для звеньев во введённом атоме.
Пояснение. Все точки ввода в атоме имеют одинаковый тип использования (см. в Правиле ). Установка типа обеспечивает целесообразное его употребление.
Если в фигуре (заготовке или атоме) одно критическое звено, ввод атома обязательно производится именно в него; при этом звено становится нейтральным (критическая точка уничтожается). Если фигура имеет два критических звена, обязательный ввод атома делается только в одно из них; при этом звено, в которое произведён ввод, а также другое критическое звено нейтрализуются, т. е. становятся нейтральными.
Операция Ввод атома применяется для ввода только простых и пустых атомов, а также цикла ЖДАТЬ. Ввод непустого атома осуществляется в два этапа; сначала вводится пустой атом, затем в его критическую точку вводится функциональный атом.
Пояснение. Ввод пустого атома – очень удобный строительный приём. Он позволяет обеспечить богатство и разнообразие создаваемых дракон-схем и используемых в них конфигураций. Среди последних особую роль играет так называемая "матрёшка".
Чтобы устранить пустые атомы из графит-схемы, есть два способа:
превратить пустой атом в непустой;
преобразовать пустой атом в пустую матрёшку, затем превратить её в непустую.
Пояснение. После того, как сочинитель эффективно использовал пустые атомы для придания дракон-схеме желаемой конфигурации, он должен убрать их из схемы.
Устранение из графит-схемы пустых атомов автоматически приводит к нейтрализации всех её критических звеньев (уничтожению всех критических точек).
Правило 73. Наложение — операция определения на схеме графит-области (входящей), выполняемая следующим образом:
сочинитель указывает на шампурах схемы сначала ряд звеньев вертикалей, которые должна пересечь верхняя граница области, затем ряд звеньев, которые должна пересечь нижняя граница; при этом можно указать только крайние (слева и справа) звенья каждого ряда;
РДП-редактор проверяет указания верхнего ряда на топологическую корректность, имея в виду, что область - это компактный фрагмент схемы; т.е. ряд вертикалей д.б. непрерывным, а при наличии других областей - также что вложение областей д.б. полным; откорректированный ряд (с дополнением пересекаемых звеньев до непрерывного) показывается сочинителю для возможного уточнения входящих вертикалей и/или граничных звеньев на них;
Имеется в виду, что редактор «не знает», как должна по замыслу сочинителя проходить граница, и потому при восполнении непрерывности проводит её через неуказанные, но требуемые для корректности вертикали по звеньям, выбранным по некоторому алгоритмически реализуемому методу (напр. исходя из взаимного положения указанных звеньев логически - на маршрутах или физически — на диосцене на момент операции, и получая координаты требуемых звеньев некоей аппроксимацией координат указанных).
строится топологически корректный ряд нижних звеньев, исходя из правил «статики» области (заданных в Правиле ; при этом указания для верхнего ряда принимаются за аксиому) и показывает его сочинителю;
сочинитель принимает результат либо возвращается к корректировке верхнего ряда, чтобы получить задуманное содержание области с учётом ограничений корректности;
по принятым указаниям область накладывается на схему.
Далее сочинитель может указать, должна ли входящая область быть пустой; если да, то для содержания входящей области создаётся (автоматически) вынесенная область-вариант.
Правило 74. Вынесение — операция определения варианта входящей графит-области путём создания (на текущей диосцене) вынесенной графит-области по содержанию входящей, выполняемая следующим образом:
сочинитель указывает область, входящую в схему, и выбирает тип вынесенной области: вариант (на языке схемы) либо раскрытие (на языке схемы, или любом входящем в то же семейство; при этом редактор предлагает список языков для выбора);
если выбран тип-раскрытие, то проверяется, чтобы содержимым входящей области была единственная вершина; если это не так, предлагается выбрать вершину для раскрытия внутри входящей области;
создаётся копия этой области, в которой входы/выходы наружно оконечены соединителями; текстами соединителей служат указания связей (напр., индексы вершин схемы, примыкающих к области);
Далее вынесенная область может редактироваться независимо.
Каждая область-вариант м.б. раскрыта (в любой своей вершине) таким же образом. Каждая область-раскрытие может иметь варианты.
Правило 75. Добавление области - операция создания автономной области, выполняемая следующим образом:
Указываются желаемые количества входов и выходов области, а также язык её содержания (из списка поддерживаемых в реализации).
Создаётся область с наружным туннелированием входов и выходов.
В дльнейшем сочинитель редактирует область как обычную графит-схему по правилам языка содержания.
Правило 76. Добавление входа/выхода области - операция, выполняемая следующим образом:
На рабочей стороне указывается место входа (выхода).
Строится цепь из внешнего и внутреннего нейтральных звеньев, оконеченная тунелями, через указанную точку.
Правило 77. Боковое присоединение – преобразование маршрут-схемы, с помощью которого в схему добавляются вершины-боковики.
Присоединение к звену показывается прямоугольником (символизирует дополнительное действие, связанное со смыслом боковика).
Для импер-маршрут-схем каждый случай присоединения боковика показан в Д2М-словаре (см. п/п 3.5.1.2, п/п 3.5.1.4).
Правило 80. Операция Ввод контакта для маршрут-схем определена только для силуэтов как составная часть операции Подключение - т.е. только для побочного выхода ветки силуэта, который становится внешним выходным контактом и м.б. связан только со входом ветки другого силуэта.
Правило 81 (взамен Т31*). Добавление варианта – преобразование маршрут-схемы, с помощью которого в атом переключатель добавляется ещё один виоп вариант.
Число добавлений не более 14, так что максимальное число вариантов в переключателе равно 16.
Правило 82 (взамен Т32). Добавление ветки – преобразование силуэта, в который добавляется ещё одна ветка.
Число добавлений не более 14, так что максимальное число веток в силуэте равно 16.
Правило 83 (взамен Т35). Добавление дополнительного входа – преобразование силуэта, с помощью которого добавляется ещё один виоп заголовок, который размещается над любым виопом имя ветки (кроме левой) и соединяется с ним вертикальным ребром. При этом на верхней горизонтальной линии силуэта рисуют направленную вправо стрелку, как показано в примере /2, Рис. 84/ справа.
Ограничение. При наличии веточного цикла запрещается присоединять дополнительный заголовок к середине веточного цикла. Т.е. операция применима только к веткам, имеющим значение №В (в границе «шапки» силуэта), а также к конечной ветке.
Основные операции прибавления для маршрут-схем визуализированы ниже.
Операции прибавления элементов маршрут-схем
Правило 90. Ввод древ-узла (Добавление поддерева) – операция, при которой в выбранное ребро марша древ-схемы добавляется атом Древ-узел.
Правило 91. Добавление веса – операция, при которой к ОС-узлу древ-схемы добавляется ещё один выход со звеном ввода, оканчивающийся листом по умолчанию.
Правило 92. Операция Ввод контакта для древ-схем определена только как частный случай операции Замена листа или Боковое присоединение контакта, т.е. указанный лист (боковик) становится выходным контактом и м.б. связан только со входом другой древ-схемы.
Правило 100. Добавление блок-этажа – операция, при которой между выбранными «этажами» (уровнями размещения содержания графит-сети, оформляемыми как смежные контуры сеть-кросса) добавпяется новый уровень, доступный для ввода блок-места (и последующего заполнения элементами схемы и их содержательными связями).
Правило 101. Добавление кросс-этажа – операция, при которой между выбранными блок-этажами добавпяется новый кросс-этаж, предназначенный для размещения туннельных концов нескроссированных связей с одного или обоих смежных блок-этажей. Выполняется следующим образом:
создаётся линия, параллельная линии входов/выходов кросса (присоединяющей концы связей) с той стороны, операция с которой вызвала появление нескроссированной связи; вместе с присоединениями её концов к линиям «питания» и «земли» она и образует новый контур в кроссе сеть-схемы;
на эту линию переносятся все связи с указанной стороны.
После этого внутрь образовавшегося контура размещается туннельный конец первой появившейся между данными блок-этажами нескроссированной связи; последующие такие концы размещаются в том же контуре. Зрительно схема расширяется новым «этажом» в соответствующую сторону (при «этажерочной» компоновке — вверх для входов, вниз для выходов).
Кросс-этажи вводятся для удобства чтения и редактирования схем с нескроссированными связями.
В машинном редакторе сеть-схем кросс-этаж следует создавать автоматически всякий раз при появлении первой на к.-л. линии входов/выходов нескроссированной связи в процессе редактирования. Когда все связи на линии входов и выходов кросс-этажа скроссированы, он не требуется. В реализации следует его убирать (в машинном редакторе — автоматически) обратной операцией (очевидной и потому здесь не обсуждаемой).
Правило 102. Ввод блок-места – операция, при которой между выбранными сеть-блоками (подсхемами) в сеть-кросс добавляется ребро, изначально нескроссированное и готовое ко вводу атома Сеть-блок, как показано на рисунке ниже. При этом:
симметрично по другую сторону каждой линии входов/выходов данного блок-этажа добавляется туннель, связанный с вершиной простым звеном (через линию); тем самым отражается изначальная нескроссированность ребра;
если на линию, присоединяющую начало и/или конец блок-места, «разведён» хотя бы один конец (начало) линии, находящейся на другом блок-этаже (что возможно, если схема уже имеет более одного блок-этажа, т.е. выполнялась операция Добавление блок-этажа), то в схему добавляется кросс-этаж для туннеля с одной или обеих сторон данного блок-этажа.
Рисунок из графит-букваря
Выполнение ввода блок-места
В «одноэтажной» графит-сети концы нескроссированных связей уровня изначально (при отсутствии внешних соединителей) выводятся за границы кросса, и отдельные кросс-этажи под их размещение не создаются.
Связи начала и конца ребра с другими рёбрами сеть-схемы устанавливаются отдельной операцией Кроссировка (см. Правило ).
Правило 103. Ввод внешнего соединителя – операция, при которой в сеть-схему добавляется вершина Имя цепи (над линией входов) или Адрес цепи (под линией выходов). При этом:
симметрично по другую сторону линии добавляется туннель, связанный с вершиной простым звеном (через линию); тем самым отражается изначальная нескроссированность соединителя;
если на линию входов (выходов) «разведены» связи сеть-подсхем (когда на неё соединитель ещё не добавлялся), то в схему добавляется кросс-этаж.
Т.о., под связи внешних соединителей изначально отводятся отдельные кросс-этажи сеть-схемы (крайние в образующейся структуре).
Такой принцип вводится для удобства чтения схемы со внешними соединителями. Ведь изначально сеть-схема строится как безразрывная (декомпозируемая через вставки/области), а данная операция служит для декомпозиции с разрывами связей (допускаемой, скажем в схемах по ЕСКД). Связи схемы выводятся вовне путём кроссировки их на соединители.
Правило 104. Добавление входа (выхода) – операция, при которой в выбранное место на рабочей стороне контура сеть-блока добавляется ребро, соединяющее это место с ближайшей поперечиной сеть-кросса и готовое ко вводу атома, за исключением сеть-блока, как показано на рисунке ниже. При этом:
симметрично по другую сторону поперечины добавляется туннель, связанный с вершиной простым звеном (через линию); тем самым отражается изначальная нескроссированность ребра;
если все связи сеть-подсхем, разведённые на данную поперечину кросса, были скроссированы, то в схему добавляется кросс-этаж для туннеля.
Рисунок из графит-букваря
Выполнение добавления входа (выхода)
Добавление входа-выхода – операция, при которой одновременно добавляются звенья ввода с противоположных сторон сеть-блока, лежащие на одной оси; аналогична добавлению входа (выхода), только кросс-этажи м.б. созданы с двух сторон блок-этажа. В блоке концы звеньев связаны внутренним звеном ввода, лежащим на той же оси.
Отражает сквозную связь, интерпретация которой зависит от языка. В конкретном языке вместе с рёбрами также м.б. добавлены лексические единицы этого языка.
Правило 105. В блок-место, а также во вход (выход) сеть-схемы м.б. введён любой ОС-атом, а также любой маршрутный атом любого реализуемого графит-языка. Как следствие, в сеть-схеме могут образоваться подсхемы маршрутной и/или древовидной топологии.
Иначе, как в блок-место, сеть-блок введён быть не может; т.о., в пределах блок-этажа не м.б. образована цепочка сеть-блоков (все сеть-блоки на этаже расположены в один ряд). Если нужна связь между сеть-блоками, следует её организовывать через кросс (кроссировкой входов/выходов); это допустимо как в пределах одного блок-этажа, так и на разных.
В реализации дополнительно м.б. запрещено вводить любые атомы в рёбра, присоединяющие сеть-блок к кроссу; тем самым подсхемы маршрутной и/или древовидной топологии нужно будет строить отдельно (рядом с сеть-блоками).
Подобные ограничения могут упростить вид отдельных подсхем (фрагментов, независимо друг от друга скроссированных в пределах блок-этажа), но затруднить чтение схемы. Следует основываться на принципах организации многосвязных схем, сложившихся в конкретной предметной области.
Правило 106. Добавление блок-элемента – операция, при которой в указанный сеть-блок добавляется элемент (понимаемый как несвязанная лин-вершина в составе сеть-блока). Считается, что элемент имеет вход и выход, изначально туннелированные (и не показанные на схеме, если такая возможность реализована).
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.