Редактор инфоресурсов

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

Глоссарий

Активное понятие

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

Содержание понятия

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

Текущее понятие

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

Информация и метаинформация

Навигация по информационному ресурсу

Активация понятия

• Предусловия:
  1. выбранное понятие принадлежит множеству неактивных понятий и является прямым потомком некоторого понятия, принадлежащего множеству активных понятий.
• Постусловия:
  1. изменяется визуальное представление понятия;
  2. отображается множество доступных операций, которые можно выполнить с данным понятием и/или ведущим к нему отношением;
  3. для нетерминальных понятий также:
     1. отображается множество прямых потомков выбранного понятия, их понятия-прототипы из метаинформации, а также спецификаторы отношений, которыми приямые потомки с ним связаны (спецификаторы отношений отображаются только при редактировании/просмотре метаинформации; понятия-прототипы отображаются только при редактировании/просмотре информации)
     2. отображается множество доступных порождений новых отношений выбранного понятия с новыми понятиями-потомками или с уже существующими в некоторых информационных ресурсах понятиями (создание ссылок):
        • в информации — на основе прототипов отношений и понятий из метаинформации;
        • в метаинформации — с использованием конструктивных элементов Языка ИРУО (описать множество и описать множество альтернатив).

Деактивация понятия

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

Просмотр комментария (активного или неактивного) понятия

• Предусловия:
  1. задано значение атрибута комментарий.
• Постусловия:
  1. отображается комментарий для понятия при наведении указателя на имя/значение соответствующего понятия.

Возврат к предыдущему состоянию

• Предусловия:
  1. выбор некоторого состояния из списка состояний, который доступен, если количество состояний больше 1.
• Постусловия:
  1. из списка состояний удаляются все состояния, добавленные в него после выбранного;
  2. отображается выбранное состояние, позволяющее редактировать/просматривать семантическую сеть, корневым понятием которой является текущее понятие, соответствующее выбранному состоянию.

Операции над активным понятием

Редактирование значений атрибутов понятия

• Изменение комментария понятия.

Нетерминал

• Изменение имени понятия.
  • Предусловия:
    1. понятие не является понятием-источником сети;
    2. при редактировании информации спецификатор отношения, входящего в понятие-прототип данного понятия в метаинформации, не принадлежит множеству {"копия"("="), ["копия"]("[=]")}.

Терминал-сорт

1. Изменение имени понятия.
   • Предусловия:
     1. понятие принадлежит множеству понятий семантической сети, представляющей метаинформацию.
2. Изменение сорта понятия.
   • Предусловия:
     1. понятие принадлежит множеству понятий семантической сети, представляющей метаинформацию;
     2. новый сорт является одним из базовых сортов языка ИРУО.

Терминал-значение

• Изменение значения понятия.
  • Предусловия:
    1. • понятие принадлежит множеству понятий семантической сети, представляющей метаинформацию или
       • понятие принадлежит множеству понятий семантической сети, представляющей информацию, но его понятием-прототипом в метаинформации является терминальное понятие, описывающее сорт;
    2. новое значение имеет тот же сорт, что и предыдущее.

Удаление отношения к понятию

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

Выбор понятия в качестве текущего

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

Генерация содержания активного понятия

Генерация в метаинформации (с использованием конструктивных элементов Языка ИРУО)

Создание нетерминального понятия

• Предусловия:
  1. имя понятия не является пустой строкой;
  2. спецификатор отношения принадлежит множеству {"копия"(=), "[копия]"([=]), "в точности один"(!), "[в точности один]"([!]), "непустое множество"(+), "[непустое множество]"([+]), "прокси"(~)}.
• Постусловия:
  1. создается новое нетерминальное понятие с заданным именем и комментарием (возможно пустым);
  2. создается отношение от активного понятия к новому с заданным спецификатором;
  3. аналогично Постусловию 3 раздела Активация понятия отображается множество прямых потомков активного понятия, к которому добавлено вновь созданное понятие;
  4. аналогично Постусловию 3 раздела Активация понятия отображается множество доступных порождений содержания активного понятия; при этом остается возможность порождения только на основе того конструктивного элемента Языка ИРУО, который был использован для порождения данного понятия (т.е., если использовался элемент описать множество, то исключается возможность использовать для порождения элемент описать множество альтернатив и наоборот).

Создание терминального понятия, описывающего сорт

• Предусловия:
  1. имя понятия не является пустой строкой;
  2. сорт является одним из базовых сортов языка ИРУО.
  3. спецификатор отношения принадлежит множеству {"в точности один"(!), "[в точности один]"([!]), "непустое множество"(+), "[непустое множество]"([+])}.
• Постусловия:
  1. создается новое терминальное понятие, описывающее сорт, с заданным именем, сортом и комментарием (возможно пустым);
  2. аналогично Постусловиям 2 — 4 раздела Создание нетерминального понятия

Создание терминального понятия, описывающего значение

• Предусловия:
  1. тип значения принадлежит одному из базовых сортов языка ИРУО;
  2. значение понятия не является пустой строкой;
  3. спецификатор отношения принадлежит множеству {"копия"(=), "[копия]"([=])}.
• Постусловия:
  1. создается новое терминальное понятие, описывающее значение, со значением заданного типа и комментарием (возможно пустым);
  2. аналогично Постусловиям 2 — 4 раздела Создание нетерминального понятия.

Создание ссылки на понятие

• Предусловия:
  1. спецификатор отношения принадлежит множеству:
     • {"копия"(=), "[копия]"([=]), "в точности один"(!), "[в точности один]"([!]), "непустое множество"(+), "[непустое множество]"([+]), "прокси"(~)} — при создании ссылки на нетерминальное понятие;
     • {"в точности один"(!), "[в точности один]"([!]), "непустое множество"(+), "[непустое множество]"([+])} — при создании ссылки на терминальное понятие, описывающее сорт;
     • {"копия"(=), "[копия]"([=])} — при создании ссылки на терминальное понятие, описывающее значение.
• Постусловия:
  1. создается отношение от активного понятия к понятию, выбранному для ссылки, с заданным спецификатором;
  2. аналогично Постусловию 3 раздела Активация понятия отображается множество прямых потомков активного понятия, к которому добавлено понятие, на которое сделана ссылка;
  3. аналогично Постусловию 4 раздела Создание нетерминального понятия.

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

Генерация в объектной информации (на основе прототипов отношений и понятий из метаинформации)

Порождение нетерминального понятия

1. В соответствии с правилом порождения 1.
   • Предусловия:
     1. совпадает с антецедентом правила порождения 1.
   • Постусловия:
     1. создается новое нетерминальное понятие с таким же именем, как у понятия в метаинформации, и заданным комментарием (возможно пустым);
     2. создается отношение от активного понятия к новому;
     3. аналогично Постусловию 3 раздела Активация понятия отображается множество прямых потомков активного понятия, к которому добавлено вновь созданное понятие;
     4. аналогично Постусловию 3 раздела Активация понятия отображается множество доступных порождений содержания активного понятия; при этом из этого множества исключается использованное для порождения отношение-прототип.
2. В соответствии с правилом порождения 2.
   • Предусловия:
     1. совпадает с антецедентом правила порождения 2;
     2. имя понятия не является пустой строкой.
   • Постусловия:
     1. создается новое нетерминальное понятие с заданным именем и комментарием (возможно пустым);
     2. аналогично Постусловиям 2 — 4 для правила порождения 1.
3. В соответствии с правилом порождения 3.
   • Предусловия:
     1. совпадает с антецедентом правила порождения 3;
     2. имя понятия не является пустой строкой.
   • Постусловия:
     1. создается новое нетерминальное понятие с заданным именем и комментарием (возможно пустым);
     2. аналогично Постусловиям 2 — 4 для правила порождения 1, за исключением того, что из множества доступных порождений не исключается использованное для порождения отношение-прототип.

Порождение терминального понятия, описывающего сорт

1. В соответствии с правилом порождения 4.
   • Предусловия:
     1. совпадает с антецедентом правила порождения 4;
     2. значение понятия не является пустой строкой и принадлежит сорту, определяемому понятием-прототипом.
   • Постусловия:
     1. создается новое терминальное понятие, описывающее значение, с заданным значением и комментарием (возможно пустым);
     2. аналогично Постусловиям 2 — 4 для правила порождения 1 раздела Порождение нетерминального понятия.
2. В соответствии с правилом порождения 5.
   • Предусловия:
     1. аналогичны предусловиям для правила порождения 4;
   • Постусловия:
     1. создается новое терминальное понятие, описывающее значение, с заданным значением и комментарием (возможно пустым);
     2. аналогично Постусловиям 2 — 4 для правила порождения 1 раздела Порождение нетерминального понятия, за исключением того, что из множества доступных порождений не исключается использованное для порождения отношение-прототип.

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

1. В соответствии с правилом порождения 6.
   • Предусловия:
     1. совпадает с антецедентом правила порождения 6.
   • Постусловия:
     1. создается новое терминальное понятие, описывающее значение, с таким же значением, как у понятия в метаинформации, и заданным комментарием (возможно пустым);
     2. аналогично Постусловиям 2 — 4 для правила порождения 1 раздела Порождение нетерминального понятия.

Порождение ссылки на понятие

• Предусловия:
  1. отношение-прототип в метаинформации, на основе которого должна быть порождена ссылка в объектной информации, является ссылкой или его спецификатор не принадлежит множеству {"копия"(=), "[копия]"([=])};
  2. конечное понятие отношения-прототипа в метаинформации, на основе которого должна быть порождена ссылка в объектной информации, совпадает понятием-прототипом понятия, на которое делается ссылка или понятие-прототип понятия, на которое делается ссылка совпадает с понятием-аксиомой Языка ИРУО.
• Постусловия:
  1. создается отношение от активного понятия к понятию, выбранному для ссылки;
  2. аналогично Постусловию 3 раздела Активация понятия отображается множество прямых потомков активного понятия, к которому добавлено понятие, на которое сделана ссылка;
  3. аналогично Постусловию 3 раздела Активация понятия отображается множество доступных порождений содержания активного понятия; при этом из этого множества исключается использованное для порождения отношение-прототип, если его спецификатор не принадлежит множеству {"непустое множество"(+), "[непустое множество]"([+])}.