DRAKON.SU https://forum.drakon.su/ |
|
Драконографика В.Н. Жаринова https://forum.drakon.su/viewtopic.php?f=62&t=2046 |
Страница 1 из 3 |
Автор: | Владимир Паронджанов [ Четверг, 12 Ноябрь, 2009 14:02 ] |
Заголовок сообщения: | Драконографика В.Н. Жаринова |
Информационное сообщение Существует потребность дать другое описание языка Дракон, более краткое и сделанное под другим углом зрения. Новая, оригинальная точка зрения на литературное (и не только литературное) представление темы может принести очень большую пользу. Она, несомненно, будет способствовать более широкому распространению информации о языке Дракон. Такую работу выполнил В.Н. Жаринов, за что ему огромное спасибо. Свою работу В.Н. Жаринов назвал ДРАКОНОГРАФИКА. Вот ссылки: http://drakonografika.narod.ru/L3/linsubstrproc.html Главная http://drakonografika.narod.ru/L1/main.html Введение в ресурс http://drakonografika.narod.ru/introduction.html Уважаемый В.Н. Жаринов! От всего сердца благодарю Вас за проделанную Вами огромную работу! Владимир Паронджанов |
Автор: | Владислав Жаринов [ Понедельник, 16 Ноябрь, 2009 06:10 ] |
Заголовок сообщения: | Редактирование сайта |
Кроме обещанных исправлений страницы Линейные алгоструктуры, без формального обновления версии также отредактирована страница О структурировании технологий формализации. На страницы Алгоструктуры ветвления и Циклические алгоструктуры добавлены пункты о произвольных случаях названных видов структур (пока только текст; авторские рисунки сочтено нужным переделать). Обновлены соотвествующие печатные версии. |
Автор: | Владислав Жаринов [ Суббота, 26 Декабрь, 2009 05:44 ] | ||
Заголовок сообщения: | Обновление | ||
Обновлена версия сайта (подробные сведения, как обычно, в Разд. История Стр. Введение в ресурс). В числе прочего добавлены соображения по дальнейшему развитию системы языков описания деятельности в этом пункте. По результатам ознакомления со средой Тышова возникли вопросы и предложения. Кроме того, включён в ресурс пакет DesignIDEF, упомянутый на этой странице и доступный в виде архива здесь; для него также предлагается инструкция по применению как редактора схем. Из сравнения возможностей этих приложений вырисовываются представления о том, чего хотелось бы в принципе от среды автоформализации знаний; помещены здесь (см. вложение). Как водится, при сдаче объекта к новому году возможны недоделки. Всех с праздниками, переходящими в выходные! )
|
Автор: | Ильченко Эдуард [ Суббота, 26 Декабрь, 2009 14:49 ] |
Заголовок сообщения: | Re: Обновление |
Драконограф писал(а): Кроме того, включён в ресурс пакет DesignIDEF, для которого также предлагается инструкция по применению как редактора схем; доступно здесь в виде архива: (доступен через Стр. Полезное). Что-то IDEF.EXE не запускается в WinXP Sp2. Нечто зелёненькое мигает посреди экрана и всё. Совместимость с Win95 не помогла. |
Автор: | Владислав Жаринов [ Воскресенье, 27 Декабрь, 2009 05:35 ] |
Заголовок сообщения: | Re: Драконографика В.Н. Жаринова |
Добрый день, Эдуард! Проблема, скорее всего, в отсутствии системного принтера. В NT-подобных системах у меня было то же самое. В ОС должен стоять принтер по умолчанию; иначе запуск DesignIDEF подавляется, т.к он этого принтера ну обязательно требует . Сейчас работаю преимущественно как раз в XP SP2; с принтером всё нормально. Удачи! P.S. Над новой версией инструкции по DesignIDEF работаю, а предыдущая-то отсутствует, а там было и про принтер, и другие требования к установке Добавлена в загрузки (доступна с той же страницы, что и сама программа, п. Описание DesignIDEF). Сложнее ситуация с описанием к среде Тышова; предполагается делать по тому же образцу, включая процедуры для практически значимых операций визуализации (для DesignIDEF подобное уже есть в Справке). Для этого проверяется экспериментально работа программы для прояснения умолчаний, неясностей и пр.; естественно, ряд вопросов освещён в Справке, но их требуется "перелопачивать" для приведения в соответствие назначению документа (подход иной, о чём см. на этой странице о содержании критерия когнитивной эффективности инфопрогизделия). Объём этих работ оказался большим, поэтому в ближайшее время будет добавлен промежуточный вариант, а остальное по мере готовности. |
Автор: | Владислав Жаринов [ Четверг, 28 Январь, 2010 06:00 ] |
Заголовок сообщения: | Re: Редактирование сайта |
Была обновлена версия (для страниц - пока только HTML); подробности, как обычно, в Разд. История Стр. Введение в ресурс). P.S. Обновлены также печатные версии страниц; заодно исправлены кое-какие ошибки. |
Автор: | Владислав Жаринов [ Суббота, 20 Февраль, 2010 01:32 ] |
Заголовок сообщения: | Информация |
В ближайшей версии планируется добавить из исходного документа: 1. Описание большинства икон в форме "толкового словаря" в контексте ТФЗ-ДРАКОН (т.е. их толкования как эскизных и детальных операторов). 2. Показ употребления безусловных переходов в алгоструктурах, в диоформах визуалов и при переходе к лиоформам. |
Автор: | Владислав Жаринов [ Вторник, 23 Февраль, 2010 05:55 ] |
Заголовок сообщения: | Re: Информация |
Начато обновление версии (для страниц - пока только HTML); подробности см. Разд. История Стр. Введение в ресурс. О завершении обновления будет сообщено дополнительно. В общем реализуются (в некоторых случаях пока не полностью) следующие идеи:
2. Включение базовых вопросов выкладки алгоструктур в линию (модификации шампур-метода для машинного кодирования); это по сути элементы "визуального ассемблера", также присутствующие (чаще всего неявно) и в прогязыках высокого уровня. Преследует учебно-демонстрационные цели, но может, кому-то пригодится и практически... 3. Вынесение всей специфики ДРАКОНа из п. Основы структуризации... (частью в словарь икон, частью в описание шампур-метода); тем самым проясняется тот факт, что эта структуризация проведена для импер-языков вообще, а к техноязыку приложима как к частному случаю. P.S. Обновление печатных версий завершено. P.P.S. Обновление страниц завершено. В ближайшей версии планируется включить в "толковый словарь" статью об алфавитных знаках "смягчения" режима редактирования схем (иконах "чёрного ящика", временного перехода, вершинах-изломах вертикали) как предлагаемых элементах техноязыка (г.л. обр. исходя из содержания, намеченного при определении МШ-метода). Также предполагается показать протокольные диаграммы взаимодействия исполнителя визуалов со внешней средой (на примере икон ввода/вывода). |
Автор: | Владислав Жаринов [ Среда, 10 Март, 2010 05:33 ] |
Заголовок сообщения: | Версия от 01.04.10 |
Начато обновление версии; подробности см. Разд. История Стр. Введение в ресурс. Сказано: "в этот день никому не верь" - и правда, если про элементы нестрогой визуализации наконец добавлено, то обещанное тогда же по протокольным диаграммам по-прежнему нет... зато сделано кое-что другое. Расширенная редакция пункта об объектах, как видно, навеяна новым изданием "Алгоритмов и структур данных" Вирта. Вопросы типизации выходят за рамки программирования, требуя согласованного понимания начиная уже с качественной формализации, и потому мне показалось возможным изложить их в русле этого источника, но чуть под другим углом зрения - ближе к предметнику, которому важнее не математика и реализация, а связь типов данных с сущностями своей сферы (каким образом данные, говоря по Вирту (с.11-12), "...являются прежде всего абстракциями реальных явлений...", вследствие чего их "...предпочтительно формулировать как абстрактные структуры безотносительно к их <структур> реализации в распространённых прогязыках."). Прежде всего это требует введения классификации объектов по уровню сложности; использована иерархия "простой-сложный-произвольный", ранее уже применённая к структурам визуальных алгоритмов на ДРАКОНе. Важно, что сопоставление структур данных и управления Виртом в табл. 4.1 можно продолжить. Эту возможность открывает начатая создателем техноязыка типизация безусловных переходов, выраженная в определении разрешённых (петлёй силуэта) БП. В классификации Драконографики БП с возвратом соответствует вызову процедуры и даёт рекурсивные структуры; Р-БП оказываются частным случаем обычных БП и одним из случаев нерекурсивно-указательной связи (определяют граф вызова для веток, допускающий их перестановки на "ленте памяти") наряду с линейными БП (определяют граф вызова и перестановки уже для отдельных вертикалей и/или их фрагментов). А вот к другим случаям "общих графов" управления, я полагаю, относятся: оператор Параллельный процесс, трактуемый как БП с расщеплением рабочей точки (для алгоритмов в целом); механизм динамического связывания процедуры с типом приёмника (по сути — условный переход к подпрограмме). Классификацию можно уточнить, но общая идея, полагаю, ясна. Среди добавленных примеров имеется эскиз техпроцесса оформления дракон-схем в офисном пакете. Он специально сделан так, чтобы возникло желание его усовершенствовать - более того, дракон-модель содержит ошибки для самостоятельного обнаружения Остальные примеры на самостоятельную работу, начиная с постановки - при этом обязательно возникнут вопросы и даже проблемы в связи с качеством исходных описаний. Здесь все вопросы к авторам использованных публикаций - если у Вас вдруг есть возможность их задать - иначе визуализировать в меру своего понимания, "как правильно" в данной сфере деятельности. Для передачи в сети материалы "ужаты"; кое-что дано в формате DjVu. В этом пункте наряду с вершинами "смягчения" режима визуализации описана возможность силуэтного представления синтдиаграмм. Пока описание ввода и вывода показано не на протокольных, а на синт-диаграммах - тем самым вводится синт-язык как элемент метаязыка информатики. В описании этот язык сопоставлен с ДРАКОНом; более того, показано, как можно сделать синтдиаграммы подобными дракон-схемам.
Для протокольных диаграмм мне показалось интересным обдумать связь с техноязыком, учитывая заявленную в этом сообщении возможность использовать именно протоколы для генерации исходных текстов. В целом подход к обновлению обычный - понятия, определение которых сложилось, вводятся в ресурс по мере необходимости для других, в первую очередь поисковых, вопросов. P.S. Обновление завершено; добавлено Приложение 4, где решил исправить труднонаходимые ошибки . P.P.S. Пропустил в Приложении 4 документы-раскладки форматов на страницы для поячеечной печати с описанием соединения в формат (хотя с этим-то знаком тот, кому приходилось делать плакаты на принтере ); добавлено на примере схем из Задачи 1.1.1 и указано в самом тексте приложения. Всё включено в обновлённую загрузку Примеры и задания на этой странице. |
Автор: | Владислав Жаринов [ Понедельник, 12 Апрель, 2010 04:58 ] |
Заголовок сообщения: | Версия от 12.04.10 |
Начато обновление версии (для страниц - пока только HTML); подробности см. Разд. История Стр. Введение в ресурс. О завершении обновления будет сообщено дополнительно. Визуально-структурный анализ цикла Дейкстры приводит к выводу, что он, как и дракон-силуэт, является формой реализации т.н. универсальной программы. |
Автор: | Владислав Жаринов [ Понедельник, 03 Май, 2010 04:56 ] |
Заголовок сообщения: | Версия от 02.05.10 |
Обновлена версия (для страниц - пока только HTML); подробности см. Разд. История Стр. Введение в ресурс. |
Автор: | Wlad [ Понедельник, 03 Май, 2010 09:10 ] |
Заголовок сообщения: | Re: Драконографика В.Н. Жаринова |
Владимир Паронджанов писал(а): ... Вот ссылки: ... аж в глазах рябит! серьёзно! |
Автор: | Владислав Жаринов [ Вторник, 04 Май, 2010 04:59 ] |
Заголовок сообщения: | Re: Драконографика В.Н. Жаринова |
Wlad2 писал(а): Владимир Паронджанов писал(а): ... Вот ссылки: ... аж в глазах рябит! серьёзно! Не понял |
Автор: | Wlad [ Вторник, 04 Май, 2010 09:50 ] |
Заголовок сообщения: | Re: Драконографика В.Н. Жаринова |
Драконограф писал(а): Не понял надо как-то поаккуратнее с толщиной линий и стилями рамок. да и зачем "крутить петли" вокруг блоков стрелками, когда есть более краткий путь соединения? а так, за счёт "петли" обхода стрелкой создаётся впечатление "лишних" наличия вложенности. особенно, если не весь рисунок умещается на экране. |
Автор: | Владислав Жаринов [ Среда, 05 Май, 2010 05:44 ] |
Заголовок сообщения: | Re: Драконографика В.Н. Жаринова |
Wlad2 писал(а): Драконограф писал(а): Не понял надо как-то поаккуратнее с толщиной линий и стилями рамок. да и зачем "крутить петли" вокруг блоков стрелками, когда есть более краткий путь соединения? а так, за счёт "петли" обхода стрелкой создаётся впечатление "лишних" наличия вложенности. особенно, если не весь рисунок умещается на экране. Если речь о том, как показываются у меня линейные БП (в основных пунктирных линиях), то я следую правилу техноязыка - условные вертикали упорядочивать по одну сторону от шампура (вправо), безусловные - в другую - (влево; у самого Паронджанова это только замыкание петли силуэта, у меня случаев больше в соотвествии с расширением набора типов БП). В некоторых случаях, когда шампур не получается из-за недостатка высоты листа, приходится "крутить витки" Стили линий и текста рамок (я так понимаю, КогниСтиль) раздельные для рамок областей (идущих фоном), ненаправленных пояснений и пояснений-меток. Общий принцип назначения взят из /Паронджанов, 2001/. Закраска фона, ессно, определяется стремлением выделить разные категории содержимого внутри рамок. Вот |
Автор: | Владислав Жаринов [ Пятница, 14 Май, 2010 04:27 ] |
Заголовок сообщения: | Версия от 09.05.10 |
Обновлена версия (для страниц - пока только HTML); подробности см. Разд. История Стр. Введение в ресурс. Протоколы деятельности пока введены только на примере икон Ввод и Вывод (показанных с учётом предложений С.Тарасенко) - стандарт ПД-языка возможно неокончательный, т.к. участвовал в обсуждениях на форуме. Зато в ходе обсуждений достигнут другой результат - вполне сформировано представление о развитии синт-языка для схематизации РДП-документов. Пока оно также не входит в Драконографику, а изложено на форуме (см. 2-е техтребование от меня к РДП-среде) - в то же время сведений достаточно, чтобы любой желающий разработчик смог приступить к созданию среды не просто визуальной алгоритмизации/программирования, а визуализации знаний о задаче в духе предложений vladfind. Поскольку вопросов по приложимости диоформ Паронджанова к любым орграф-схемам, подобным схемам деятельности, не возникло (да и, наверное, не должно быть), эти формы постепенно вводятся в стандарты всех визуальных языков, оперирующих такими схемами. В частности, добавил их в синт-язык в Приложении 2. Думал, что такие схемы "устремлённые" , но оказывается это другой термин - надо термин и для этого определения подобрать, если нету - м.б. "маршрутные"? |
Автор: | Владислав Жаринов [ Вторник, 01 Июнь, 2010 05:03 ] |
Заголовок сообщения: | Версия от 01.06.10 |
Обновлена версия; подробности см. Разд. История Стр. Введение в ресурс. В целом при реструктуризации исходил из желания сократить объём отдельных содержательных страниц - тем самым отчасти выравнивая их. Кое-что добавлено к тексту. Отредактирована большая часть иллюстраций - где-то счёл нужным добавить/обновить пояснения, как неформальные, так и формальные, где-то информатизацию конечных структур поправить - инварианты, эллипсисы, структурные индексы, РБНФ-определения и т.п. не были введены или вводились неудачно. Проработано представление циклов для выкладки на примере LOOP-EXIT (аналогично ветвлениям) - хотя идея ясна из записи иконы Петля цикла через БП на этой странице, но м.б. кому-то поможет именно конкретика. В каталог примеров пока только вынесены примеры топоперехода от примитива к силуэту и построения произвольного ветвления. Предполагается, что он будет пополняться Причина снятия печатных версий отдельных страниц в общем-то прозаична - нужно решать вопросы целостной гибридизации техноязыка, поставленные, в частности, в этом сообщении, что должно затронуть преимущественно как раз определения икон и исполнителей. Результаты будут, очевидно, достигаться помалу, а это влечёт за собой такие же изменения - и при этом лучше не заниматься обновлением двух источников, один из которых (печатная версия) к тому же довольно "весомый" . Где-то изменения касаются и других страниц - в частности, не совсем к месту начал рассматривать эти вопросы в ТФЗ-ДРАКОН, теперь соответствующие фрагменты перенесены - а их печатные версии согласованы. Вообще возможна рассинхронизация печатных версий с представляемыми страницами - это будет устраняться по мере обнаружения. |
Автор: | Владислав Жаринов [ Четверг, 08 Июль, 2010 09:35 ] |
Заголовок сообщения: | Версия от 07.07.10 |
Начато обновление версии; подробности см. Разд. История Стр. Введение в ресурс. О завершении обновления будет сообщено дополнительно. В частности введён материал, использованный для аргументации расширения ДРАКОНа в этом сообщении, а также при обсуждении требований С.Тарасенко и формулировании собственных в этой теме. P.S. Обновление завершено. |
Автор: | Владислав Жаринов [ Среда, 04 Август, 2010 19:35 ] |
Заголовок сообщения: | Версия от 04.08.10 |
Обновлена версия (для страниц с печатными версиями - пока только HTML); подробности см. Разд. История Стр. Введение в ресурс. P.S. Обновление печатных версий завершено. Вопрос о преобразуемости силуэта в цикл Дейкстры оформлен как пример совместно с основами лиорасширения техноязыка опять-таки по принципу "всё в одном месте удобнее". В дальнейшем будет разнесено по соответствующим страницам. |
Автор: | Владислав Жаринов [ Четверг, 30 Сентябрь, 2010 04:49 ] |
Заголовок сообщения: | Информация |
Без формального обновления добавлен раздел Языковое обеспечение визуализации. В него вынесены определения языков, предлагаемые для реализации в РДП-системе, документ которой предварительно описан в этом сообщении; прежде всего туда должны войти языки, использованные в этом документе. Их определения даются заново или переносятся из загрузки Инфорязыки (с одновременным согласованием); по мере готовности они будут включаться в упомянутый раздел (пока там содержатся общеязыковые требования и некоторые обобщённые языки из числа используемых в РДП-документе). Поскольку визуализация пока развивается локально, приходится действовать полностью самостоятельно. Хотя и не кончал английскую "публичную школу", но принцип "европейской классики" о языковой (в широком смысле) основе образования принимаю и потому действую, так сказать "реверсно-классическим методом" - в ходе перевода конкретных текстов с порождающего языка на порождаемый формировать определение последнего. При этом, поскольку изначально с порождающим языком (в данном случае с Обероном) знаком был не больше, чем с порождаемым (семейством гибридных языков) ), то результат формируется с постепенным уточнением. Надеюсь, что, как говорят в британском парламенте, "публика отнесётся к выступлению с обычным снисхождением" - во всяком случае критика имеет смысл конструктивная - с конкретными предложениями по решению той же задачи P.S. Помимо перевода сочиняемых имён на русский, введены разные имена для переменных, одноимённых по исходному тексту в различных процедурах (и отражающие смысл именуемой сущности). Конечно, по правилам структурного программирования они имеют разные области видимости, и потому одно имя будет соответствовать разныым объектам... но читателю (особенно непрограммисту) нужно понимать смысл каждого имени без дополнительных усилий... в общем, "я сделал это не в интересах истины, но в интересах правды" . Согласовать подходы можно, если РДП-редактор будет поддерживать псевдонимику полных ("процедурно-уточнённых") имён - имени с каждым префиксом-названием процедуры сочинитель может выбрать различное символическое имя. |
Страница 1 из 3 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |