DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 19:32

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




Начать новую тему Ответить на тему  [ Сообщений: 135 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7  След.
Автор Сообщение
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Суббота, 20 Ноябрь, 2010 09:46 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Немного о "пересадках лиан":
Вложение:
Вложение:
перемещение лианного блока.pdf [110.99 КБ]
Скачиваний: 480


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Среда, 24 Ноябрь, 2010 14:28 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
2Драконограф:
Рэйлвэй Каген писал(а):
Драконограф писал(а):
туда ещё assert добавить стоит
- на мой взгляд, это нецелесообразно.
ASSERT можно описать с помощью возбуждения ситуации с присоединёнными параметрами. (См. описание ситуаций здесь)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Четверг, 25 Ноябрь, 2010 06:26 

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


Ну, там дискуссия пошла серьёзная и по смыслу, а не представлению (что вообще-то правильно :D )... я вообще-то (в меру своего "качественного" понимания :) ) визуализировал исключение просто левым присоединением между операторами основного маршрута (см. макрооператор 35Д в этом расширении словаря) - в той же словарной статье и краткие аргументы, почему так. И assert - таким же образом (см. оператор Д30 в этом расширении алфавита).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Четверг, 25 Ноябрь, 2010 06:31 

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

Приведу один из вариантов описания графа на основе процедурно-топологической нотации(ПРОТОН):
...

Вообще-то основные вопросы будут, когда это или иное представление топологии приложить для создания формата РДП-документа (ТФАП, как это называет Дмитрий_ВБ, у меня - ТФРД)... где надо не только "логику" отражать, но и "физику" (параметры отрисовки граф-схемы и заполнения вершин текстом, а некоторых - также таблицами, другими схемами и вставными скриншотами)...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Четверг, 25 Ноябрь, 2010 08:49 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Драконограф писал(а):
"физику" (параметры отрисовки граф-схемы и заполнения вершин текстом, а некоторых - также таблицами, другими схемами и вставными скриншотами)...
- вот как раз это(в виде объектов и ссылок) и храним в атрибутах xml-схемы. При необходимости(как вариант - через xslt) получаем svg, rdf, pdf и т.д., вполне пригодные как для документирования, так и для работы через веб-интерфейс.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Воскресенье, 28 Ноябрь, 2010 06:23 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Рэйлвэй Каген писал(а):
Драконограф писал(а):
"физику" (параметры отрисовки граф-схемы и заполнения вершин текстом, а некоторых - также таблицами, другими схемами и вставными скриншотами)...
- вот как раз это(в виде объектов и ссылок) и храним в атрибутах xml-схемы. При необходимости(как вариант - через xslt) получаем svg, rdf, pdf и т.д., вполне пригодные как для документирования, так и для работы через веб-интерфейс.

Это понятно. Имелось в виду следующее:
    * топология РДП-схем не сводится только к силуэту - востребовано также дерево (возможно, "прошитое" - когда визуализируем структуры с указателями) и список. Надо смотреть, оптимальна ли здесь скобочная организация.
    * Дмитрий_ВБ высказывал пожелание, чтобы текстовое представление было как формальным, так и удобочитаемым и доступным для редактирования вручную - впрочем, тут м.б. различные мнения - может оказаться, что это из разряда "в одну телегу впрячь коня и трепетную лань" :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Воскресенье, 28 Ноябрь, 2010 22:09 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
по первой *: "оптимальна ли здесь скобочная организация?"
    запись на основе ПРОТОН - это уже иерархическая структура(вложенные списки S-выражений - почти SXML).
    Именно поэтому так легко "ложится" на XML. Любой список получается через запрос с соответствующими критериями к xml- базе данных. Любое "другое" дерево получается с помощью XSLT. Не хочется БД? Тогда РЕФАЛ, Lisp, Scheme - тоже подойдут для работы с таким структурным представлением.

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

    Касательно ручного редактирования ПРОТОН-записи я придерживаюсь следующей позиции - viewtopic.php?p=31935#p31935
    "п.2. ПРОТОН - нечеловекочитаемое, нечеловекопонимаемое и т.д.. Эта штука для промежуточного представления программ и алгоритмов. А именно - для хранения(..), распространения, трансляции в синтаксическое дерево(..). По сути - прокладка между текстовым/графическим редактором и front-end компилятора."


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Понедельник, 29 Ноябрь, 2010 05:56 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Рэйлвэй Каген писал(а):
по первой *: "оптимальна ли здесь скобочная организация?"
    запись на основе ПРОТОН - это уже иерархическая структура(вложенные списки S-выражений - почти SXML).
    Именно поэтому так легко "ложится" на XML. Любой список получается через запрос с соответствующими критериями к xml- базе данных. Любое "другое" дерево получается с помощью XSLT.

Т.е. РДП-редактор должен извлекать нужную структуру из ТФРД-файла в некое промежуточное представление, отвечающее типу топологии данного класса схем, прежде чем конкретную схему обработать? Не долго ли будет выполняться? Или я не так понял?
Рэйлвэй Каген писал(а):
по второй *:
    Желание редактировать "всё и вся" необходимо вгонять в определённые логические рамки на каждом уровне проектирования...

Лично я соглашусь, пожалуй... хотя вон в DRT-файлы народ лазает... Если для представления только алгоритмов и программ (притом ограниченно визуального), видимо, можно задать "человекоразбираемый" формат текстового документирования, то для комплексного визуального моделирования в объёме, демонстрируемом хотя бы на этом примере, пожалуй, формальная текстовая нотация в принципе удобочитаемой не получится...


Рэйлвэй Каген писал(а):
Касательно ручного редактирования ПРОТОН-записи я придерживаюсь следующей позиции - viewtopic.php?p=31935#p31935
    "п.2. ПРОТОН - нечеловекочитаемое, нечеловекопонимаемое и т.д.. Эта штука для промежуточного представления программ и алгоритмов. А именно - для хранения(..), распространения, трансляции в синтаксическое дерево(..). По сути - прокладка между текстовым/графическим редактором и front-end компилятора."
Оттудова следует, среди прочего, что на данной нотации предполагается выполнять претрансляцию уже в РДП-редакторе для гипотетического ТЯП-компилятора (видимо, специально написанного?). Я несколько иначе представляю себе применение визуальных моделей - как источник/приёмник исхтекстов для апробированных промышленных систем (обоснование их видового состава см. Разд. 6 этого документа).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Понедельник, 29 Ноябрь, 2010 12:15 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Драконограф писал(а):
Т.е. РДП-редактор должен извлекать нужную структуру из ТФРД-файла в некое промежуточное представление
Редактирование и возможные проверки производятся на уровне представления топологии в ПРОТОНе. Физически, редактирование ПРОТОН-записи может быть осуществлено средствами БД(insert, delete). Среда, обеспечивающая визуализацию схемы и интерактивное взаимодействие с пользователем может принимать на вход доступное именно ей представление.
    а. Специализированный редактор примет для визуализации текст в ПРОТОНе. Отдаст - в виде обращения к БД(insert, delete) с непосредственным использованием фрагментов записи на ПРОТОНе.
    б. Для связки "браузер + svg" достаточно преобразовать запись на ПРОТОНе в svg-формат и отдать браузеру, но не имеет смысла переносить "бизнес-логику" редактора на результаты преобразований. Отдать в БД браузер сможет, к примеру, атрибуты и код операции над выбранным графическим элементом. Непосредственное изменение записи произойдёт в результате обработки полученных данных средствами БД. Естественно, под управлением приложения, реализующего "бизнес-логику" проектирования, но никак не редактора. Кто знает, может там командная разработка и другие заморочки учесть надо.
Таким образом, в некоторых конфигурациях, редактор, как отдельная программа, может вообще отсутствовать.
Драконограф писал(а):
..для комплексного визуального моделирования
..считайте представление просто вьюшкой, настроенной на отображение определённых групп атрибутов. Таких представлений м.б. сколько угодно и как угодно настроенных для общего содержания, записанного в базовой нотации.
Драконограф писал(а):
..формальная текстовая нотация в принципе удобочитаемой не получится
Это не нужно для автоматизированной обработки. А для восприятия есть вьюшки.
Драконограф писал(а):
..предполагается выполнять претрансляцию уже в РДП-редакторе для гипотетического ТЯП-компилятора (видимо, специально написанного?)
Нет. Нагружать редактор несвойственными ему функциями не стОит.
Дальнейшая судьба ПРОТОН-записи, отредактированной и лежащей, к примеру, в БД - быть обработанной средствами БД под управлением некоей среды проектирования(IDE). Компиляция, документирование и другие операции могут осуществляться путём соответствующих выборок из БД и автоматического преобразования их результатов в требуемый формат - линейный или иерархический.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Вторник, 30 Ноябрь, 2010 11:05 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Поскольку тема с XML-frontend'ом (фактически - режим №2 по вложению) "не пошла", продолжу здесь в более развёрнутом виде:
Вложение:
Может быть, в силу некоторой моей неинформированности, всё это уже сто раз написано и всем понятно. Но даже при таком раскладе, обозначенные пути доступны для реализации над алгоритмами, записанными с помощью ПРОТОН.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Четверг, 09 Декабрь, 2010 18:18 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Рэйлвэй Каген в viewtopic.php?p=54694#p54694 писал(а):
Дальнейшая судьба ПРОТОН-записи, отредактированной и лежащей, к примеру, в БД - быть обработанной средствами БД под управлением некоей среды проектирования(IDE). Компиляция, документирование и другие операции могут осуществляться путём соответствующих выборок из БД и автоматического преобразования их результатов в требуемый формат - линейный или иерархический.
В принципе подход мне интересен... самому симпатичны решения на основе УБД. Получается, что и данные визуализации, и исходники, и символ-сборки и ещё что-нибудь единообразно формируются как отчёты по БД - преднастроенные или настраиваемые в какой-то части оператором. Можно обеспечить единство источника (редактирования) и коллективную работу. Главное - чтобы приложение, всё это делающее, получилось "нетяжёлым".


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Вторник, 22 Февраль, 2011 01:42 

Зарегистрирован: Понедельник, 09 Ноябрь, 2009 17:29
Сообщения: 904
Откуда: Россия, Питер
Как могла бы выглядеть дракон-схема (см. ниже), в записи на ПРОТОНе?
Вложение:
p.png
p.png [ 17.04 КБ | Просмотров: 13802 ]


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Среда, 23 Февраль, 2011 22:15 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Код:
(СИЛУЭТ
  (ВЕТКА "Ветка А" (ЗАГОЛОВОК "Начало")
    (ДЕЙСТВИЕ "Действие 1"
      (СОЕДИНЕНО
        (ВЫБОР "Продолжать цикл_1?"
          (ВАРИАНТ "Да"))
      )
      (ДЕЙСТВИЕ "Действие 2"
        (АДРЕС "Ветка В")))
  )
  (ВЕТКА "Ветка В"
    (ДЕЙСТВИЕ "Действие 3"
      (АДРЕС "Ветка С"))
  )
  (ВЕТКА "Ветка С"
    (ДЕЙСТВИЕ "Действие 4"
     (ВЫБОР "Продолжать цикл_1?"
        (ВАРИАНТ "Нет"
          (ДЕЙСТВИЕ "Действие 5"
            (АДРЕС "Ветка D")))))
  ) 
  (ВЕТКА "Ветка D"
    (КОНЕЦ)
  )
)


24-02-2011: похоже, я допустил ошибку - циклу for соответствует цикл с предусловием, а не с постусловием. Поправлю позже.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Среда, 02 Март, 2011 15:37 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
рассмотрим запись примитива, эквивалентную схеме, предложенной Эдуардом Ильченко:
Примечание: преобразовывать визуальную форму силуэта в примитив не надо!
Код:
(ЗАГОЛОВОК "НАЧАЛО"
  (ДЕЙСТВИЕ "Действие 1"
    (СОЕДИНЕНО
       (ВЫБОР "Предусловие цикла_1 выполняется?"
         (ВАРИАНТ "Да"
           (ДЕЙСТВИЕ "Действие 2"
             (ДЕЙСТВИЕ "Действие 3"
               (ДЕЙСТВИЕ "Действие 4")
             )
           )
         )
       )   
    )
    (ВЫБОР "Предусловие цикла_1 выполняется?"
      (ВАРИАНТ "Нет"
        (ДЕЙСТВИЕ "Действие 5"
          (КОНЕЦ)   
        )
      )
    ) 
  )
)
и запишем разметку силуэта в денормализованной форме:
Код:
(СИЛУЭТ
  (ДЕЙСТВИЕ "Действие 1" (ВЕТКА "Ветка А" (ЗАГОЛОВОК "НАЧАЛО"))
    (СОЕДИНЕНО
      (ВЫБОР "Предусловие цикла_1 выполняется?"
        (ВАРИАНТ "Да"
          (ДЕЙСТВИЕ "Действие 2" (ВЕТКА "Ветка А" (АДРЕС "Ветка В"))
            (ДЕЙСТВИЕ "Действие 3" (ВЕТКА "Ветка В") (ВЕТКА "Ветка В" (АДРЕС "Ветка С"))
              (ДЕЙСТВИЕ "Действие 4" (ВЕТКА "Ветка С"))
            )
          )
        )
      )   
    )
    (ВЫБОР "Предусловие цикла_1 выполняется?"
      (ВАРИАНТ "Нет"
        (ДЕЙСТВИЕ "Действие 5" (ВЕТКА "Ветка С" (АДРЕС "Ветка D"))
          (КОНЕЦ (ВЕТКА "Ветка D"))   
        )
      )
    ) 
  )
)
Соединение изнутри одной ветки внутрь другой ветки легко отлавливается на уровне запросов к БД. Соответственно, определяется возможность "нормализации" записи - преобразовать запись так, чтобы все конструкции вида "(ВЕТКА "Ветка..." (АДРЕС "Ветка..."))" можно было заменить на "(АДРЕС "Ветка...")". В данном случае преобразовать в нормализованную форму невозможно.

Дополнительно:
Вложение:


Последний раз редактировалось Рэйлвэй Каген Понедельник, 14 Март, 2011 10:02, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Среда, 02 Март, 2011 21:26 

Зарегистрирован: Понедельник, 09 Ноябрь, 2009 17:29
Сообщения: 904
Откуда: Россия, Питер
Рэйлвэй Каген писал(а):
рассмотрим примитив, эквивалентный схеме, предложенной Эдуардом Ильченко:
Спасибо!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Вторник, 08 Март, 2011 12:27 

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

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

Огромное Вам спасибо. Низкий вам поклон.

Я дал ссылку в Википедии (в статье ДРАКОН):
Цитата:
Блинов Р.В. Процедурно-топологическая нотация
(ПРОТОН) для ДРАКОНа

http://ru.wikipedia.org/w/index.php?tit ... 0.BA.D0.B8

Если моя ссылка не точна, поправьте и дополните ее,
как считаете нужным.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Вторник, 08 Март, 2011 14:44 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Владимир Даниелович, спасибо. Обещаю и далее отвечать на вопросы и размещать в теме наиболее значимые результаты.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Вторник, 08 Март, 2011 19:19 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Рэйлвэй Каген писал(а):
рассмотрим примитив, эквивалентный схеме, предложенной Эдуардом Ильченко:
...определяется возможность "нормализации" записи - преобразовать запись так, чтобы все конструкции вида "(ВЕТКА "Ветка..." (АДРЕС "Ветка..."))" можно было заменить на "(АДРЕС "Ветка...")". В данном случае преобразовать в нормализованную форму невозможно.
...
Это связано с разрывом цикла ДЛЯ между ветками (передачей управления "мимо петли силуэта")?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Среда, 09 Март, 2011 14:33 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511
Нет, не так. Петля силуэта - весьма условная вещь. Это хорошо видно по денормализованной форме записи. Разметка силуэта легко может быть изменена без внесения изменений в структуру алгоритма, т.е. нет необходимости изменять иерархию вложенности тегов примитива при добавлении, изменении или удалении разметки силуэта.
Возможность записи с помощью ПРОТОН любой структуры в виде примитива была ранее показана на примере кодирования непланарного ориентированного графа К3,3 в viewtopic.php?p=53797#p53797 . Поэтому говорить невозможности нормализации именно из-за передачи управления "мимо петли силуэта" нельзя.
Невозможность нормализации записи силуэта следует из выбранного варианта его разметки, поскольку "Действие 4" и "Действие 5", располагающиеся в разных ветвях иерархической записи примитива, отнесены к одной ветви силуэта.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ПРОТОН для ДРАКОНа
СообщениеДобавлено: Четверг, 10 Март, 2011 11:21 

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


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

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


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

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


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

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