OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Суббота, 16 Декабрь, 2017 02:35

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




Начать новую тему Ответить на тему  [ Сообщений: 9 ] 
Автор Сообщение
 Заголовок сообщения: Structured Flow Chart Editor
СообщениеДобавлено: Суббота, 20 Апрель, 2013 23:28 

Зарегистрирован: Понедельник, 09 Ноябрь, 2009 17:29
Сообщения: 144
Откуда: Россия, Питер
Обнаружился сабж на просторах инета
http://watts.cs.sonoma.edu/SFC/
Вложение:
sfc.png
sfc.png [ 66.09 КБ | Просмотров: 2701 ]


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 21 Апрель, 2013 13:50 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Спасибо, интересная штука. Преобразования схем Янова спроецированы практически для всего импер-синтаксиса по ГОСТ 19.701... :) При этом мерность отделяется от структурности..
В результате можно организовать маршруты в т.ч. "почти по шампуру" (исключая только "развилку"... кою, впрочем, можно кейсом заменить)... Кстати, синтаксис кейса "по Тай Уоттс[у]" правильно представляет семантику - проверки на равенство происходят для каждого варианта в порядке просмотра (в "переключателе" надо об этом догадываться)...
В общем-то что-то схожее давно и использую (не в Драконографике :))... Тока эта штука ещё и псевдокод генерит... и подключает "жёсткие поля" на линии схемы (приближая её к проекту СемИДЕ в этом определении), так надо понимать?..

Дока, кстати, вполне. Её бы ещё в самом редакторе делать... :) Ну, схем всего остального по ГОСТ, само собой, нехватает... но назначение, понятно, узкое - зарисовать маршруты и "приткнуть всё остальное"... :wink: Как образец требований к редактированию маршрутной части программ/инструкций очень даже... А для всего остального уже нужно от схем Янова переходить к схемам Лаврова... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 21 Апрель, 2013 14:15 

Зарегистрирован: Суббота, 17 Сентябрь, 2011 16:39
Сообщения: 72
Владислав Жаринов писал(а):
Преобразования схем Янова спроецированы практически для всего импер-синтаксиса по ГОСТ 19.701... :) При этом мерность отделяется от структурности..
В результате можно организовать маршруты в т.ч. "почти по шампуру" (исключая только "развилку"... кою, впрочем, можно кейсом заменить)...


Правильно ли я понял, что семантика Дракона и блок-схем в данной программе очень похожи?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 21 Апрель, 2013 14:19 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Именно... только семантика как раз тут точнее представляется... а Вы, наверное, о синтаксисе укладки на плоскости...
Если выбрать нужные варианты организации цепей для нелинейных блоков ("составных атомов") при их создании. Не понял, можно ли перевыбрать в дальнейшем...

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

P.S. А вообще-то лучше всего в редакторе сразу заложить отрисовку "линейно" и "двумерно". Чтоб, допустим, переключил режим - и было, если брать на этом примере, либо как для процедур разборки/сборки, либо как для освобождения патронника...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 28 Апрель, 2013 06:52 

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 28 Апрель, 2013 08:10 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2846
Откуда: Астрахань
Владислав Жаринов писал(а):
Кстати, реализован базис-метод исчисления графов полностью...

Вот это проясните пожалуйста... Исчисление графов - это что?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 28 Апрель, 2013 11:54 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Это, как частный случай, и метод, реализованный в этом редакторе... и шампур-метод (оба для устремлённых графов)... и графит-метод (как несколько более общее, ибо и для других топологий)...
Ну, дедуктивная система же во всех случаях... только в алфавите подграфы, а аксиомы и теоремы - графы... так что такое название... более формальное (и семантичное)... :) Ну а редактор госпожи Уоттс и её универа наглядно сие демонстрирует... с 2001 года (вроде даже это не первая версия)... :)

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

В общем, метод для устремлённых графов структурных. Т.е. то же, что в СЛ-языке принято - без явных БП. Но при условии, кое ранее тоже обсуждалось:
Владислав Жаринов в viewtopic.php?p=71937#p71937 писал(а):
...
Главное же правило структурности для шампур-схем формулируется просто - это атомарность топологии схемы. Т.е. выводимость вложением (вводом атома). Причём структурный составной атом не должен содержать внутри пересечений (я понимаю, что это д.б. очевидно :wink: - но мы здесь о формальном определении). Это и будет "собственным (т.е. сформулированным для граф-шампур-формы записи структур управления) правилом ДРАКОНа, позволяющим сохранить структурность" ((С) П. Приклонский).
    Любые другие правила структурность не сохраняют - см. теорему Бёма-Джакопини (достаточна композиция следований - линейных шампур-блоков - и циклов). И когда сочинитель оперирует с лианой так, что в примитиве (а равно и в примитивизированном силуэте) нарушается атомарность (возникает лианный, адресный макроблок) - он тем самым вводит явный БП. Который в текстовом виде потребует goto или заменителя - и это будет просто текстовым средством выражения того же понятия.
    Действующие ШМ-правила сохраняют на самом деле планарность схемы как графа.
...

Кстати, Блинов ведь высказывал мнение, что вывод вложением был уже у Эльбрусовцев:
Рэйлвэй Каген в viewtopic.php?p=52411#p52411 писал(а):
...
1. Стиль программирования с помощью "вложений" описан также в материалах по языку Эль-76(напр.: Сафонов В.О. "Языки и методы программирования в системе ЭЛЬБРУС", 1989г.). "Программирование на языке выражений" реализовано с помощью замкнутых, условных, выбирающих и структурных выражений, объединяемых понятием "закрытое выражение". Более того, стиль многих практикующих программистов основан на "вложениях" - сразу после написания управляющего оператора, целиком набирается ограничивающая конструкция begin - end или { }. Многие IDE могут автоматически подставить ограничивающие конструкции. Далее программист набирает текст уже внутри конструкции, формируя ту самую цепочку "вложений". И это не воспринимается, как нечто необычное.
...
- только термин был другой.

СемИДЕ, в отличие от "многих ИДЕ", уже не скобки пользователю предлагает, а трафареты блоков, доступных для трансформации только [пере]подстановкой имён величин и/или действий (операций в выражениях). Так ведь?

Кстати, о переходе, который называю "естественным":
Рэйлвэй Каген в viewtopic.php?p=52411#p52411 писал(а):
...
2. ...
Рэйлвэй Каген в viewtopic.php?p=17324#p17324 писал(а):
здесь
Владимир Паронджанов писал(а):
..ОПЕРАТОРА сочленения нет — корова языком слизала..
:) Есть. Это inc(PC). Увеличение на единицу ProgramCounter. Выполняется каждый раз автоматически по окончании выполнения очередной команды целевой платформы. Поскольку на сегодня для широких масс не реализованы более экзотические методы исполнения команд, кроме как последовательные, данный оператор пока является умолчательным. Его явное указание для массово применяемых архитектур просто привет к неоправданному загромождению текста программ. Вторая причина - априорная неопределенность в количестве шагов целевой платформы для действий, записанных на языке высокого уровня.
И, кстати, вложенные выражения соединяет этот же оператор.
...
- тут тоже термин другой, а смысл тот же. Выборка адреса следующего оператора данного уровня детализации императивного кода (укрупнённого, ЯВУ-шного, асмовского, микрооперационного)...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 28 Апрель, 2013 12:07 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2846
Откуда: Астрахань
Я в слове "исчисление" увидел только корень "числ"... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Structured Flow Chart Editor
СообщениеДобавлено: Воскресенье, 28 Апрель, 2013 12:24 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Не, ну это слово как синоним дедуктивной системы не только в книгах по техноязыку используется... хотя действительно нечасто в литературе, которая мне попадалась...


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

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


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

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


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

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