Г Р А Ф И Т — б а з и с

Инфологическое обеспечение | Языковое | Общеязыковые графит-определения

Содержание

Общеязыковые графит-определения

Определение языков

Именование сущностей

Правила употребления имён

Лексика визуальных ЯПЗ (общеязыковые требования)

Правила визуальных ЯПЗ (общеязыковые требования)

Общеязыковые графит-определения

Определение языков

1.1.1.1. Представление знаний обеспечивается совокупностью формальных ЯПЗ. Отдельные ЯПЗ образуют системы, применяемые целостно для отражения некоторой сферы знаний (предметной области), что учитывается в определениях этих языков. Общий состав языков определяется, исходя из генклассификации, данной в этом подразделе.

Далее используется терминология, введённая при этой классификации.

Отдельные языки допускают диалекты – видоизменённые определения. Также м.б. определено расширение языка как существенное дополнение (изменение) его содержания.

Также описаны особенности автоматизированной реализации языка (набора языков) как инфопрогизделия разработки/документирования ЯПЗ-описаний (далее – РДП-редактора). Реализованные т.о. ЯПЗ далее в общем называются РДП-языками.

Любой язык представления как обобщённых (гензнаний), так и частных (деклар-, импер-, актив-) знаний, реализованный в РДП-редакторе, по степени информатизованности (соответствия формализации информатической, см. /3, п. 1.4.1/) м.б.:

• ментал-языком – не допускающим понимание формальным исполнителем; описание требует интеллектуальности адресата, наличия у него мышления, неформализуемого моделями алгоисполнителей.

Любой ментал-ЯПЗ либо является естественным языком (ЕЯ), либо использует лексику (алфавит и словарь) ЕЯ, но грамматика структурирована (ограничена) для повышения точности описаний; возможно, ограничена также и лексика языка. Структурирование преследует цель максимально устранить т.н. «ЕЯ-ловушки» (неоднозначности трактовки описаний), в то же время сохраняя возможность передачи принципиальной неопределённости описываемой предметной области.

• инфор-языком – информатически формальным, т.е. допускающим понимание формальным исполнителем алгоритмов; он имеет математическую модель исполнения.

Обычно подразумевается искусственный алгоисполнитель — информашина (жарг. «вычислительная», «компьютер»), и говорят о его программировании на искусственном прогязыке. Однако в равной степени можно говорить об инструктировании информатически неформального исполнителя (человека) на инфор-ЯПЗ, предписании ему действовать «как машина».

Один ЕЯ выбирается как основной ЯПЗ в РДП-редакторе (обычно — родной язык разработчика и/или пользователя). Он служит языком текста РДП-документа; возможно несколько таких языков. Остальные ментал-ЯПЗ в целях повышения когнитивного качества могут иметь графовую или табличную основу.

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

Язык представления знаний для программирования (а равно инструктирования неформального исполнителя) принципиально д.б. информатически формальным.

РДП-редактор решает задачи:

• поддержки редактирования описаний на ЯПЗ разной информатизованности (причём в основу представления РДП-документа м.б. положен и нетекстобазированный ЯПЗ), включая ведение версий;

• трансляции РДП-описаний на внешние языки и ретрансляции описаний на внешних языках — в РДП-языки.

При этом обратное соответствие для ретрансляции м.б. определено как [полу]автоматически — путём формально-грамматического анализа внешнего описания[ при участии пользователя], так и вручную — по указанию пользователем РДП-языка для конкретного фрагмента (или логически самстоятельной части) внешнего описания.

Степень информатизованности есть часть определения языка. Под исполнителями алгоритмов понимаются естественные (искусственные) субъекты, к деятельности (функционированию) которых применимо математическое определение алгоритма (известными видами формализмов, как-то: машины Тьюринга/Поста, алгорифмы Маркова, вычислимые функции Чёрча/Клини – и/или иными).

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

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

Каждому языку присвоен уникальный префикс (диалекту – также расширение префикса), по которому язык идентифицируется.

Набор правил диалекта образуется объединением правил диалектного и базового определений языка. При этом правило диалекта с совпадающим индексом переопределяет правило базового определения языка; базовые правила, не перекрытые определениями в диалекте, входят в его набор правил «как есть».

Расширение считается самостоятельным; его лексика и правила определяются независимо от расширяемого языка.

1.1.1.3. Совокупность отдельных ЯПЗ, реализованных в РДП-редакторе, подчиняется общим системообразующим правилам, качественно формулируемым далее; можно считать, что тем самым задаётся РДП-метаязык представления знаний.

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

Именование сущностей

1.1.2.1. Любым сущностям (объектам, величинам) модельные имена (идентификаторы) текстом даются по следующим правилам (подразумевается русскоязычная реализация):

• Имя является словом или словосочетанием общей длиной не более 31 символа.

• Имя образуется из слов русского языка; допускается также включение слов других языков, которые можно записать в кириллице/латинице, а также знаков байтового алфавита межмашинного обмена (кодировки КОИ-8Р или других, употребляемых в России).

• Слова в имени-словосочетании, как правило, записываются слитно, каждое с заглавной буквы; она служит разделителем слов. Если допускает длина полученного т.о. имени, между словами м.б. введены непустые (т.н. «серые») пробелы (знаки подчёркивания) для улучшения читаемости имени.

Поскольку «серый» пробел не имеет вид «пустого знакоместа», улучшение читаемости будет лишь относительным.

Пустые, т.н. «белые» пробелы (т.е. знаки пробела, табуляции, возврата каретки, перевода строки) применяются для отделения слов в текстах (независимо от информатизованности языка текста). Имя рассматривается как слово РДП-текста; поэтому введение в него «белого» пробела будет нарушением грамматического строя РДП-метаязыка.

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

NB. Способ предметной записи м.б. прямым – в этом случае каждая литера представляется машинным кодом, которому в знакогенераторе соответствует её человекочитаемое изображение, или опосредованным – когда слову в целом соответствует предметный код, подставляемый при каждом вхождении имени в документ. Для второго случая в РДП-редакторе фиксируется соответствие «код-имя»; вхождение обозначается тегом, указывающим на необходимость для человекочитаемого представления извлечь запись имени из словаря.

Очевидно, что второй способ экономит объём машинной формы РДП-документа, но усложняет процесс его представления.

1.1.2.2. Имена записываются как композитные структуры (обычно — точечные пары) для уточнённой идентификации сущностей по правилам программирования в следующих случаях:

• уточнения объекта-алгопроцедуры или величины именем единицы логического строения программы (модуля, класса и пр.; зависит от парадигмы);

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

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

Кроме того, композитными именами идентифицируются:

• процедуры, связанные с типом по правилам компонентной типизации (имя типа уточнено именем процедуры);

• локальные объекты процедур (имя объекта уточнено именем процедуры).

Эти случаи не определены правилами программирования на базовом языке и вводятся для повышения наглядности описаний.

Вместо точек отделителями имён в структурах этих видов служат двоеточия.

1.1.2.3. Для символического (человекочитаемого) имени может вводиться предметный (машиночитаемый) эквивалент. Он понимается как версия имени в алгоритмически строгой модели знаний, а содержательно – как обозначение места хранения значения, называемого этим именем, у исполнителя алгоритма. Если для разных имён употребляется одинаковый эквивалент, то считается, что соответствующие значения хранятся в одном и том же месте; при этом различие именуемых сущностей и перекрытие их областей действия определяет сочинитель модели.

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

1.1.2.4. В документах РДП-редактора определяются имена сущностей следующим образом. Для каждой сущности вводится два типа имени:

• естественное – пишется на естественном языке (ЕЯ), родном для сочинителя и/или читателя документа. Использует кодовую таблицу для родного языка с соответствующей шрифтовой поддержкой;

• техническое – пишется на языке исходных текстов, поддерживаемом в РДП-редакторе.

Естественное имя по своей прагматике эргономизирует чтение документа носителем того или иного ЕЯ и потому также м.б. определено как эргономическое (кратко – эргоимя); м.б. задано для каждого ЕЯ. Обязательно определение эргоимени для ЕЯ, принятого за основной.

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

Отображаемое в документе эргоимя определяется текущим выбранным языком интерфейса; по умолчанию выбирается основной язык. Имена на неосновных ЕЯ считаются псевдонимами имени на основном; они образуют переменный (от документа к документу) состав псевдонимики.

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

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

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

Для ключевых слов языков исхтекстов (которые фиксированы стандартами языков) заранее вводятся определения техноимён как записи в словарной БД.

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

Правила употребления имён

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

• неформальные (ментал-сущности) – употребимые на информатически неформальных языках;

• информатизованные (инфор-сущности) – употребимые на инфор-языках.

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

Сущности каждого инфор-языка носят [абстрактные ]типы данных, поддерживаемые реализованным в РДП-редакторе стандартом этого языка.

Поддерживаются естественное и техническое имена (и псевдонимы) для каждой сущности согласно п/п 1.1.2.4.

Независимо от степени формальности каждому имени в РДП-редакторе сопоставлено описание в форме конечной структуры [абстрактно ]типизированных данных. Тем самым фактически ментал-сущности в РДП-документе выражены через инфор-сущности - РДП-объекты.

Описание имени подразделяется на базовое (минимальное) и дополнительное (расширенное).

Текстовые ЯПЗ (и текстоэлементы смешанных) подразделяются на «родные» и иноязычные — по ЕЯ, лежащему в основе ЯПЗ. Этот фактор влияет на эргономику представления.

По современным данным, на родном ЕЯ целесообразно записывать имена сущностей предметной области (действий, объектов, субъектов). Структуру сущностей следует выражать иноязычными текстоэлементами (ключевыми словами), т.к. она привносится формализацией языка. Удобно использовать один из языков международного общения (напр., принятых официальными в ООН).

Для России (как и любых неанглоязычных стран) подходит английский язык.

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

1.1.3.2. Организация РДП-документа (состав и взаимосвязи сущностей) определяется как нелинейными, так и линейными представлениями. К первым относятся схемы документа (м.б. представлены и в чисто текстовой форме), ко вторым — перечни-индексы различного рода (оглавление и пр., далее — указатели). Одно представление принимается за базовое и определяет формат описания документа (состав и структуру содержания его файлов). Логическая единица содержания (здесь кратко называемая докэлементом) может отличаться от логической единицы организации РДП-документа (оргэлемента).

За оргэлемент предлагается принять вершину граф-схемы РДП-документа.

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

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

Указатели ведутся как таблицы-индексы, формат которых предопределён стандартом РДП-документа. Состав указателей должен соответствовать принятому делению сущностей на виды; предлагаемое деление приводится далее в этом пункте.

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

К собираемым вершинам относятся: заголовки лист-силуэтов, имена строк, жёсткие поля. Их номера соответствуют стандартной делопроизводственной иерархии докэлементов: раздел-подраздел-пункт.

Внесхемная вершина как докэлемент может считаться подразделом, если считать разделом лист, на котором она находится.

Схема или внесхемная вершина принадлежит конкретному листу документа.

Сказанное отражается в системе индексации сущностей. Первое основание в индексе вершины отражается префиксом схемности, второе – доппрефиксом оглавляемости.

Нумерация вершин многоуровневая (для схемных – раздел-строка-вершина; для внесхемных – лист-вершина); нумерация схемных оглавляемых вершин в строке отдельная от неоглавляемых и используется как номер заголовка в оглавлении.

Индексы, атрибуты документа как целого, иные метаданные располагаются в заголовочном разделе документа (далее называется титулом). Часть или всё содержание титула м.б. видимой для пользователя. Параметры представления видимого пользователю содержания титула могут настраиваться в РДП-редакторе (для приложения или для отдельного документа; определяется реализацией).

Предметная организация РДП-документа определяет состав массивов данных в основной и во внешней памяти и м.б. п типу зависимой или независимой от платформы.

Реализация РДП-документа рекомендуется (для второго типа - предлагается) в виде БД для платформенно-переносимой СУБД, встроенной в РДП-редактор или интегрируемой с ним. Графит-схема в этом случае м.б. представлена как БД-описание графа позиций ЛС-маршрутов. Сама позиция понимается как место подстановки экземпляра записи из отдельной БД-словаря вершин схем данного вида (выделяемого по графит-языку).

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

При реализации графит-схемы как графа подстановок из словарной БД очевидно, что БД схемы должна хранить прежде всего отношения инцидентности позиций.

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

БД-реализация может охватывать все РДП-документы, ведущиеся на конкретном АРМ; в этом случае целесообразно трактовать сущности как типы, а документы — как схемы вхождения экземпляров этих типов, начиная со схем документов.

В многопользовательском/многоместном исполнении РДП-редактора должен устанавливаться уровень общности БД по пользователям/местам установки.

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

1.1.3.3.Базовые описания инфор-сущностей ведутся как перечень по следующей форме:

Имеется в виду следующие организация и ведение состава сущностей:

1. СловБД представляет собой файл БД в РДП-среде, где реально заполняются данные на каждое имя (более подробные); здесь только отображается часть полей записи, выбранной из СловБД по ссылке<инд-ист-i>; по ней же можно перейти отсюда к записи.

2. Значение <№п/п-i> указывает позицию в перечне имён данного РДП-документа и образует перекрёстную динамическую ссылку с тем вхождением имени, от которого последний раз перешли сюда. Остальные вхождения этого имени в тексте/схемах документа выбираются по команде. Показана реализация выбора через выпадающий список ссылок (на другие вхождения) по команде, отдаваемой щелчком на управителе (помещаемом в то же поле при наличии других вхождений).

3. Определение имени даётся для читателей и вкратце раскрывает его смысл. Дата последнего обновления строки фиксируется в поле «Дата опр.».

4. Язык отображения таблицы выбирается по текущему установленному. Для каждого из полей «Эргоимя» и «Описание» можно выбрать (независимо) другой ЕЯ из поддерживаемых специальной командой. Показана реализация выбора через выпадающий (из поля заголовка столбца) список языков для выбора; команда отдаётся щелчком на управителе (присутствует, если есть другие языки данного рода). Т.о., текущий ЕЯ меняется выбором языка интерфейса (для всего РДП-редактора) или только языка столбца (по отдельной команде РДП-редактора).

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

1.1.3.4. Указатели инфор-сущностей ведутся как таблицы-индексы по следующим формам:

• Полная — со всеми возможностями управления:

  Маска сборки <РДП>		<показ-внесх><№ЛС/Листа'.'>[№Строки'.'][№Поля'.'][№Субполя]
  Эргоимя <русский>	Техноимя <ТФРД>		Определение <русский>	Вхождение <текущий>
  <имя-типа-РДП-об>	<внутр-имя-РДП-об>		<назв-схемного-РДП-об>	<№-листа>
  <имя-типа-РДП-об>	<внутр-имя-РДП-об>		<назв-внесхемного-РДП-об>	<№-листа>

• Сокращённая — с ограниченными возможностями управления:

Трактовку содержания описаний см. в примечаниях ниже.

Правила применения:

1. Эргоимя категорирует оглавляемый объект по усмотрению сочинителя; добавляется перед индексом. Автоматически распространяется на все позиции или на указанные.

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

2. По ссылке <№-листа> можно вернуться на вхождение имени в текущем документе (уникальное для оглавляемых объектов).

3. Определение называет РДП-объект (ЛС-вершину или её текстовый/иной оргэлемент) на текущем языке интерфейса.

4. Техноимя составляется из индекса РДП-объекта и его типа (по ЛС-алфавиту или ТФРД-стандарту для логчастей ЛС-вершин). Называет переменную-хранитель содержания объекта (ТФРД-структуры данных); её значение м.б. использовано в ЛС. Также служит ссылкой на допопределение позиции (атрибуты даты/исполнителя редакции и др.) в ДокБД; столбец может не показываться на форме поля совсем или частично (зависит от настройки показа сочинителем).

5. Маска задаёт формат отображения ТФРД-техноимени в РДП-документе (как номера позиции); элементы маскируются (исключаются из показа) только справа налево; №п/п есть автоматический номер оргэлемента по порядку вхождения на низшем немаскированном уровне.

Состав внесхемных РДП-объектов отражается в дополнительной части оглавления (собирается при установке <показ-внесх> сочинителем).

При реализации м.б. определена отдельная маска для символ-сборки (текстобазированной).

Правила формирования:

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

2. Каждый объект имеет уникальный РДП-индекс и потому при прочем одинаковом с другими содержании считается уникальным. Индекс автоматически преобразуется в обратную ссылку на элемент вхождения в указатель.

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

Собранные указатели отображаются в тезаурусе титула РДП-документа частично (только столбцы, имеющие смысл для человека).

1.1.3.5. Основными видами инфор-сущностей считаются:

• Вершины (объекты организации РДП-документа) – имеют эргоименем заголовок, техноименем – ключевое слово на языке исхтекста; определение является комментарием. Номер по порядку даётся по системе индексации вершин (для каждого вхождения в документ); таблица-указатель собирается автоматически в титуле РДП-документа (п. Оглавление п/р Тезаурус). Позиции в указателе сортируются по номерам.

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

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

Документ в целом также задан схемой организации сущностей. В частности, в РВ-концепции схема документа определена как АСД-граф; это м.б. использовано и для РДП-документа.

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

Вершина определяется её содержанием и атрибутами. То и другое хранится как параметры в составе записи о вершине.

По содержанию вершины подразделяются на простые и сложные. К сложному типу вершин относятся:

• графит-вершины Область (входящая, вынесенная или автономная по определению в п/п 4.1.12.2);

Автономные области могут храниться в областной БД (каталоге), откуда включаться в тот или иной РДП-документ.

• графит-вершины Жёсткое поле ЛС-языка , а также вершины Комментарий в схемах на других графит-языках.

К простому типу относятся:

• графит-объекты, не трактуемые как вершины схем (сведены в ряд обобщённых графит-языков);

• все прочие вершины схем любых графит-языков.

Невершинные графит-объекты, в отличие от вершин, располагаются на диосцене (РДП-листе) произвольно по площади.

Основным отличием между типами вершин является их содержание:

• для простых — информатизованный текст, синтаксис которого фиксирован и задаётся в стандарте графит-языка, алфавитным знаком которого вершина является;

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

Содержание простой вершины представляет конечная (не превышающая предельной длины) последовательность цепочек литер и полей имён; их порядок задан определением синтаксиса. Такая структура понимается как основной текст вершины.

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

Состав логических частей содержания сложной вершины и их последовательность (логический порядок) определяет сочинитель. Логические части индексируются в пределах вершины. Логическая часть есть докэлемент, выделенный (сочинителем) внутри вершины. Заголовок части м.б. пустым.

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

Только текстовое содержание должно физически упорядочиваться путём выключки (см. выше).

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

На выбранный фрагмент содержания (участок текста/изображение/вершину в тексте/ячейке таблицы, таблицу/ячейку целиком) сочинителем м.б. установлена закладка (метка цели ссылки).

Предлагается закладки индексировать по объектам; при этом индексы докэлементов также трактуются как закладки, т.е. устанавливать на них закладки вручную нет необходимости. Выбранный участок текста должен включать поля имени в начале и/или конце целиком.

От выбранного сочинителем фрагмента м.б. наведена гиперссылка (на объект или закладку внутри объекта).

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

Для вершин любого содержания определены следующие атрибуты:

• индекса вершины;

• статуса видимости вне режима сочинения документа (видима/нет);

• вхождения в символ-сборку (м.б. определён для нескольких сборок с раздельной установкой);

• количественных оценок (набор зависит от вида схемы и метода оценки).

Индекс назначается автоматически РДП-редактором по системе нумерации вершин и схем; остальные атрибуты устанавливаются сочинителем.

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

Символ-сборка представляет собой человекочитаемый документ, в который входит содержание вершин в порядке индексации из числа выбранных для вхождения в данную сборку.

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

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

Для внесхемных вершин, вершин схемы лист-диалекта и вершин-заголовков других графит-схем определены атрибуты:

• статуса сочинения (черновой/рабочий/автоматический);

• вида графит-языка схемы;

Атрибуты статуса устанавливаются независимо; для схем других языков устанавливается статус заголовка схемы, распространяемый на всю схему.

Для вершины Область определены атрибуты:

• Безусловной графит-сборки — вхождения в графит-схему как варианта (основная/нет; опция, устанавливаемая пользователем).

• Индексации вхождения (индекс для каждой группы вхождения в графит-схемы; для автономных вершин имеет особый формат).

• Условной графит-сборки (логвыражение, при истинности которого вершина становится основной в отмену атрибута вхождения).

Атрибуты графит-сборки неактуальны для автономных вершин Область.

Атрибуты описаны в п/п 4.1.12.2. Перечни и определения атрибутов вершин м.б. уточнены.

Разновидностями инфор-сущностей считаются:

• Докэлементы содержания (озаглавленные части, включающие текст и/или таблицы и/или рисунки) – имеют эргоименем заголовок, техноименем – имя РДП-переменной, хранящей описание текста; Указатель собирается автоматически в титуле РДП-документа (п. Оглавление п/р Тезаурус). Номер п/п даётся по нумерации заголовков (продолжает нумерацию вершин, считающихся пунктами); позиции элементов в указателе сортируются по номерам.

• Таблицы РДП-документа – имеют эргоименем заголовок, техноименем – имя РДП-переменной, хранящей описание таблицы; ячейки координатно индексируются (номерами п/п строк и столбцов). Указатель таблиц документа собирается автоматически в титуле РДП-документа (п. Иллюстрации и таблицы п/р Тезаурус). Номер таблицы п/п даётся по табличной нумерации (стандартной; может включать номер раздела); позиции таблиц в указателе сортируются по номерам.

• Схемы и внешние изображения РДП-документа (в общем называемые рисунками) – имеют эргоименем подрисуночную подпись, техноименем – имя РДП-переменной, хранящей описание схемы (ссылку на изображение); таблица-указатель собирается автоматически в титуле РДП-документа (п. Иллюстрации и таблицы п/р Тезаурус). Номер рисунка п/п даётся по нумерации иллюстраций (стандартной; может включать номер раздела); позиции рисунков в индексе сортируются по номерам.

Подпункты м.б. введены как в схемных, так и во внесхемных жёстких полях (в последних считаются пунктами).

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

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

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

Сокращённая форма описания рекомендуется для описания таблиц и изображений РДП-документа.

1.1.3.6. Основными видами неформальных РДП-сущностей считаются:

• Вершина (на неформальном графит-языке) — определяется так же, как вершина на инфор-языке; отличие в том, что синтаксис содержания вершины не фиксирован — сочинитель может вводить любую конечную (не превышающую предельной длины) последовательность цепочек литер и/или полей имён (с возможностью закладок и гиперссылок на фрагмент последовательности, включающий поля имени в начале и/или конце целиком);

• Термин (текстовый) – имеет эргоименем текст (выбранный сочинителем для включения в словарь), техноимя не определяется (зависит от реализации); определение заполняется сочинителем. Таблица-словарь терминов собирается автоматически в индексе РДП-документа (п. Именной указатель п/р Тезаурус). Позиции в таблице сортируются по алфавиту (отдельно для текстов в разных кодовых таблицах).

• Источник для ссылок в тексте – имеет эргоименем краткое заглавие, техноименем – имя РДП-переменной, хранящей описание таблицы (или номер для ссылок); определением служит полное заглавие. Таблица-перечень источников собирается автоматически в индексе РДП-документа (п. Документы для ссылок п/р Тезаурус). Позиции в таблице сортируются по алфавиту авторов (отдельно для написаний в разных кодовых таблицах); номер для ссылок одновременно является номером по порядку (по мере добавления источников в документ таблица пересортируется и нумерация обновляется).

Совокупность терминов, указанных сочинителем для РДП-документа, образует его словарь. В отличие от инфор-имён, термины входят в документ произвольно; поэтому словарь терминов логически отделён от словаря инфор-сущностей (хотя они могут вестись в единой словарной БД).

Из сказанного видно, что словарь текста можно использовать одновременно и как предметный указатель РДП-документа.

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

Перечень источников в РДП-документе ведётся по следующей форме:

Примечания:

1. Биббаза представляет собой файл БД в РДП-среде, где реально заполняются данные на каждый источник (более подробные); здесь только отображается часть полей записи, выбранной из биббазы по ссылке<инд-ист-i>; по ней же можно перейти отсюда к записи.

2. Значение <№п/п-i> указывает позицию в перечне источников данного РДП-документа и образует перекрёстную динамическую ссылку с тем вхождением номера для ссылок, от которого последний раз перешли сюда. Остальные вхождения этого источника в тексте/схемах документа представляются как выпадающий список ссылок (используемый для перехода на любое другое вхождение).

Допописание источника, как правило, содержит стандартные реквизиты библиографического описания (карточки документа/издания), не вошедшие в базовое описание. Форма выбирается при реализации РДП-редактора.

Правила обращения с данными на источник аналогичны указанным выше для инфор-сущностей.

Разновидностями неформальных именованных сущностей считаются:

• Имя (текстовое; подразумевается) – имеет эргоименем текст (выбранный сочинителем для включения в словарь), техноимя не определяется (зависит от реализации); определение заполняется сочинителем. Таблица-словарь терминов собирается автоматически в индексе РДП-документа (п. Именной указатель п/р Тезаурус). Позиции в таблице сортируются по алфавиту (отдельно для текстов в разных кодовых таблицах).

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

• Позиции указателя сокращений – имеют эргоименем сокращение текста (определяемое сочинителем), техноимя не определяется (зависит от реализации); определением является текст (выбранный сочинителем для включения в указатель). Таблица-указатель собирается автоматически в индексе РДП-документа (п. Именной указатель п/р Тезаурус); позиции в таблице сортируются по алфавиту (отдельно для текстов в разных кодовых таблицах).

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

Все разновидности неформальных сущностей м.б. специфичны для отдельного РДП-документа; поэтому их перечни ведутся в локальной БД документа.

Понятно, что развёрнутым описанием таблицы является она сама; то же относится и к схеме, изображению; поэтому ссылка на БД для любой из этих сущности указывает на запись её содержания на внутреннем метаязыке документа (ТФРД).

В совокупности все именованные РДП-сущности образуют РДП-тезаурус.

Тезаурус является основным содержанием титула РДП-документа, позволяя сочинителю и читателю обозреть понятийный состав документа.

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

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

В основе формата допописаний инфор-сущностей должен лежать стандарт конкретного инфор-языка, реализуемого в РДП-редакторе.

Возможные предложения по формату, ориентированные на инфор-языки программирования т.н. компонентного типа, даются ниже.

Основным типом инфор-допописания является объявление сущности как алгоритмической величины. Формат объявления м.б. определён как таблица ниже:

Объявление сопоставляет имени инфор-сущности определение её [абстрактного ]типа.

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

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

Однородная структура определяется как массив однотипных элементов:

Неупорядоченное множество необязательно однородных сущностей определяется как запись:

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

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

Основной состав параметров процедуры м.б. определён следующим образом:

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

• логически законченную деятельность (её часть), реализуемую конкретным исполнителем (экземпляром исполнителя);

• множество компонентов деятельности, логически выделенных сочинителем модели.

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

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

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

Модуль м.б. определён следующим образом:

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

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

1.1.3.6. Описания сущностей ведутся (находятся «в динамике») по следующим основным правилам:

ДА. Переход на таблицу базового описания происходит по щелчку на любом вхождении имени.

ДБ. Из любого РДП-документа можно как пополнять словарную (или иную) БД (при создании в документе нового имени; должно автоматически предлагаться РДП-редактором), так и подключать хранимые имена (в состав текстов в жёстких полях и/или в вершинах создаваемых схем).

ДВ. Любая таблица-индекс сущностей в РДП-документе собирается/сортируется автоматически при каждом завершённом обновлении данных к.-л. сущности, входящей в таблицу.

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

Лексика визуальных ЯПЗ (общеязыковые требования)

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

• схемные – входящие в схемы на том или ином языке (как вершины графа);

• внесхемные – логически не связанные ни с какой схемой (трактуемые как одновершинные графы).

Любые схемные вершины могут употребляться вне схем (поодиночке); в этом случае на них распространяются правила для внесхемных объектов.

Алфавитный знак по составу м.б. комплексным – объединяющим (полностью или частично) смысл других знаков данного алфавита; по форме это отражается в совмещении элементов графики и/или текста объединяемых знаков.

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

Вершина (каждая её фигура) по содержанию м.б. типа:

• «только текст» – содержит цепочку литер, форматируемую свободно или по определённым правилам;

• смешанного — содержит текст и/или таблицы и/или встроенную (реализованную в редакторе) графику и/или внешние изображения.

Встроенная графика реализуется как автофигуры – параметризуемые графоэлементы РДП-редактора. Должен поддерживаться набор автофигур, характерный для типичных офисных пакетов, а также все формы автофигур, необходимые для составления алфавитных знаков графит-языков в текущих определениях.

Внешние изображения вставляются в одном из графических форматов.

Вершины «только текст» содержат форматированный текст, включая поля имён, теги формата (стилей абзаца и знака), закладок и/или ссылок. Рекомендуется оформлять поле имени как ссылку на его описание (в словаре РДП-имён).

Как правило, в неинформатизованных языках синтаксис текста нефиксирован. В информатизованном языке синтаксис текста каждой фигуры задан; для описания синтаксиса употребляются РБНФ-выражения (продукции).

Пояснение. В фигуру для простоты помещается только правая часть РБНФ-правила; остальная (начальная) часть очевидным образом всегда читается как «содержание данной фигуры есть по определению...»

NB. РБНФ-правила используются и для определения смешанного содержания.

Определён единственный тип вершин смешанного содержания – Жёсткое поле (жеполь), обладающий следующими свойствами:

• контур – прямоугольный или графика вершины Комментарий техноязыка;

• размеры – произвольные в пределах диосцены (свободного места на ней);

• употребляется в схемах любого рода или вне схем;

• содержание редактируется, как указано в правиле ОЯ-СВ.

В некоторых графит-языках аналогом жеполя служит вершина Комментарий.

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

1.3.1.3. Для различения языков каждому присваивается уникальный код-префикс. Символическая форма префикса – аббревиатура названия языка.

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

• нумерация знаков и макрознаков раздельная, начиная с единицы;

• в индексе комплексного знака перечисляются номера объединяемых знаков через дробь;

• в индексе знака сначала следует префикс, затем номер; для макрознака порядок обратный.

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

NB. Наличие ряда диалектов, расширений логически означает, что лексической единице соответствует ряд правых частей РБНФ-правил определения текстов (смешанного содержания) для каждой вершины (ребра) этой единицы. Условием выбора нужной правой части служит условие (возможно, неформальное) выбора соответствующего языка (диалекта, расширения) сочинителем.

1.3.1.4. В схемах любого рода (т.е. на любом языке из определяемых далее) могут употребляться общеструктурные типы вершин, показанные в п/р 1.2 Приложения 1.

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

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

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

Эти знаки могут пониматься как формальные сокращения элементов и фрагментов на графит-схемах (и вообще нетекстовых элементах содержания). Графит-метод также использует графические сокращения связей, показанные в п/р 1.2 Приложения 1.

Эти знаки применяются для сокращённого представления схем с повторяющимися структурами (элементами, связями), а также для формализованного описания схем как «визуальных текстов».

В графит-схемах, кроме вершин-заместителей, также используются общеструктурные вершины-маршрутизаторы, показанные в п/р 1.2 Приложения 1.

1.3.1.5. Внесхемно (т.е. физически совмещённо, но логически несвязно со схемой любого рода) могут употребляться знаки метода КогниСтиль (т.н. КС-алфавит), перечисленные в п/р 1.2 Приложения 1.

Пояснение. КС-знак Зона трактуется как вершина типа Жёсткое поле; остальные КС-знаки можно реализовать как автофигуры РДП-редактора.

Знаки КогниСтиль могут образовывать конструкции, приведённые в п/р 1.2 Приложения 1.

Пояснение. Конструкции КС-языка не являются схемами, но могут реализовываться как многофигурные внесхемные знаки (иначе сочинитель набирает конструкцию из КС-фигур вручную).

Объекты КС-языка используются для разъяснения смысла диосцены её читателю и организации чтения.

С использованием графит-метода в ряде случаев более наглядно описывается совокупность возможных структур предметной области на базе обобщённого представления.

Пример. Возможно описание вариантности структуры графит-области как взятием в спецзнаки (графические аналоги РБНФ-правил), так и через вершины-описатели (см. ниже):

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

1.3.1.6. Для динамического описания (напр., тех или иных преобразований, техопераций) применяются средства графит-динамизации, определённые в п/р 1.2 Приложения 1.

Эти средства употребляются совместно с основным содержанием, динамика которого описывается.

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

Правила визуальных ЯПЗ (общеязыковые требования)

1.3.2.1. Конкретная интерпретация схем РДП-редактора задаётся текстом вершин (возможно, также текстом рёбер, в т.ч. определяемым посредством метки, связанной с ребром); соответственно РДП-описания представляют собой графит-схемы (от ГРАФика И Текст).

Графит-схемы по области охвата модели м.б. одного из двух видов:

• общие – описывают законченную систему знаний (сущностей некоей модели);

• частные – описывают некую подсистему сущностей, употребляемую необязательно в одной модели.

Назначение частной графит-схемы – вхождение (подстановка) в одну и более общих графит-схем по совпадению имени в заголовке частной схемы с именем схемы в операторе подстановки (Вставка, Гибкое поле), входящем в общую схему. При этом в самой частной схеме возможны подстановки других графит-схем; в этом случае имеет место декомпозиция модели более чем в два уровня.

Назначение общей графит-схемы – оформление системы знаний одного рода (на одном языке) под именем модели. Общая схема, содержащая только операторы подстановки, является концептуальной. Общая схема, содержащая также описания типов, является концептуализированной. Подстановки задают композицию ряда общих и/или частных графит-схем (через операторы подстановки).

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

Графит-описание в общем случае м.б. выполнено как совмещённым способом – в виде единой графит-схемы (без подстановок), так и разнесённым способом (в виде графит-модели, содержащей общую и частные схемы).

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

Формализация потенциально неопределённой предметной области возможна путём определения на модели альтернатив для сочинителя (из которых оперативно формируется конкретная модель для определённой предметной ситуации), а для применимых (т.н. исполнимых) моделей – также и альтернатив для исполнителя (из которых он при применении выбирает сообразную воспринимаемой модельной обстановке).

Альтернативы для исполнителя определяются операторами выбора подструктур на структуре модели по условиям от параметров модели. Альтернативы для сочинителя определяются заданием возможных подмоделей и условий их вхождения в структуру модели.

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

Графит-схемы по способу определения альтернатив бывают одного из двух родов:

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

• условные – описывают обобщённое множество (в т.ч. потенциально возможное по правилам языка моделирования) для учебных и/или научных целей.

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

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

В условных графит-схемах альтернативы сочинения м.б. заданы через ОС-условия (вершины ОС10...12).

В реальной графит-схеме множественное вхождение типов (подсхем) возможно только по И; в условной схеме – по любым видам (заменяется на диспозитивно-областное при переходе к реальной).

1.3.2.2. Любые схемы организованы (находятся «в статике») по следующим правилам:

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

Наиболее общей диосценой является лист РДП-документа (далее – РДП-лист). Формат РДП-листа выбирается из ряда A<n> по ЕСКД или настраивается сочинителем. Символические единицы пространственного измерения для листа – метрические (десятично-дробные).

NB. Формат РДП-документа д.б. человекочитаемым; поэтому предполагается, что для описания схем каждого языка и их взаимосвязей (физических и логических), а также внесхемных вершин вводится текстовый метаязык, стандарт которого далее называется ТФРД. ТФРД-текст составляет целевое содержание файла РДП-документа.

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

Для удобства ручного редактирования ТФРД-текста пространственные данные должны храниться в метрических единицах; чтобы избежать общего их пересчёта при обновлении открытого документа, целесообразно пересчитывать каждое значение сразу при его обновлении, сохраняя пиксельный вариант отдельно (возможно, только в ОП, т.е. для открытого документа).

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

• внесхемные вершины, свободно размещаемые по листу;

• схема лист-диалекта инфор-синт-языка, вписанная в рабочую область листа (см. п. 5.2.4).

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

Вершины и рёбра схемы являются её элементами как графического объекта.

NB. ТФРД-описание внесхемной вершины, очевидно, должно отличаться от схемной лишь атрибутом вхождения вершины в схему (инцидентности); у внесхемной атрибут должен иметь значение «неинцидентна никакой схеме», у схемной – указывать индекс включающей схемы и позицию в ней (определяемую по некоторому правилу, общему для данного класса топологии).

СБ. Вершина состоит из одной или нескольких фигур – замкнутых контуров, заполняемых содержанием; условный прямоугольник, описанный около фигуры, определяет её габарит. Условный прямоугольник, отведённый внутри фигуры для содержания, называется рабочей областью; размеры и положение этой области относительно контура фигуры настраиваются величинами отступов от габарита (сверху, снизу, слева, справа – дробными со знаком).

При реализации множество фигур, составляющих вершины, может входить и во множество внесхемных автофигур; при этом алгоритмы построения/редактирования унифицированы.

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

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

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

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

Только текст оформляется как в типичном процессоре инфордокументов; для схемных вершин м.б. заданы единые правила форматирования элементов в зависимости от синтаксического типа (т.н. «подсветки синтаксиса»).

Наряду с содержанием, индексом, комментарием и атрибутами отображения, для любой вершины также определены атрибуты в соответствии с форматом описания из п. 1.1.3.

СГ. Внесхемные вершины располагаются на диосцене произвольно по площади, а в глубину — по подуровням надсхемного и подсхемного слоёв РДП-листа.

Все схемы на листе по глубине относятся к определённому слою (далее называется «схемный»); разные схемы не могут совмещаться по габаритам (исключение составляет размещение схемы внутри жёсткого поля другой схемы по ОЯ-правилу СА).

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

Отдельным слоем считается фон диосцены. В качестве объектов фона д.б. доступны внешние изображения, а также стандартные рамка и штамп листа (страницы РДП-документа) по ЕСКД (для графических КД) и по ЕСТД (для документации техпроцесса) с возможностью смены сочинителем независимо по каждому листу и заполнения отдельных ячеек штампа по контексту (при вставке поля автотекста).

Каждый слой имеет подуровни глубины (кроме, возможно, схемного); выделенные объекты можно перемещать по подуровням в пределах слоя стандартными командами расположения, а переносить между слоями – вырезанием/вставкой.

СД. Схемы любого языка по топологии относятся к одному из двух классов:

• иерархические – имеют древовидную структуру (иерархические связи вершин), как правило, N-арную;

• многосвязные – имеют сетевую структуру (произвольные связи вершин).

Многосвязные схемы маршрутного класса (т.е. такие, что отношения, выраженные их связями, однородны и однонаправлены, и любую совокупность отношений можно представить как путь от входа – единственного или одного из конечного числа – либо к единственному выходу, возможно, с конечным числом контуров, проходимых конечное число раз, либо – при отсутствии выхода – как контур, замыкаемый на вход в точке безусловного «зацикливания» или, возможно, в одной из конечного числа точек условного «зацикливания» маршрутов) м.б. организованы по правилам базис-метода, которые приведены в п/р 1.4 данного приложения.

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

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

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

СЕ. Общеязыковой оператор Область организован (находится «в статике») следующим образом:

Графит-область считается схемным объектом и редактируется (находится «в динамике») посредством ряда операций (команд РДП-редактора), выполняемых, как указано в графит-методе.

Операции редактирования содержания графит-области определяются правилами языка, а также следующими:

• Можно создать вход/выход области как туннелированный внешне (через границу области) и/или внутренне.

• Можно присоединить к области любую внешнюю вертикаль как вход или как выход; при этом создаётся трансграничное звено этой вертикали, терминированное внутренним туннелем.

• Можно создать внутри области неприсоединённый туннель.

• Можно пересадить вертикаль (сверху или снизу) на границу области (с созданием трансграничного звена, терминированного внешним туннелем) либо на внутренний туннель.

• Можно выбрать неприсоединённый туннель за начало или конец вертикали.

Тем самым сочинитель имеет возможность строить внутри области изолированные полностью или частично от её входов/выходов подсхемы. Снятие изоляции означает частичную разрешённость области; полная разрешённость означает включённость всех входов/выходов области в схему в данном вхождении.

В зависимости от степени формальности языка схемы (см. выше) оператор Область употребляется различным образом, а именно:

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

• в схеме на формальном языке область может охватывать только одну вершину.

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

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

Расположение элементов в схемном слое подчиняется следующим условиям:

• высота узлов (вершин) и длина линий (звеньев вертикалей) устанавливается в единицах-шагах привязки по вертикали (ВШП); величину ВШП метрически задаёт оператор для данного листа, причём в редакторе заложен минимально допустимый шаг;

NB. Можно принять за ВШП длину полузвена вертикали (от точки ввода/излома до любой из вершин).

• ширина виопов устанавливается так же, горизонтальный шаг привязки (ГШП) задаётся отдельно;

• линии схем проходят по условным линиям сетки, заданной на диосцене привязкой (начало сетки, допустим, в левом верхнем углу рабочей области);

• "ритмическая полоса" вертикали – прямоугольник с отступом в один шаг привязки от габарита наиболее выпирающ<его|их> в каждую сторону объект<а|ов>;

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

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

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

1.3.2.3. Любые схемы строятся (находятся «в динамике») по следующим правилам:

ДА. Графит-схемы м.б. построены по правилам графит-метода, которые приведены в п/р 1.4 данного приложения .

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

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

ДБ. К объектам РДП-документа применимы обычные операции «редактирования по выделению» с участием «кармана»: копирование, вырезание, вставка. В качестве «кармана» по выбору разработчика может использоваться буфер обмена ОС платформы РДП-редактора (с обеспечением вставки РДП-выделения в инфордокументы открытых офисных пакетов) или внутренний «карман» самого приложения; предпочтительнее первый вариант.

Также РДП-редактор должен допускать вставку внешних изображений из буфера обмена в жёсткое поле (как схемное, так и внесхемное) на правах графического объекта (рисунка).

В качестве выделения для маршрут-схем допускается только сепулька-блок (любой сложности). РДП-редактор должен автоматически проверять, удовлетворяет ли текущее выделение в схеме этому условию, и либо отвергать ввод, либо динамически «приводить» выделение к сепулька-блоку (ближайшему меньшему/большему относительно выделения).

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

При удалении «по выделению» д.б. предоставлен выбор — удалять выделенный фрагмент безвозвратно либо преобразовать в графит-область (автономную).

Выделенный фрагмент д.б. сепулька-блоком.

ДВ. Для целей компоновки содержания под твёрдую копию площадь РДП-листа считается составленной из дольных ячеек того же ряда форматов, из которого выбирается формат листа; число ячеек выбирается оператором из ряда степеней двойки (неотрицательных; сверху ограничивается минимальным получаемым форматом ячейки – предполагается, что А4|A4L). При этом:

• при числе ячеек более одной ячейки располагаются согласно схеме раскладки по ГОСТ ЕСКД "Форматы и основная надпись". При этом внутри листа образуются рабочие подобласти, разделённые внутренними полями; их границы показываются оператору обычным образом (в тонких блёклых линиях; при нулевом внутреннем поле соответствующие линии подобластей соседних ячеек сливаются в одну);

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

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

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

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

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

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

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

ДГ. Диосцена в РДП-редакторе изображается в масштабе, изменяемом по отношению к размерам (метрическим). Текущий масштаб выбирается оператором плавно и/или из дискретного ряда; в последнем случае ряд должен проходить через значение 100% (в натуральную величину).

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

Диосцена может становиться «окном прокрутки» по содержанию, превышающему её формат – временно (до приведения схемы к формату и/или выбора масштаба, при котором содержание умещается на диосцене целиком) или постоянно (если приведение невозможно или нецелесообразно); то же реализуется для жёсткого поля.

ДД. Если схема в процессе построения превышает формат диосцены, сочинитель устраняет несоответствие одним из следующих способов:

• выбирает больший формат;

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

При перекомпоновке сочинитель может:

• выбрать меньший кегль шрифта текста для отдельных вершин или к.-л. схем;

• изменить размеры/положение схемы;

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

В РДП-редакторе д.б. реализовано автоматическое перечерчивание схем по мере изменения.

ДЕ. Текст вершины (фигуры) в процессе ввода «выключается» (автоматически) по ширине её рабочей области; другому содержимому вершины смешанного типа ограничения не устанавливаются;.

ДЖ. Габаритную ширину и высоту вершины выбирает (настраивает) сочинитель независимо от результатов редактирования её содержимого. Размер вершины подгоняется под содержимое, которое не укладывается по габаритам в её рабочей области, вручную.

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

Пояснение. Применение последнего ограничения в процессе редактирования с увеличением занимаемой площади элементов схемы (напр., при вводе текста в вершины) в общем случае может порождать исключительную ситуацию исполнения РДП-редактора вида «невозможно принять ввод из-за перекрытия вершин». Чтобы избежать эргономически неоправданного решения этой проблемы, в ОЯ-правиле ДЖ и принято, что подгонка размеров ручная и независимая от редактирования.

ДЗ. Внесхемные графоэлементы (вершины, дуги) при редактировании допускается перемещать по плоскости свободно в пределах рабочей области РДП-листа (раскладочной ячейки).

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

• изменение любого из ШП вызывает перечерчивание диосцены; изменение ГШП влияет также на ширину строк текста виопов и потому перед перечерчиванием текст перевыключается и под результаты подгоняются высоты полей виопов;

• по направлению марша выделение (вершина, марш/трасса, сложный базис-блок) двигается шагами; при этом выделение как бы ходит поверх марша между соседними виопами.

Пояснение. Клавишами стрелок выделение перемещается на шаг за нажатие, при буксировке мышью – на ближайшее к фактическому смещению курсора число шагов; новое положение показывается "контурным двойником" выделения.

• ортогонально маршу двигаем выделение также пошагово (пределы – совмещение оси связей с правой/левой границей прямоугольного поля, которое есть в каждой многофигурной вершине); когда выделение соприкоснётся с "ритмической полосой" в направлении движения, а двигать ещё есть куда – каждый следующий шаг вызывает "отталкивание" всех маршей схемы, лежащих по направлению движения (и удлинение линий межтрассовой связи, идущих в другую часть схемы);

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

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

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

• линии петель контуров (циклов) однозвенные и потому их длина просто изменяется;

• для остальных линий надо решить – как распределить удлинение по звеньям (их минимум два, а в общем случае – и больше)? Типов решений два:

• удлинять пропорционально все затрагиваемые звенья. В любом случае нарушает условие кратности длин шагу привязки и потому не годится;

• удлинять только одно звено, надо выбрать – какое? Для вертикали, содержащей перемещаемую вершину, разумно выбрать ближайшее к этой вершине (т.е. лежащее с той стороны, откуда двигаем). Для остальных можно выбирать одно из крайних либо какое-то из остальных. Второе неудобно непредсказуемостью для оператора и потому не рассматривается. Из крайних можно удлинять также звено с конца, лежащего не в направлении движения.

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

Для графит-схем и содержания невходящих графит-областей определены следующие дополнительные представления:

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

• выводом содержания в отдельном окне (закреплённом или буксируемом);

• представлением в графит-примечании (выноске, «хинте») от блока.

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

Раскладка — представление схемы (области) с изменённым относительно заданного правилами графит-метода расположением вершин.

В целях эргономизации содержание вершин делится на основное и дополнительное. По умолчанию отображается только первое. Допсодержание м.б. отображено одним из способов:

• выводом атрибутов в отдельном окне спецификации (закреплённом или буксируемом);

• представлением в графит-примечании (выноске, «хинте») от блока.

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

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

Copyright © Жаринов В.Н.