Инфологическое обеспечение | Языковое | Графит-метод
Содержание
Определение результатов вывода
Определение результатов вывода
Правило 230. К любой правильно построенной графит-схеме остаются применимы операции вывода — общие и специфичные для её структур-класса.
Правило 231 (взамен Т14*). Вывод графит-схемы завершён, когда в ней нет ни одного критического звена ввода. Тем самым в любом ветвлении ненагруженный марш имеет как альтернативу нагруженный (для базис-схем — отсутствуют пустые атомы, в импер-смысле эквивалентные пустым операторам). Пустые атомы разрешается использовать на всех этапах построения графит-схемы, кроме заключительного.
NB. Это требование отражается в назначении видов (нейтрального или критического) рёбрам ввода составного атома.
Правило 232. Графит-схема с областями (входящими) разрешена по вхождениям, когда в ней нет ни одного туннеля. Неразрешённая графит-схема считается правильно построенной, но незавершённой. Только завершённая схема может иметь чистовой (исполнимый) статус редактирования.
Правило 233. В результате вывода возможно построение любого конечного числа графит-схем, а также образование графит-модели на любой совокупности существующих (доступных по условиям реализации графит-метода) схем по правилам связности для языков схем.
Любая схема может участвовать только в одной модели (или ни в одной; исключение схемы из модели м.б. ограничено правилами связности). Вынесенная область может участвовать в двух и более моделях (в результате композиции; область, не участвующая ни в одной модели, по определению автономна).
Правило 234. Графит-модель диспозитивная (в структурном смысле) — совокупность графит-схем, связанных через внешние соединители. Имеет структуру, обобщённо показанную на схеме.
Диспозитивная графит-модель (общий вид)
Схемы модели считаются имеющими один ранг (не образующими к.-л. иерархии). Т.о. задаётся «горизонтальная» декомпозиция предмета моделирования.
Диспоз-графит-модель образуется как результат операции Подключение (кроссировки, применённой ко внешним соединителям графит-схем).
Правило 235. Графит-модель ранговая (в структурном смысле) — совокупность графит-схем, связанных через внешние и внутренние соединители. Имеет структуру, обобщённо показанную на схеме.
Ранговая графит-модель (общий вид)
Схемы модели считаются имеющими ранг, соответствующий уровню вхождения (отражающий к.-л. иерархии предмета моделирования). Т.о. задаётся «вертикальная» декомпозиция предмета моделирования. Структурно ранг задаёт участие в связи соединителя (контакта) одной из схем, определённого на этой схеме как внутренний; эта схема считается объемлющей для схемы на другом конце связи (считается вставкой в объемлющую).
Ранг-графит-модель образуется как результат операции Вставка, применённой к схемам интегрально и/или дифференциально.
В конкретном языке м.б. допустимо множественное вхождение одной схемы (в одну и более других схем), а также рекурсивное (схемы в саму себя).
Правило 236. В результате вывода графит-модель логически организуется как диспозитивная, ранговая либо смешанная. Тем самым отражается подход к декомпозиции предмета моделирования. Общая структура графит-модели с сочетанием диспоз- и ранг-организаций показана на схеме.
Смешанная диспозитивно-ранговая графит-модель (общий вид, пример)
Схемы модели при этом также считаются ранжированными по уровню вхождения.
Правило 237. Любое подмножество схем модели м.б. расположено на отдельной диосцене.
Правило 238. Смешанная декомпозиция м.б.:
регулярной — без пересечения (в смысле совпадения инцидентности) диспозитивных и ранговых связей;
произвольной — с пересечением диспозитивными связями ранговых.
В первом случае диспоз-связи допустимы только между схемами, имеющими высший ранг иерархии (корневыми в порядке вхождения).
Во втором случае диспоз-связи допустимы между любыми схемами иерархии, независимо от ранга (в т.ч. могут связывать схемы, не входящие в одну иерархию).
Структурно смешение возникает, когда между любыми двумя схемами модели есть как связь (одна и более) через внешний контакт одной схемы и внутренний контакт другой, так и связь (также одна и более) только через контакты, внешние в обеих схемах.
Правило 239. Повторное вхождение - способ декомпозиции, когда для одной схемы-вставки задано более одного места вхождения на объемлющей схеме (разных схемах). Общая структура графит-модели показана на схеме. Также возможна смешанная.
Регулярно-смешанная графит-модель (общий вид, одноуровневого вхождения)
Такая организация применяется для сокращения модели в аспектах:
представления — для устранения дублирования частей одинакового содержания, входящих (выделяемых) в разных местах модели, с целью сокращения объёма описания;
содержания — для отражения повторного использования одинаковых частей в разных местах (в той мере, в какой это допускает смысл предметной области).
Сокращённое представление развёртывается дублированием одинаковых частей по вхождениям. Развёртывание м.б. задано специальным графит-синтаксисом.
Сокращённое содержание подразумевает связность экземпляра повторно входящей части со всеми назначенными вхождениями.
Так, в материальных системах повторно входящая часть может взаимодействовать с объемлющими одновременно («симультанно»), принимая/отдавая суммарные потоки предметов/ сред/энергии по связям вхождения и обрабатывая эти потоки сообразно их внутренней организации (и собственной логике).
В идеальных системах также возможно взаимодействие повторно входящей части с объемлющими последовательно («сукцессивно»), принимая/отдавая потоки попеременно для каждого вхождения.
Возможно частичное сокращение, когда в модели определено одинаковых частей более одной, но менее числа вхождений, так что на все или некоторые части приходится более, чем по одному вхождению.
Следующие случаи повторного вхождения сохраняют регулярность модели (как по отдельности, так и в любых сочетаниях):
вхождение вставки в две и более схемы предыдущего ранга;
вхождение вставки более чем в одно место схемы предыдущего ранга;
повторное использование части в самой себе (рекурсия), что возможно на модели как идеальной системе и на идеальной системе как предмете моделирования.
Рекурсия м.б. допущена и для корневой части (т.е. для дескриптивной модели при фактическом отсутствии рангов; формально всё равно следует считать каждое рекурсивное вхождение добавляющим ранг; в операторной модели рекурсивное вхождение интерпретируется как порождение экземпляра вставки).
Практически возможны нерегулярности повторного вхождения:
повторное использование м.б. допущено на разных уровнях, вышележащих по отношению к входящей части (если таковые имеются, т.е. рангов не менее трёх);
то же м.б. допущено на разных уровнях, нижележащих по отношению к входящей части (если таковые имеются, т.е. рангов не менее четырёх).
Практически модель в двух последних случаях приобретает произвольную организацию.
Правило 240. Правильно построенная маршрут-схема имеет конфигурацию, показанную на схеме:
Маршрутная графит-схема (общий вид)
Реализация маршрут-схемы практически возможна с помощью графит-соединителей, как показано на схеме:
Маршрутная графит-схема (реализация)
Правило 241. Маршрут-модель м.б. построена различным образом в зависимости от структур-подкласса входящих схем. Маршрут-силуэты м.б. включены в диспоз-модель через веточные соединители, как показано на схеме:
Маршрут-силуэт в диспозитивной графит-модели (схема подключения)
Как правило, такое включение используется для диспозиции крупного силуэта на ряд меньших с целью разнесения по диосценам.
При ранжировании заголовок и конец маршрутной схемы-вставки считаются соединителями, ответными входящим в оператор Вставка. Формат оператора м.б. выбран сообразно сдержанию модели, как показано далее:
Маршрут-схемы в ранговой графит-модели (схемы подключения)
Правило 242. Любая правильно построенная маршрут-схема «примитив» является результатом преобразования заготовки-примитив с помощью конечного числа операций — общих и маршрут-специфичных, как-то: Пересадка лианы, Добавление варианта, Удаление конца примитива.
Правило 243. Любая правильно построенная маршрут-схема «силуэт» является результатом преобразования заготовки-силуэт с помощью конечного числа операций — общих и маршрут-специфичных, как-то: Добавление ветки, Пересадка лианы, Заземление лианы, Добавление варианта, Удаление конца силуэта, Дополнительный вход.
Правило 244. Любая правильно построенная маршрут-схема «дейкстрал» является результатом преобразования заготовки-дейкстрал с помощью конечного числа операций — общих и маршрут-специфичных, как-то: Добавление ветви, Добавление варианта.
NB. При выводе дейкстрала операции с лианой не используются. Корректность дополнительных входов в дейкстрал подлежит дальнейшему исследованию.
Правило . Любая правильно построенная древ-схема является результатом преобразования древ-заготовки с помощью конечного числа операций — общих и сеть-специфичных.
Правило 260. Правильно построенная сеть-схема в зависимости от ограничений вывода может иметь конфигурацию из числа показанных на схемах далее:
Сетевая графит-схема (общий вид)
Правило 261. Любая правильно построенная сеть-схема является результатом преобразования древ-заготовки с помощью конечного числа операций — общих и сеть-специфичных.
В начало страницы | Оглавление | Версия для печати
Copyright © Жаринов В.Н.
