Обнаружился сабж на просторах инета
http://watts.cs.sonoma.edu/SFC/
Вложение:
sfc.png [ 66.09 КБ | Просмотров: 12734 ]
| OberonCore https://forum.oberoncore.ru/ |
|
| Structured Flow Chart Editor https://forum.oberoncore.ru/viewtopic.php?f=121&t=4322 |
Страница 1 из 1 |
| Автор: | Ильченко Эдуард [ Суббота, 20 Апрель, 2013 23:28 ] |
| Заголовок сообщения: | Structured Flow Chart Editor |
Обнаружился сабж на просторах инета http://watts.cs.sonoma.edu/SFC/ Вложение: sfc.png [ 66.09 КБ | Просмотров: 12734 ] |
|
| Автор: | Владислав Жаринов [ Воскресенье, 21 Апрель, 2013 13:50 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Спасибо, интересная штука. Преобразования схем Янова спроецированы практически для всего импер-синтаксиса по ГОСТ 19.701...  При этом мерность отделяется от структурности..В результате можно организовать маршруты в т.ч. "почти по шампуру" (исключая только "развилку"... кою, впрочем, можно кейсом заменить)... Кстати, синтаксис кейса "по Тай Уоттс[у]" правильно представляет семантику - проверки на равенство происходят для каждого варианта в порядке просмотра (в "переключателе" надо об этом догадываться)... В общем-то что-то схожее давно и использую (не в Драконографике )... Тока эта штука ещё и псевдокод генерит... и подключает "жёсткие поля" на линии схемы (приближая её к проекту СемИДЕ в этом определении), так надо понимать?..Дока, кстати, вполне. Её бы ещё в самом редакторе делать... Ну, схем всего остального по ГОСТ, само собой, нехватает... но назначение, понятно, узкое - зарисовать маршруты и "приткнуть всё остальное"...  Как образец требований к редактированию маршрутной части программ/инструкций очень даже... А для всего остального уже нужно от схем Янова переходить к схемам Лаврова...
|
|
| Автор: | Дмитрий Грачёв [ Воскресенье, 21 Апрель, 2013 14:15 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Владислав Жаринов писал(а): Преобразования схем Янова спроецированы практически для всего импер-синтаксиса по ГОСТ 19.701... При этом мерность отделяется от структурности..В результате можно организовать маршруты в т.ч. "почти по шампуру" (исключая только "развилку"... кою, впрочем, можно кейсом заменить)... Правильно ли я понял, что семантика Дракона и блок-схем в данной программе очень похожи? |
|
| Автор: | Владислав Жаринов [ Воскресенье, 21 Апрель, 2013 14:19 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Именно... только семантика как раз тут точнее представляется... а Вы, наверное, о синтаксисе укладки на плоскости... Если выбрать нужные варианты организации цепей для нелинейных блоков ("составных атомов") при их создании. Не понял, можно ли перевыбрать в дальнейшем... Вот на такой штуке уже можно примерно показывать и основы черчения алгоритмов (вообще устремлённых графов)... т.к. можно разными вариантами грубо смоделировать и "одномерные", и "двумерные" физически структуры в этом смысле... P.S. А вообще-то лучше всего в редакторе сразу заложить отрисовку "линейно" и "двумерно". Чтоб, допустим, переключил режим - и было, если брать на этом примере, либо как для процедур разборки/сборки, либо как для освобождения патронника... |
|
| Автор: | Владислав Жаринов [ Воскресенье, 28 Апрель, 2013 06:52 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Поработал - да, можно переподставить блок вместо существующего (с заменой типа тоже). Кстати, реализован базис-метод исчисления графов полностью... и контекстные меню (как было впоследствии в Ты-среде)... существенно упрощающие интерфейс приложения... Ну и также схема только для маршрутов программы... а типы надо "притыкать"... Но как демка для представления ТЗ на редактирование маршрутной части процессов пойдёт... |
|
| Автор: | Валерий Лаптев [ Воскресенье, 28 Апрель, 2013 08:10 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Владислав Жаринов писал(а): Кстати, реализован базис-метод исчисления графов полностью... Вот это проясните пожалуйста... Исчисление графов - это что? |
|
| Автор: | Владислав Жаринов [ Воскресенье, 28 Апрель, 2013 11:54 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Это, как частный случай, и метод, реализованный в этом редакторе... и шампур-метод (оба для устремлённых графов)... и графит-метод (как несколько более общее, ибо и для других топологий)... Ну, дедуктивная система же во всех случаях... только в алфавите подграфы, а аксиомы и теоремы - графы... так что такое название... более формальное (и семантичное)... Ну а редактор госпожи Уоттс и её универа наглядно сие демонстрирует... с 2001 года (вроде даже это не первая версия)... Как Вы помните, уже давно говорил, что надо иметь версию такого исчисления "только вложением". В своё время эту версию мне и было предложено назвать "базис-методом", что и принял: ... - т.е. используем только прибавления/вычитания блоков (термин "атом" будет заменён, дабы не путать с атомарностью участков маршрутов в смысле теории параллелизма - ну, это по Карпову тому же помните). Ну а трансформы в этом редакторе можно представить как цепочку "вычесть текущий блок - прибавить в образовавшуюся точку вставки другой с перевыбором типа блока".Правило 4. Базис-метод — часть графит-метода за исключением операций преобразования конфигурации. Необходим и достаточен для вывода графит-схем т.н. доказательным образом, с помощью логических рассуждений о смысле (семантике) структур схемы, исходя из цели (прагматики) схемы. ... В общем, метод для устремлённых графов структурных. Т.е. то же, что в СЛ-языке принято - без явных БП. Но при условии, кое ранее тоже обсуждалось: Владислав Жаринов в viewtopic.php?p=71937#p71937 писал(а): ... Главное же правило структурности для шампур-схем формулируется просто - это атомарность топологии схемы. Т.е. выводимость вложением (вводом атома). Причём структурный составной атом не должен содержать внутри пересечений (я понимаю, что это д.б. очевидно - но мы здесь о формальном определении). Это и будет "собственным (т.е. сформулированным для граф-шампур-формы записи структур управления) правилом ДРАКОНа, позволяющим сохранить структурность" ((С) П. Приклонский).
Действующие ШМ-правила сохраняют на самом деле планарность схемы как графа. Кстати, Блинов ведь высказывал мнение, что вывод вложением был уже у Эльбрусовцев: Рэйлвэй Каген в 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. Выполняется каждый раз автоматически по окончании выполнения очередной команды целевой платформы. Поскольку на сегодня для широких масс не реализованы более экзотические методы исполнения команд, кроме как последовательные, данный оператор пока является умолчательным. Его явное указание для массово применяемых архитектур просто привет к неоправданному загромождению текста программ. Вторая причина - априорная неопределенность в количестве шагов целевой платформы для действий, записанных на языке высокого уровня.... |
|
| Автор: | Валерий Лаптев [ Воскресенье, 28 Апрель, 2013 12:07 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Я в слове "исчисление" увидел только корень "числ"...
|
|
| Автор: | Владислав Жаринов [ Воскресенье, 28 Апрель, 2013 12:24 ] |
| Заголовок сообщения: | Re: Structured Flow Chart Editor |
Не, ну это слово как синоним дедуктивной системы не только в книгах по техноязыку используется... хотя действительно нечасто в литературе, которая мне попадалась... |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|