1. Файл содержит выполняемый автоматизированным способом (в форме машинного оригинала МО) [беловик|черновик] целевого документа или его части (неотъемлемой), выделенной для удобства работы.

Документ в целом, кроме основного содержания, может включать приложения. Содержание документа, приложения (его выделенной части) составляют текст и/или иллюстрации (графчасть).

Конкретное наполнение файла определяется по его имени (полный формат имён см. шаблон документа)¹.

2. Содержание документа, приложения подразделено на структурные элементы по иерархии; её верхние 4 уровня стандартны. Основная часть элементов имеет многоуровневую нумерацию и снабжена выделенными заголовками-абзацами, входящими в оглавление (описатель структуры элементов документа); имеются также элементы без нумерации, в т.ч. не входящие в оглавление, в т.ч. с заголовками в тексте (не выделенными как абзацы).

В тексте применяются типовые приёмы оформления, описанные в п/р 1.1 документа|шаблона.

3. В файл части из документа, приложения выделяется элемент структуры стандартного уровня иерархии (или ряд соседних элементов одного уровня) целиком (с заголовками).

Для многофайлового МО в имени каждого файла указаны индексы входящих элементов (формат: разделы <ЧN>, подразделы <пРNN>, пункты <ПNNN>, подпункты <пПNNNN>); файл первой части является головным.

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

Приложения в МО могут выполняться как отдельные файлы *ПрилN* (что указывается в их отметках о наличии).

При наличии иллюстраций в документе, приложении (части) они также м.б. выполнены разными способами.

Иллюстрации в МО могут содержаться в отдельном от текста файле *Рисунки*; в этом случае текст содержится в файле *Текст* и в него для отсылки включаются подрисуночные подписи.

4. Оригинал документа (части) выполнен как настоящий файл (имя см. поле внизу) и другие необходимые (детальный состав многофайлового документа см. п. 1.1.4 в <настоящем файле|головном файле *Ч.1 Введ.*>).

Текст подготовлен в среде OpenOffice.org 2.4.0 Writer или иной программы, совместимой по файлам; иллюстрации выполнены в той же программе и/или иными средствами, включая захват машобразов для МО.

Подлинник выполнен в виде твёрдой копии файлов оригинала с заменой и/или добавлением листов к твёрдой копии предыдущих версий.

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

Документ предназначен для учебных, информационных, научных или культурных целей в соответствии с действующим законодательством РФ, включая, но не ограничиваясь, п.1 Ст.1274 ч.4 ГК РФ². Содержание документа [используется «как есть»|м.б. изменено при совместной деятельности]. Пользователю разрешается: создать резервную копию каждого файла оригинала (при предоставлении только подлинника – каждого его листа) на случай утраты; делать одну твёрдую копию МО для правомерного пользования, включая замену утраченных (испорченных, потерянных) листов. Пользователь обязан: использовать оригинал (подлинник) и его копии (резервную и/или твёрдую) только лично и как указано выше; при цитировании документа (в объёмах и порядке, разрешённых нормами авторского права РФ) ссылаться на источник³. Иное воспроизведение документа или любой его части в любой форме невозможно без письменного разрешения.

Информация, содержащаяся в документе, получена из открытых источников, рассматриваемых автором как надежные. Возможное наличие секретных, конфиденциальных, а равно иных сведений ограниченного доступа следует рассматривать как результат предположения на массивах открытых сведений. Имея в виду возможные человеческие и технические ошибки, автор не может гарантировать абсолютную точность и полноту приводимых сведений, и не несёт ответственности за возможные последствия, связанные с их использованием.

В2. Назначение, сведения о версиях, обозначения и сокращения

В2.1. Документ содержит цикл консультаций по начальной подготовке в области автоформализации технологических знаний (о собственной деятельности).

Подразделение цикла по темам указано словом «Тема» в начале заголовка.

В2.2. Версии документа выпускаются по мере обновления содержания цикла.

≡ ЕСЛИ Вид.Документ=беловик ТО

≡§ удалить начТекст6 = '

В текущей версии 11.1 реализовано:

переход к новому шаблону Обычный документ 2, в котором переопределены практически все стили, рекомендованные к употреблению согласно п. В2.3.1. В связи с этим текст из предыдущей версии переносится в текущую; при этом корректируются форматы по необходимости;

Первоначальной для документа является версия 09.1, в которой:

В2.3. Сведения о терминологии, обозначениях и сокращениях данного документа см. в п/р 1.2.

Стиль Базовый. Управляет основанными на нём стилями (предопределёнными и пользовательскими; по всем основным параметрам формата).

Стиль Норм_Базовый. Управляет основанными на нём стилями (пользовательскими группы Норм_*; по всем основным параметрам формата).

1.1.1. В тексте документа применяются следующие приёмы оформления.

1.1.1.1. Чтобы упорядочить работу с материалом, часть абзацев имеет особые стили.

Кроме обычного начала новой мысли с красной строки, наглядность повышается так:

элементы перечисления удобно оформлять как пункты маркированного списка;

действия, ряд которых составляет к.-л. процедуру, в основном тексте документа удобно оформлять как пункты специально маркированного списка.

Без красной строки оформляются абзацы, отбиваемые в объёмном тексте мысли для удобства чтения (за первым), а также вводные положения к крупному элементу (под заголовком).

Формулы обычным текстом даются центрованно отдельных строках

Стиль РПВ_Базовый. Управляет основанными на нём стилями (пользовательскими групп Разв_*, Прим_*, Вним_*; по некоторым основным параметрам формата, не управляется кегль шрифта).

Такими абзацами оформлены мысли, на которые Вам следует обратить особое внимание (узловые моменты текущего пункта или наиболее важные выводы их него).

Внимание: [особое указание, требование, необходимое условие для применения пункта]

так выделяется пункт перечня, требующий особого внимания;

Так выделяется формула обычным текстом, требующая особого внимания

Эти сведения даются сразу перед тем (после того) основного текста, к которому относятся.

Пример. Такими абзацами выделяются примеры, иллюстрирующие текущую мысль основного текста. Так же выделяются практические рекомендации, советы, указания.

так в тексте примера выделяется пункт перечня;

Так в тексте примера оформляется абзац продолжения текущей мысли.

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

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

так в тексте развития выделяется пункт перечня;

Так в тексте развития оформляется абзац продолжения текущей мысли.

Так в тексте развития выделяется формула обычным текстом.

Информация к размышлению. [подзаголовок статьи]. Таким образом в тексте выделена познавательная составляющая, которая не является обязательной для изучения, но может расширить и углубить понимание предмета.

так в тексте отступления выделяется пункт перечня;

Так в тексте отступления оформляется абзац продолжения текущей мысли.

1.1.1.2. С той же целью фрагменты в тексте могут оформляться в следующих стилях:

Жирным шрифтом выделены названия отдельных пунктов, уровни классификации или комментарии в тексте к элементам схем, диаграмм.

Курсивом выделяются понятия, определяемые в тексте документа, а также предложения, содержащие важную информацию (выводы, указания и пр.). В списке литературы курсивом выделены позиции, которые имеются в [учебной|служебной] библиотеке.

Жирным курсивом выделены подуровни классификации либо понятия, о которых идет речь в окружающем тексте, или которые уже должны быть Вам известны.

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

Разрядкой выделены места, на которые следует обратить особое внимание.

Таким начертанием (гарнитурой) шрифта и курсивом выделены наименования объектов (сущностей), описываемых в документе.

Такой гарнитурой шрифта (с уплотнением) выделены тексты процессов (алгоритмов, программ).

Такой гарнитурой шрифта выделены тексты указателей адреса сущностей (данных).

1.1.2. В графической части документа используются стандартные стили текста и условные обозначения, приведённые далее (см.[п. 1.3.2|Приложение<N>]).[ Они идентичны тем, которые используются в [других информационных дисциплинах, начиная с информатики]].

Так оформляется подрисуночная подпись

В файле выделенного текста эти подписи указывают наличие и положение иллюстраций.

Внимание: отдельные подписи могут размещаться не под, а над рисунком. В любом случае подпись относится к тому рисунку, к краю которого она расположена вплотную.

1.1.3. В тексте черновика (плана) применяются также иные приёмы оформления:

Такими абзацами (уровня 6 в иерархии элементов текста) оформляется краткое содержание текста текущего элемента структуры в черновике (плане) .

[Замечание. ]Так оформляются замечания, указания по содержанию текста.

1.1.4. В шаблоне принято стандартное для делопроизводства подразделение содержания документа на элементы структурирования (далее – докэлементы) по 4-х уровневой иерархии: разделы, подразделы, пункты, подпункты. Докэлементы помечены заголовками-абзацами, как правило, нумерованными, входящими в оглавление.

Для элементов номера заголовка могут вводиться выражения; их содержание раскрывается здесь же (в сносках к заголовкам).

Так выделяется внутритекстовый заголовок части пункта (подпункта). Далее начинается собственно текст этой части. Такой заголовок не входит в оглавление документа.

––-конец служебной части (введения в документ) для документа/шаблона-––

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

[N. Заголовок б/н 1 – Раздел]

[N.1. Заголовок б/н 2 – Подраздел]

[N.1.1. Заголовок б/н 3 – Пункт]

[N.1.1.1. Заголовок б/н 4 – Подпункт]

[текст-докэлемента]

[комментарии по редактированию иллюстрации в черновике (необязательны)]

Заголовок б/н 5 – подрисуночная подпись

[текст-докэлемента]

Приложение 1.
Основы автоматизированной подготовки документов

В приложении даны необходимые сведения по организации электронных документов и типовым элементам их содержания. Изложение ведётся для основного офисного пакета, и прежде всего инфордок-процессора из состава пакета.

1. Описание машинного инфордока

Здесь приведены сведения, не включенные в основной текст шаблона, но необходимые для его понимания.

Здесь объединяются как ген-инфор-языки, представляющие обобщённую (интегрирующую) составляющую комплексной информодели задачи, предметной области, так и целостные языки комплексного информоделирования (прежде всего визуального программирования). Комплексный инфор-язык включает как часть (подъязык) по крайней мере один ген-инфор-язык.

Текстовые инфор-языки (ТИЯ)

Описывают программу решения задачи (подзадачи) в информатической форме, т.е. полную информодель для формального исполнителя (реальной или виртуальной информашины, инструктируемого человека). Программа включает объявления величин алгоритма и действий над ними. Различные стандарты ТИЯ называют также автокодами, псевдокодами.

Полный инфор-язык по определению включает все частные языки и объединяющий их ген-язык.

В России более-менее употребителен целый ряд ТИЯ. Исходя из эргономики представления и научно-технического уровня, можно выделить следующие.

Среди «родных»:

русскую алгонотацию А.П. Ершова (т.н. школьный алгоязык), определённый, в частности, в Учебнике ОИВТ А.П. Ершова и В.М. Монахова и в книге 12 лекций; на базе его определён т.н. текстовый язык спецификаций (ТЯС);
языки программирования системы Эльбрус: машинно-зависимый Автокод Эль-76 (одновременно высокоуровневый в силу оригинальной аппаратной архитектуры системы), определённый, в частности, в руководстве В.М. Пентковского «Язык программирования Эль-76» и ряд дополнительно реализованных общераспространённых ТЯП, описанных наряду с Эль-76, в частности, в работе В. О. Сафонова «Языки и методы программирования в системе "Эльбрус"» ;
язык т.н. прикладной теории определений (ПТО) В.Н. Агафонова, определённый (качественно) в его работе: Спецификация программ: понятийные средства и их организация, Гл.11.

Языки Эль-76 и ТЯС имеют полностью русскую лексику, что потребовало выбора ключевых слов, минимально совпадающих с обыденными русскими словами (допускающими неоднозначную и/или противоречащую смыслу ключевого слова трактовку). Прогязыки, дополнительно реализованные в системе Эльбрус, в основном западного происхождения и потому имеют оригинальную англоязычную лексику.

Считается, что Эль-76 и алгонотация Ершова происходят от Алгола-68, однако их принципы и выразительные средства существенно различны (прежде всего в деклар-части). Алгонотация как учебный прогязык существенно упрощена в типизации величин и достаточно проста в импер-части (управляющих структур).

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

Среди иноязычных:

прогязыки Н. Вирта; наиболее современный среди них - Оберон, определённый, в частности, в его книге "Алгоритмы и структуры данных. Новая версия для Оберона" и его диалект — Компонентный Паскаль (КП), определённый, в частности, в книге В.В. Потопахина «Современное программирование с нуля» ;
прогязык структурного редактора по проекту PureBuilder, определённый, в частности, на веб-ресурсе PureBuilder, Разд. 3, 4;
прогязык Эйффель (Eiffel), разработанный Б. Мейером и определённый, в частности, в его книге «Почувствуй класс»;
языки спецификаций систем для формальной верификации, в частности, по методу проверки моделей (Model Checking), описанные в работе Ю.Г. Карпова /7/; прежде всего рекомендуется комплекс языков Promela+never-LTL, входных в системе верификации деятельности в распределённых дискретных системах-исполнителях Spin (описаны в PDF-машдоках, прилагаемых к работе).

В отечественных книгах по КП именная часть КП-программ также записывается по-русски.

Выразительно эти ТЯП во многом эквивалентны. Так, РВ-прогязык основан на Обероне-07, а Promela — на управляющих операторах (выбора и цикла) Дейкстры.

Эйффель стоит несколько особняком в этом ряду, являясь объектно-ориентированным прогязыком с элементами формальной спецификации. Он имеет некоторые общие черты с Эль-76, а также с ТЯС (предопределённые контракты исполнения).

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

Графит-инфорязыки (ГИЯ)

Как правило, представляют результат гибридизации ТЯП по правилам интерпретации генклассификации отчуждаемых знаний. В данном документе используется генклассификация, пределённая здесь.

Общие сведения

В соответствии с генклассификацией обобщённой составляющей отчуждаемого знания, выделяются следующие группы ГИЯ:

языки ядра — необходимые для представления содержания информодели;
аспектные языки — дополняющие ядро различными т. зр. на информодель

Аспектное содержание получается из ядра путём преобразований (можно сказать, «проецирования» информодели с данной т. зр.). Предполагаются следующие классы языков этой группы:

ранг-аспектные — представляют отношения иерархии единиц графит-программ (вложения, подчинения);
стык-аспектные — представляют отношения неиерархической связи единиц различным образом.

Другое существенное основание классификации — по динамике описания. Здесь можно выделить типы языков:

сочинения — отражают аспекты статики описания, т.е. «как формализовано».
прогона — для представления аспектов динамики, т.е. «как применяется» в период исполнения, напр., для графит-программ - на платформе конкретной конфигурации операторами конкретной квалификации.

Как правило, первый тип задаёт некоторую свёртку содержания в пространстве, а второй — некоторую частную развёртку во времени.

Допускается, что в каждом аспект-классе и типе м.б. более, чем по одному языку.

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

Графит-Оберон/КП

Представляет комплекс из следующих графит-инфорязыков:

ген-язык ПК-Оберон/КП (вариант, принятый по определению за основной) — представляет модуляризацию компонентных графит-программ;
деклар-язык АТ-Оберон (в основном определении) либо АТ-КП (диалект) — представляет типизацию величин;
импер-язык ДА-1 (в основном определении учитывает синтаксис и Оберона, и КП), представляющий маршруты исполнения графит-программ, или Д2М (включает, кроме ДА-1, дополнение ДА-2 для действий, представляемых для Оберона/КП библиотечными средствами систем программирования);
актив-язык АС (в основном определении), представляющий аппаратно-программную платформу исполнения программ и взаимодействие её с человеком, техническими объектами и окружением; особенности, специфичные для Оберона/КП, отражаются по необходимости как содержание и/или атрибуты АС-вершин;
аспектные ген-языки, вводимые для представления отдельных аспектов содержания графит-программы.

В настоящее время определён следующий состав аспектных ген-языков:

дракон-моделирования (в основном определении ДМ-Оберон[-2] либо ДМ-КП-диалектном) — представляет свёртку отношения вызова одних процедур графит-программ другими (иерархию вложения кода);
стык-структуры — представляет отношения неиерархической связи процедур различным образом (находятся в разработке);
прогон-моделирования — для представления аспектов периода исполнения графит-программ на платформе конкретной конфигурации (находится в разработке).

Предполагается, что и стык-, и прогон-языков м.б. более, чем по одному.

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

Структурно-скобочный язык

Представляет комплексные графит-информодели алгоритмических процессов, состоящие из следующих частей:

базовая — связывает остальные части;
декларативная — представляет состояния исполнения процесса;
императивная — представляет действия и решения процесса;
активностная — представляет отношения деклар- и импер-частей как связывание через подразумеваемого исполнителя;

В основе организации моделей языка лежат следующие принципы:

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

Базовое определение языка представлено на схеме далее:

Базовое графит-определение структурно-скобочного языка

Выбор языков для заполнения м.б. любым.

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

Язык процессных конструктивов (ПК)

Служит для информатизованного описания обобщённой структуры процессов в графовой форме. Описание, как правило, отражает реализацию конкретного процесса в некотором прогязыке. Исходит из т.н. компонентной парадигмы информоделирования.

Алфавит языка

Алфавит образуют следующие операторы (директивы).

Алфавит ПК-языка

Правила языка

Описание процесса как конструктива проводится по следующим правилам.

ПК-схемы представляют собой орграфы, причём рёбрами являются линии и двойные линии, а остальные символы являются вершинами. Направление на диаграмме указывается стрелками соединительных линий.

По содержанию ПК-схема м.б.:

общей – отражает совокупность ряда процессов (напр. в РДП-редакторе – для всех открытых проектов);
частной – отражает один процесс.

Характер содержания может отражаться в заголовке схемы.

ПК-схемы организованы (находятся «в статике») по следующим правилам.

СА. ПК-схема всегда является единичной; декомпозиция (вынос части содержания путём подстановок) не допускается.

Схема м.б. построена для конкретного процесса или для некоторой (текущей при сочинении/исполнении) совокупности процессов.

СБ. Диоформой ПК-схем является ПК-силуэт – схема шампур-типа, модифицированная путём допущения в качестве начальной и/или конечной связи ветки группы звеньев и недопущения веточных циклов. Нагрузкой ветки ПК-силуэта м.б. единственная вершина типа ПК2.

NB. Альтернативной диоформой является свободная (сетевая); предполагается, что она не входит в стандарт (чтобы единообразно реализовать построение схем как силуэтов).

СВ. Ветка ПК-силуэта соответствует модулю конструктива процесса; начальная вершина ветки указывает модули-источники импорта в модуль-тело ветки видимой (экспортируемой) части содержания других модулей, конечная – модули назначения экспорта из данной ветки.

NB. Модуль м.б. реализован как компонент инфопрогизделия (в автоинфорсиме); однако шире модуль можно рассматривать как любую реализацию части процесса, описанную информатически строго.

СГ. Переход с выхода (и/или на вход) ветки м.б. как единичный, так и множественный, на что указывает:

рисование петли ПК-силуэта перетолщенной линией;
изображение группы звеньев на входе и/или выходе ветки.

СД. Вершина-заголовок схемы не находится на оси ни одной ветки (присоединяется между осями любых двух соседних веток по выбору сочинителя, в РДП-редакторе – с автоцентровкой между точками присоединения этих осей).

Условно чтение схемы может начинаться, как обычной шампур-схемы, с крайней левой ветки; для удобства восприятия сочинитель может располагать в этой позиции модуль, не импортирующий другие модули, а за ним – модули, импортирующие этот модуль.

СЕ. Ветка может не иметь входных или выходных связей, что указывается блёклой графикой начальной или конечной вершины ветки и текстом «нет».

ПК-схемы строятся (находятся «в динамике») по следующим правилам.

ДА. Если ширина ПК-схемы превышает ширину диосцены, схема м.б. перестроена (в редакторе – автоматически) по типу «этажерки», при этом:

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

Конструкции языка

Аналогично любым маршрутным языкам (напр. схемам алгоритмов), для процессных конструктивов можно определить обобщённые структурные формы, как показано ниже:

Обобщённая структура ПК-схемы

ВЦ-диалект ПК-языка

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

Алфавит диалекта частично изменён по сравнению с ПК-языком: изменены определения границ ветки – вершин типа ПК3 и ПК4 на аналогичные дракон-виопам Д7 и Д8.

ПКВЦ-схемы представляют собой орграфы, причём рёбрами являются линии, а остальные символы являются вершинами. Направление на диаграмме указывается стрелками соединительных линий.

ПКВЦ-схемы организованы (находятся «в статике») по следующим правилам:

СБ. Диоформой ПКВЦ-схем является ПКВЦ-силуэт – модифицированный ПК-силуэт, допускающий веточные циклы. Нагрузкой ветки является единственная вершина ПК2.

СЖ. Если импорт модулей д.б. циклическим, то:

каждому циклу присваивается уникальный индекс; все вершины-границы веток, входящих в этот цикл, изображаются с полем индекса ВЦ;
для каждого перехода (обозначаемого парой вершин в порядке ПК4 → ПК3), составляющего один и тот же цикл, вводится отдельная начальная вершина ПК4, в её поле ВЦ включается индекс этого цикла; тот же индекс включается в поле ВЦ конечной вершины ПК3 (в качестве очередного элемента списка, если поле уже содержит индекс[ы]). Т.о. ветка, из которой совершается такой переход, становится многоадресной; текст вершины ПК4 в «подвале» этой ветки содержит единственное имя модуля, следующего в цикле импорта (в частном случае – расположенного в той же ветке, образуя цикл самоимпорта).

В редакторе сочинитель вводит начальную вершину и её связи операцией вида «Заземление лианы» (от условного выхода вершины ПК2); поле индекса ВЦ включается по специальной команде редактора.

ПКВЦ-схемы строятся (находятся «в динамике») по правилам базового языка.

Язык дракон-моделирования Оберон-2-программ (ДМ-О2)

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

Схемы языка предназначены для отражения иерархии вызова одних процессов другими в форме графит-сети (как свёртки дракон-информодели, откуда и название).

Язык в основном эквивалентен ПК-языку и синтаксически может считаться его расширением; однако принципиально иное назначение определяет иную семантику схем, поэтому ДМ-О2 выделен как самостоятельный язык.

Алфавит языка

Алфавит частично изменён по сравнению с ПК-языком: для границ ветки введены вершины типа ДМ3 и ДМ4, для тела – вершина ДМ2, .

Алфавит ДМО2-языка

Синтаксис текстоэлементов языка определён с учётом требований прогязыка Оберон-2. Схемы языка будут правильно представлять процедурный состав программ на языке Оберон, если не использовать средства связи процедур с типом.

Правила языка

ДМО2-схемы представляют собой орграфы, причём рёбрами являются линии, а остальные символы являются вершинами. Направление на диаграмме указывается стрелками соединительных линий.

По содержанию ДМО2-схема м.б.:

общей – отражает совокупность ряда дракон-моделей (напр. в РДП-редакторе – для всех открытых проектов);
частной – отражает одну дракон-модель.

Характер содержания может отражаться в заголовке схемы.

ДМО2-схемы организованы (находятся «в статике») по следующим правилам.

СБ. Диоформой ДМО2-схем является ДМО2-силуэт – модифицированная шампур-схема, допускающая более одного шампура в любой ветке (называемой мультиветкой) и не допускающая веточных циклов. Нагрузкой мультиветки (всех её шампуров одновременно) является единственная вершина ДМ2.

Пояснение. Множественность шампуров отражает повторное использование процедуры (в случае рекурсивного возврата – повторное вхождение в неё). Рекурсивный возврат м.б. отображён через веточные циклы, но это требует уточнения.

NB. ДМО-2 схема производная от совокупности вызовов представляемой дракон-модели. Поэтому нагрузка ветки для каждого подчинённого визуала формируется как виоп Вставка с подстановкой в текст формальных параметров из заголовка визуала одноимённой процедуры проекта из вызывающего визуала; фактические параметры вызова переносятся в начало его ветки из каждого виопа Вставка, вызывающего эту процедуру.

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

СВ. Мультиветка ДМО2-силуэта соответствует процедуре, взятой в совокупности со всеми её вызовами из других процедур, входящих в схему. Каждый вызов отображается своим шампуром мультиветки; одновременно реализуется только один вызов процедуры.

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

СГ. Переход с выхода (и/или на вход) ветки всегда единичный (как и в обычных импер-схемах), на что указывает:

рисование петли ДМО2-силуэта сплошными тонкими линиями;
изображение одиночного звена на входе и выходе ветки.

СИ. ДМ-вершины начала и конца ветки вводятся для указания на отсутствие вызовов процедуры, нагружающей данную ветку (что обусловлено доминирующим положением этой процедуры в иерархии); доминирующих процедур м.б. более одной.

NB. Можно использовать границы ветки доминирующей процедуры для описания синтаксиса её вызова извне (допустим, программы – из командной строки ОС) и возврата (напр., состава и параметров вывода в систему).

ДМО2-схемы строятся (находятся «в динамике») по следующим правилам.

ДБ. При перестроении ДМО2-схемы в «этажерку» (аналогично ПК-правилу ДА) возможно назначение процедурам, входящим в каждый модуль по ПК-определению конструктива процесса, отдельного этажа (двух и более смежных этажей); в редакторе схем д.б. предусмотрен выбор такого критерия сочинителем.

Горизонтали секций ДМО2-петли, общие для пары смежных «этажей», показываются удвоенной тонкой линией.

Конструкции языка

Аналогично любым маршрутным языкам (напр. схемам алгоритмов), для ДМО2-схем можно определить обобщённые структурные формы, как показано ниже:

Обобщённая структура ДМО2-схемы

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

1 Переменные части текста даются как поля в '< >', заменяемые на описание; общая часть (корень) поля пишется как есть, а изменяемые части как '*'. Файлы МО с однокоренным именем относятся к одному элементу структуры.

2 Федеральный закон № 230-ФЗ от 18 декабря 2006 г.

3 Если цитата состоит полностью из сведений, цитирующих иной источник – сохраняя ссылку на первоисточник.