Визуальный язык ДРАКОН

Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность

Инструменты пользователя

Инструменты сайта


ocenka_texnojazyka_i_shampur-metoda

Различия

Здесь показаны различия между двумя версиями данной страницы.

Ссылка на это сравнение

Предыдущая версия справа и слева Предыдущая версия
Следующая версия
Предыдущая версия
Следующая версия Следующая версия справа и слева
ocenka_texnojazyka_i_shampur-metoda [2012/04/05 11:34]
Владислав Жаринов [Отступление: формализация и языки представления знаний]
ocenka_texnojazyka_i_shampur-metoda [2012/04/05 11:45]
Владислав Жаринов [Содержание]
Строка 156: Строка 156:
  
 Таков пролог нашей истории... :) Таков пролог нашей истории... :)
-====== Содержание ====== +
-Следующие разделы размещены на отдельных страницах;​ дальше идёт только их перечень со ссылками.+
 ===== Вершины и линии схем: смысл — в ГРАФике И Тексте ===== ===== Вершины и линии схем: смысл — в ГРАФике И Тексте =====
-[[http://drakon.su/​ocenka_texnojazyka_i_shampur-metoda/Серия_1|Серия ​1]]+По идее когнитивной формализации знаний,​ в ШМ графика должна прежде всего удобно вмещать текст (и/или таблицы,​ если они допустимы как содержание вершины некоторого типа)Поэтому из БС-графики заимствуются только такие формы икон и их частей,​ которые и наглядны сами по себе, и удобно и экономично вмещают текст. 
 + 
 +Как следствие,​ по сравнению с блок-схемами некоторые формы блоков получают новые значения (к примеру,​ форма-трапеция – как основа хронизаторов реального времени),​ а другие (скажем,​ ромб) не используются. 
 + 
 +В то же время композиция многофигурных вершин м.б. более стройной,​ если ввести общие законы их построения. Возможны следующие:​ 
 +вертикалей окружения — вводятся условные оси, параллельные шампуру схемы и представляющие совокупные потоки управления процессов,​ взаимодействующих с алгоритмическим процессом,​ описываемым схемой;​ 
 +событийного следования — фигуры в вершине и/или части её содержания упорядочиваются по шампуру в порядке исполнения. 
 + 
 +В части первого нужно раздельно представлять процессы того же исполнителя и процессы его внешней среды; поэтому следует ввести оси по обе стороны шампура;​ фигуры,​ представляющие связь с соответствующей категорией процессов,​ для удобства чтения нужно сделать как по форме направленными на ось, так и по положению смещёнными к ней. 
 + 
 +В части второго предшествующие события представляются фигурами,​ расположенными ближе к началу шампура;​ кроме того, можно использовать уровни глубины,​ если допускать частичное перекрытие фигур в вершине. 
 + 
 +Можно видеть,​ что в ШМ принято единственное правило — располагать фигуры вершины «лесенкой» всегда справа налево и направленные формы фигур направо - более простое,​ но менее информативное. 
 + 
 +Также алфавит БС функционально шире, чем в ДРАКОНе. Блок-схемы предназначены для представления содержания всей программы (в смысле расширенного тезиса Вирта). Поэтому,​ кроме подалфавита импер-части (называемой в БС «схема алгоритма»), предусмотрен также подалфавит для деклар-части («схемы данных»). Имеются также средства для представления материальных действий («техпроцессов» по Паронджанову) и структур (актив-части). Однако назначение ДРАКОНа — представлять только императивные знания;​ поэтому остальной алфавит здесь не нужен. 
 + 
 +Важно понимать,​ что графика шампур-схемы представляет лишь часть формализуемого знания о предмете шампур-визуализации. Остальная часть представляется содержанием вершин (и, возможно,​ рёбер). Т.е. за схемой всегда стоит некий целостный язык представления (ЯПЗ), изначально полностью текстовый. Именно на него мы и указываем префиксом. Не принимать во внимание этот язык можно, лишь рассматривая абстрагированные шампур-схемы (литеральные и «слепыши»). Конкретный же графит-язык «гибриден»,​ т.е. образуется «скрещиванием» ЯПЗ с шампур-языком (схем-«слепышей»). При этом часть синтаксиса текстового ЯПЗ представляется графикой вершин и рёбер, а часть — их содержанием (как ещё говорят,​ разметкой графа). Образуется т.н. гибридный язык — который д.б. эквивалентен чисто текстовому. 
 + 
 +Если же мы не указываем ЯПЗ, но считаем,​ что схема конкретная (гибридная) — это лишь значит,​ что мы принимаем для содержания её рёбер и/или вершин синтаксис некоего гибридного ЯПЗ, выбираемого «по умолчанию». Разумно считать таким естественный язык описания деятельности,​ родной для сочинителя (и, конечно,​ читателя) схемы. Однако этот язык для удобства дальнейшей формализации обычно как-то структурируется (ограничивается). Как — покажем при определении лексики языка.
  
-----+Далее рассмотрим дракон-алфавит с позиций структурного анализа и синтеза.
  
 ==== Начало азбуки ДРАКОНа-1:​ вроде, как в БС... да не как в БС ==== ==== Начало азбуки ДРАКОНа-1:​ вроде, как в БС... да не как в БС ====
ocenka_texnojazyka_i_shampur-metoda.txt · Последние изменения: 2012/05/21 19:43 — Владислав Жаринов