DRAKON.SU

Текущее время: Понедельник, 20 Май, 2019 09:34

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 42 ]  На страницу Пред.  1, 2, 3  След.
Автор Сообщение
СообщениеДобавлено: Понедельник, 11 Октябрь, 2010 04:46 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Введённые на этой странице определения языков дракон-семейства могут употребляться для детализации следующим образом. Для постановки сочиняется эскиз с ДР-алгоритмами (обычно "предметником"). Далее при традиционном программировании сочинитель выбирает для "областной" детализации ДРАКОН-Алго и визуализирует вершины или группы. При инженерном проектировании (с верификацией модели; предполагаем, что в среде типа Spin) выбирается ДО7Pr и на нём делается спецификация; при этом скорее всего нужно допустить только повершинную детализацию, т.к. переходим от неинформатизованного языка к информатически формальному в смысле п/п 1.1.1.1 на этой странице (структура маршрутов, сделанная эскизно, и меняется при подъёме на уровень эскиза). В том и другом случае обычно сочинитель делает неалгоритмический "каркас" процесса на ПК-языке, подключая дракон-процедуры (если только он не начал сразу с модуляризации, что желательно; тогда он задаёт процедуры именами в модуле, а РДП-среда сразу создаёт под очередное имя дракон-заготовку). Спецификация служит как формализованным техзаданием на проектируемый процесс, так и материалом для проверки (путём генерации Promela-текста и загрузки его в среду проверки); далее текст в случае коррекций в этой среде обратно ретранслируется в РДП, обновляя проект. По готовности получаем Оберон-текст (выбирая соответствующий режим генерации, где необероновские элементы диалекта игнорируются). В обоих случаях РДП-среда для исходного текста должна автоматически преобразовывать ДО7Pr-силуэты в ЦД по переменной Имя ветки (силуэтные).
Вывод ДО7Pr-схем определён по шампур-методу; для этого потребовалось переопределение и самого метода :) Изменения внесены как в составе ДО7Pr, так и в базовые тезисы.

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

Разумеется, если стороны регулярно используют указанный языковой базис, со временем всё чаще процесс упрощается; "предметник" сразу делает ДО7Pr-спецификацию, которую аналитик только уточняет.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 15 Октябрь, 2010 04:41 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Драконограф в viewtopic.php?p=52402#p52402 писал(а):
Добавлено в базовое определение шампур-метода...

Только сейчас добавил :) (как ДО7Pr-редакцию Тезиса 10 в этом подпункте). Заодно кое-что изменил в определениях операторов и макрооператоров разных диалектов в базовой Д2М-редакции.
Также обновлены общеязыковые требования к визуализации (внесены некоторые дополнения и уточнения).

P.S. Графика общеструктурная кое-где вышла неудачно, исправил... заодно окружающий текст реструктурировал.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 20.10.10
СообщениеДобавлено: Четверг, 21 Октябрь, 2010 04:51 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии; подробности см. Разд. История Стр. Введение в ресурс. О завершении обновления будет сообщено дополнительно.
Добавлены на страницах этого раздела определения языков дракон-семейства, как они представляются с учётом гибридизации с Оберонами и реализации в РДП-системе.

P.S. Обновление завершено; добавлены характеристики активностных языков на соответствующей странице этого раздела; в этот подкаталог каталога примеров визуализации добавлены примеры актив-схем для оборудования исполнителей-информашин.
Новая версия РДП-макета с примером проекта Гетерогенная очередь также включена в [http://drakonografika.narod.ru/L3/complex_viz_know.html]этот подкаталог каталога примеров визуализации[/url] (оформлена как страница со вставкой изображений РДП-листов непосредственно в гипертекст; возможно, оформление будет изменено).
В части стандарта на форму РДП-документа принято, что вершины типа Жёсткое поле в лист-силуэте (а равно - любые при внесхемном употреблении) могут иметь заголовки, вводимые непосредственно в индексное поле вершины; заголовок символически представляет соответствующий номеру вершины элемент индекса (в ЛС - третий, внесхемно - второй).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Информация об изменениях от 03.11.10
СообщениеДобавлено: Среда, 03 Ноябрь, 2010 09:17 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
В этом пункте общеязыковых требований изменены ОЯ-правила ДВ, ДГ, ДЖ (введены вопросы масштабирования листа, его раскладки на ячейки твёрдой копии, уточнены требования к размещению содержания).
Также в этом пункте добавлен п/п 1.1.2.3 - о псевдонимике имён сущностей - интересно, правильно ли понят смысл Разд.4 спецификации Оберона в пер. Свердлова и использован для эргономичного представления ситуации с совпадением имён.

P.S. Также добавлено ОЯ-правило СЖ, изменены правила ДБ, ДЖ, ДЗ (всё касается правил размещения элементов схем на РДП-листе).


Последний раз редактировалось Владислав Жаринов Вторник, 23 Ноябрь, 2010 06:01, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 22.11.10
СообщениеДобавлено: Вторник, 23 Ноябрь, 2010 05:57 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии; о завершении обновления будет сообщено дополнительно.
Пока добавлен п/п 1.3.2.1 в этом пункте общеязыковых требований, АТ-алфавит на этой странице, а также этот пример приведения к ЦД, подготовленный исходя, в частности, из этого соображения:
Info21 в viewtopic.php?p=52672#p52672 писал(а):
Драконограф писал(а):
Предлагается: ...
* положить в основу алгоконструкций, заменяющих явные/произвольные БП, цикл Дейкстры.
...
Вот такие предложения.
Предложение заслуживает внимания.

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

P.S. Обновление завершено; подробности см. Разд. История Стр. Введение в ресурс.

Также добавил в пример перехода к ЦД эскизную визуализацию рассуждений - имея в виду, в частности, следующее:
Драконограф в viewtopic.php?p=52666#p52666 писал(а):
Также это д.б. поддержано в литературе по техноязыку визуализацией методов логического вывода чисто атомарных структур (и взаимосвязанного уточнения неформальной постановки задачи до математической) с разбором примеров.
Заодно подработал текст и изменил терминологию - "проход" теперь относится к обработке подмассива строки, а не отдельной позиции. Дополнено и исправлено кое-что на страницах с примерами.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 30.12.10
СообщениеДобавлено: Пятница, 31 Декабрь, 2010 08:49 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии; о завершении обновления будет сообщено дополнительно.
Пока добавлен этот пункт, в котором на примерах показаны подходы к определению АТ-языка, а также этот пример, показывающий возможности визуализации решения задачи как системы алгопроцессов на Д2М-языке в РДП-среде, удовлетворяющей этим предварительным требованиям.

P.S. Обновление завершено; подробности см. Разд. История Стр. Введение в ресурс. Ничего особенно не добавил; только ПК-схему задачи. Также в Д2М-модели выделены процессы на стороне получателя для иллюстрации единообразного взаимодействия да изменены имена каналов. Заодно реализовал недавно пришедшую идею о графике рандеву-операторов; чтобы фигурные торцы их "каналообразующих этажей" изображали "разъёмное соединение" отправки и получения.
В связи с рассмотренным возникают вопросы, сформулированные в этом сообщении. Можно углубиться, но пока нецелесообразно; понятно, что есть возможность изображать системы процессов по-разному. Визуализация алгопроцессов и процессных структур как конструктивов и процедурных схем определена; выработан подход к визуализации абстрактных типов; словом, корпус языков представления прогтекста в целом сформирован. Вопрос о соотношении разных описаний интересный. И требующий определённой проработки.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Информация об изменениях от 30.01.11
СообщениеДобавлено: Воскресенье, 30 Январь, 2011 10:37 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
В этом пункте общеязыковых требований добавлены ОЯ-правила СЕ (в п/п 1.3.2.2) и ДИ (в п/п 1.3.2.3) работы с областями.
Также в этом примере добавлены замечания об организации графит-моделей. Общая характеристика вершины Область перенесена в этот подпункт.

Добавлен этот пункт об общеязыковых требованиях к сущностям и именам. В этом пункте добавлен п/п 1.1.2.4 (об именовании сущностей).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 23.02.11
СообщениеДобавлено: Четверг, 24 Февраль, 2011 13:06 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Обновлена версия; подробности см. Разд. История Стр. Введение в ресурс. Некоторые изменения были внесены ранее (и объявлены на конференции в связи с обсуждением связанных вопросов).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 01 Март, 2011 13:22 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Этот пример комплексной визуализации обновлён макетным РДП-документом, содержащим как основной раздел предыдущий пример (соответственно рассматриваемый как содержание одного из разделов символ-сборки по данному). Подробнее см. также в этом сообщении.

P.S. Добавил описания структуры вершин (в п. 1.4.2) и употребление комментария (в п/р 2.3). Хотя есть в общеязыковых требованиях, но здесь удобно дать сжато.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 12.04.11
СообщениеДобавлено: Вторник, 12 Апрель, 2011 04:22 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии; подробности см. Разд. История Стр. Введение в ресурс. О завершении обновления будет сообщено дополнительно.
В РБНФ введена операция И/ИЛИ. Для синт-языка было вынесено из загрузки определение лист-диалекта; в нём дано визуальное определение лист-силуэта. Для ИМ-языка дан только алфавит; правила достаточно систематически определены в стандарте (см. вложение в это сообщение). В Задании 1.1.1 введены графит-области для определения вариантов, примечания к вершинам, а также визуальные определения отдельных понятий задачи непосредственно на схемах. В графит-букваре проработаны определения нелинейных структур и области. Демо-пример, как уже говорилось, теперь содержит определение титула РДП-документа и ЛС-лексики.

P.S. Обновление завершено; откорректированы некоторые рисунки и сопровождающий текст здесь и здесь.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 09.05.2011
СообщениеДобавлено: Воскресенье, 08 Май, 2011 15:02 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии. О завершении обновления будет сообщено дополнительно.
В графит-букваре проработаны определения комментариев в конце этого подпункта и даны графит-определения новых топологий схем и расширения шампур-метода для их вывода в этом подпункте. Переработаны отдельные схемы в этом примере.
Обновление завершено; подробности см. Разд. История Стр. Введение в ресурс.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 10.06.2011
СообщениеДобавлено: Суббота, 11 Июнь, 2011 07:43 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии. О завершении обновления будет сообщено дополнительно.
Проработана графчасть Задания 1.1.1, слегка отредактирован этот пример, введены виопы ЛД5,6 в алфавит лио-ДРАКОНа.

Обновление завершено; подробности см. Разд. История Стр. Введение в ресурс.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 01.07.2011
СообщениеДобавлено: Пятница, 01 Июль, 2011 10:12 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Обновлена версия; подробности см. Разд. История Стр. Введение в ресурс.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 10.07.2011
СообщениеДобавлено: Воскресенье, 10 Июль, 2011 06:58 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Начато обновление версии. О завершении обновления будет сообщено дополнительно.
Пока Каталог примеров перемещён на верхний уровень и реструктурирован. Одновременно изменено оформление его страниц; можно оценить. Также отредактирована стр. Ссылки (со включением в неё Полезного).

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

P.S. Кое-что поправил и на старых страницах оставил только релинки от докэлементов, перемещённых при реструктуризации.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 31 Октябрь, 2011 18:13 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
За время с выпуска предыдущей версии ряд страниц приведён к формату, обсуждавшемуся здесь. Однако по ходу событий это оказалось не самым важным.
Обновлён этот подпункт (о причинах было сказано в другой теме). До разрешения ситуации с терминологией сайт, по сути, "в черновом статусе". Читатель может использовать с учётом вариантов исправлений и дополнений и их обоснований, данных на этой странице. Конечно, в первую очередь это касается основного содержания в этом разделе и в каталоге примеров.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Драконографика В.Н. Жаринова
СообщениеДобавлено: Воскресенье, 18 Декабрь, 2011 14:57 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Ответил сообразно топику здесь. :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Версия от 30.12.2011
СообщениеДобавлено: Суббота, 31 Декабрь, 2011 14:40 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Завершено обновление согласно сказанному ранее. Весь языковой базис реальной визуализации, не связанный с "исходным" техноязыком, вынесен в этот раздел и в это приложение. Определение языка и шампур-метода с комментариями размещено здесь. Но без расширений для гарантоспособных спецификаций/программ - они здесь и рядом. Ну и букварь расширенный тут.
Кое-что изъято с этой страницы и с этой. Ну и примеры оставлены только те, которые на "визуализацию чисто алгоритмической части" отчуждаемого знания - остальные добавлены опять же в этот каталог. В принципе изъятое замещено релинками, так что найти можно. :)
Отредактированы страницы этого раздела. Был введён также этот раздел, куда кое-что перемещено, а что-то заново написано. Также на некоторых страницах уточнены ссылки и внесены мелкие правки.

P.S. В результате Драконографика "похудела", пожалуй, на четверть... м.б. и на треть... :) И ещё кое-что м.б. перемещено, исходя из сказанного здесь о логическом включении старого в новое.
Кстати, о новом. ;) Всех с постепенно наступающим Новым годом!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Драконографика В.Н. Жаринова
СообщениеДобавлено: Среда, 11 Январь, 2012 18:28 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4159
Откуда: Москва
Уважаемый Владислав!

Вы накопили большой объем знаний.

Может быть, пора начать их публиковать, например:

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

Оригинальные исследования могут быть опубликованы в других википроектах, например, Everything 2 или Wikinfo.

— а может быть даже, пора начать думать о диссертации.

Какие у Вас планы на этот счет? Если не секрет, конечно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Драконографика В.Н. Жаринова
СообщениеДобавлено: Четверг, 12 Январь, 2012 10:47 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1442
Владимир Даниелович!
О ВП-проектах Вы буквально сняли у меня с языка - хотел спросить администрацию, почему называнные Вами ОРИСС-проекты не реализованы в русской Вики. Тогда не только я - Вы тоже могли бы нормально высказывать свои размышления, не занимаясь официальным публикованием. Или приведением статей к ВП-правилам (возможно, уже видели в моей ветке обсуждения, что при этом остаётся от сути мало-мальски передового предмета)... :)
Вики-ОРИСС на английском меня не слишком интересует. Фёдор Васильевич популярно изложил в размышлениях на темы "мейнстрима" и "приматизма", что происходит у "инноваторов", и у меня впечатление, что он прав. :) А из них следует, что вещами систематическими "там" никто не заинтересуется (из читающих по-английски). Кому же интересно просто передовое и кто способен оценить не только "комбинаторику привычного" - тот на разных языках во всём мире находит возможность отслеживать... ;)

Относительно научной работы - расширение сферы "графической" (граф-)формализации предполагает системность подхода. Пока не считаю, что достиг её (если соотносить с представлениями, которые мне кажутся серьёзными - здесь прежде всего alexus надо вспомнить). Целостный графит-метод, допускающий определение языка в конкретной парадигме (как Оберон) - неплохо, конечно... но можно ли так прийти к семантике "предметки"?.. Так что пока не знаю... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Драконографика В.Н. Жаринова
СообщениеДобавлено: Четверг, 12 Январь, 2012 12:20 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4159
Откуда: Москва
Владислав, посмотрите, может быть что-нибудь Вас заинтересует
Цитата:
Список вики-проектов

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

Содержание
[убрать] 1 Основные вики-проекты
2 Многоязычные проекты
3 Второстепенные вики-проекты
4 Списки на других сайтах
http://www.wikireality.ru/wiki/%D0%A1%D ... 0%BE%D0%B2


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 42 ]  На страницу Пред.  1, 2, 3  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2019, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB