Comments 123
Ну, зато там используются иконы.
Действительно, сложнее сделать алгоритмическую ошибку. Так что чем выше требуемая надёжность — тем более полезны такие инструменты. Тем более что есть обратный преобразователь (код — диаграмма).
Если нужны мегабайты исходников в день некритичных к качеству — однозначно не нужно.
У меня богатый опыт рассматривания схем для FPGA — графические схемы очень не просто понимать.
Полагаю, что сравнение схем для FPGA с диаграммами ДРАКОН не совсем корректно, но если заставить себя строго соблюдать правила из ДРАКОН и добавить правило «одного экрана», то будет вполне себе, хотя я схемы для FPGA уже лет 15 не рисовал…
Не, ну как. Для описания простых алгоритмов — положить в печку, ждать 15 минут, достать, посолить — вполне катит. Когда того, кто создаёт алгоритм о программировании знает только из фантастических фильмов. Когда речь идёт о том, чтобы какой-то реальный софт писать — жуткая жуть, конечно.
Никакой код из этого, конечно, сгенерировать не удасться. О каком программировании здесь вообще может идти речь? От этой блок-схемы до реальной программы ещё кодить и кодить. Более того, когда реальная программа будет написана, она не будет иметь ничего общего с этой идиалистической блок-схемой.
Как ни странно, но люди, не имеющие опыта в программировании, но имеющие потребность что-то запрограммировать (и желательно без привлечения специально обученных людей), любят использовать средства графического программирования. Лет 5 назад был популярен ts lab для биржевого трейдинга, rapidminer более-менее распространенный продукт для обработки данных. Забавляет то, что после нескольких лет использования возникают монстры на 1500 прямоугольников и стрелок, и совладать с таким монстром уже становится сложнее, чем научится писать код
Я думаю нодовые системы программирования куда читабельнее и практичнее, чем это.
Потому как объемный и сложный код в диаграммах… ну это как-то сложно по моему.
Его основные принципы были заложены ещё самим Дейкстрой. Нынешнюю свою форму ДРАКОН приобрёл в недрах российской космической отрасли. Примечательно то, что правила языка ДРАКОН не возникли случайно. Они были сначала обкатаны в фокус-группах, а потом отточены в реальных космических проектах.
И оп-па: последняя ракета улетает «не туда», потому что кто-то забыл где-то поправить привязку к Байконура. Случайность? Возможно… Но уж очень она характерная…
Потому что у всех этих визуальных штучек есть большая проблема: отслеживание истории и зависимостей.
С git и grep можно работать и здесь.
Но проблема указана правильно.
С git и grep можно работать и здесь.Меня больше «git blame» интересует. Он для каждой строки указывает — кто и когда её написал. То есть вы, увидев странную проверку в коде, можете сразу посмотреть на тот changelist, который эту проверку добавил. Иногда, конечно, выясняется, что «странная проверка» появилась как результат работы clang-format'а — но тогда можно отступить на шаг и посмотреть на «git blame» уже там.
Главное — нужно просматривать не сотни changelist'ов, а один-два. Очень сильно помогает. Вы говорите, что для ДРАКОНА что-то такое есть. Как оно выглядит и работает-то?
Графическое представление алгоритма как раз и нужно для того, что бы наглядно логику алгоритма, то есть более высокий уровень.
Не думаю, что есть готовый инструментарий, но посмотрите на пару-тройку-пятреку-десяток лет назад, сколько было удобный инструментов для JS? Сколько сейчас?
Блок-схема (диаграмма итд) — это всего-навсего одно из представлений.
Какие проблемы сделать diff?
Есть же для xml diff, который не тупо строки сравнивает, а структуру документа, точно так же можно и для этого сделать. Если нужно, конечно
Как раз российская космонавтика отправляет что нужно и куда нужно в 99% случаев.Не в 99% случаев, а, скорее, в 80%. Скажем Протон: 404 запуска, 49 аварий.
Если запускается что-то совершенно новое или радикально изменённое, то это понятно — опыта нет, пока не отработают — аварийность повышена. Как с тем же Фальконом, который взорвался из-за использования экспериментальной процедуры переохлаждения топлива.
У Роскомоса — то что-то неправильно рассчитают, то временной интервал заузят, то скрытую проблему в алгоритме обнаружат.
А ведь все эти рассчёты — это как раз и есть сфера применения суперклассного, высоконадёжного, уникального ДРАКОНа! Или нет?
Вроде бы хабл не был местом для жополизов-хейтеров, как вы-то тут оказались?Не знаю, кто тут хейтёр-жополиз, может быть вы? Если почитаете мои комментарии к статье про Маска, то увидите, что меня вряд ли можно назвать его фанатом.
У него тоже бывают проколы с программами (в той же самой аварии, о которой я уже говорил выше аппарат можно было бы спасти, если бы аппарат был запрограммирован выпускать парашюты при аварии) — но, согласитесь одно дело — не предусмотреть в программе что-то для исключительной ситуации, другое — «пролюбить» «все полимеры» при штатной.
Если ДРАКОН — так удобен и крут, то почему так много ошибок из-за которых происходят аварии, а?
Я вот например не очень понимаю ценности таких вот «оффтопных вставок» еще и невесть на очем осованных, каких делаете вы, отсюда и мой комментарий.Основаны они, вообще-то, на оффициальных данных Роскосмоса.
Я как раз скорее Роскосмос уважаю, однако то, что уж очень много у них «ошибок в алгоритмах» в отчётах я давно для себя отметил.
А тут как раз предлагают их подход к программированию использовать. И сразу возникает вопрос: если хочется экзотики, то, может быть, стоит взять лучше обычный язык программирования (но с более более вменяемым, чем у C#/C++/Java синтаксисом), чем вот это вот чудо?
А ДРАКОН действительно чудо.Тогда почему это «чудо» раз за разом приводит к неправильным вычислениям при запусках?
В рассматриваемой ситуации с неудачным запуском ничего не программировали, хотя надо было.В рассматриваемой — это в какой? Я там наверху три запуска привёл где алгоритмические ошибки привели к проблемам (со слов соответствующей комиссии, по крайней мере).
Человеческий фактор.Но если «говнокод обычных языков» более эффективно позволяет с ним бороться — то, может, так и надо?
А сейчас уже навесили генерацию кода. А я как-то даже написал на яваскрипте самоисполняющийся дракончик. Но из меня программист, как из курицы истребитель, поэтому в общем и целом фигня получилась. Но работала.
И исправьте SSL у себя на drakon-editor.com
Привожу ниже 2 алгоритма.
Один я нарисовал блок-схемами в VISIO,
второй нарисовал он на ДРАКОНе.
Получилось настолько проще, понятнее и элегантнее, что я проникся
Под спойлером обе версии алгоритма для сравнения:
Поиск ошибки превращается в ад.
P.S. Мопед не мой, я просто разместил объяву
Подсветка ФБ там не поможет.
Проблема в том, что в этом куске кода слишком много связей внутри, и их тяжело отследить.
От графического языка я, в первую очередь, хочу получить визуализацию связей между частями программы.
Проблему конкретного куска кода из комментария выше можно решить, разбив программу на функции.
Дракон нас вынуждает делать это разбиение и, тем самым, предотвращает появление «хаотичных» связей.
Программа выше разработана на CFC и там нет такого «принуждения». Оно есть в FBD, но там нет возможности запретить выполнение блока. Что вынуждает нас «ломать» мировоззрение и строить программы исходя из этого ограничения.
Ничего страшного в этом куске кода нет. Наверняка его можно причесать, составив булевое выражение между входами и выходами и упростив его. Да даже если не упростится, будет точное соответствие между требуемым мат. описанием и полученным кодом.
Вот для понимания как оно работает, надо узнать назначения входов и выходов.
Задача со звёздочкой: два программиста независимо друг от друга вносят в одну программу изменения (для простоты будем считать, что они делаются в разных местах и не конфликтуют). Слейте эти изменения автоматически в один результат.
«Вы все еще правите код до того, как внесете изменения на диаграмму классов и алгоритм?
Тогда мы идем к Вам.»?
Вне зависимости от того, что хранится в этом файле: код программы на текстовом языке (выберите любой), код на графическом языке (приведенные выше CFC, FBD или ДРАКОН), рисунок или звуковой файл.
Предположите, что изначально блоков P, C и G не было. Вася добавил блоки P и C, Петя — блок G.
А ваша обьединялка, очевидно, должна породить вот то, что справа — с блоками B1, B2, B3, B4.
Код (на любом языке, не обязательно Драконе) или хотя бы алгоритм — приветствуются.
«Отсутствует инструменты для diff и merge.» Это, к сожалению, так. При работе с системой контроля версий сравнивать приходится сгенерированные исходные файлы.
Собственно одна эта проблема замедляет разработку сложных систем на порядк, а то и на два.
Возможно (возможно — я в этом не на 100% уверен) результат будет более качественным — вот только готов он будет того, когда смысла в нём не будет никакого.
Не все разработчики могут себе позволить такую роскошь — вылизывать код годами, чтобы один и тот же участок кода не правился двумя людьми одновременно.
отобразите эти изменения графически (что удалено, что вставлено, что изменено)
Вы правы, присутствует дефицит таких средств.
Кстати, имеющиеся средства для слияния текстовых программ с трудом справляются, если изменения касаются топологии алгоритма. Отобразить изменения типа CreateWindow -> CreateWindowEx получается хорошо, а переработанный блок вложенных if — не всегда.
Круто, когда строим ракету. В «бизнесе» становится недостатком, т.к. не к месту добавленное условие «если луна в Овне — вот это пропускаем, а тут вместо 5 умножаем на 5.3» может заставить переделывать половину программы.
Вообще штука безусловно полезная, но очень нишевая. Для формального описания алгоритмов аля «технологический процесс приготовления борща» подходит идеально :)
Схема борща — параллельная, допускающая одновременную обработку несколькими процессорами-поварятами.
А схемы на Драконе — это просто state-machine для одного процессора, строго.
дел
Все задачи «первичная обработка» могут выполняться параллельно, следовательно, запускаем их одновременно.
К некоторым из них добавляем в конвейер задачу «нарезка».ле
Перед тушением ставим барьер.
Аналогично после закладывания.
В конце задача «Доведение до вкуса» уже для одного процесса.
P.S. Показал жене — она сказала, что это неправильный борщ, в нем нет ключевого компонента — мяса.
Разве я сказал, что процессов два? Или это следует из технологической схемы? В том то и дело, что технологическая схема не определяет параллельность, но дает возможность её сделать.
В Драконе же придется каждый процесс описывать отдельно, потому что его синтаксис не предусматривает распараллеливание процессов. И вообще, Дракон позиционируется как язык программирования, поэтому имеет ограничения.
Круто, когда строим ракету. В «бизнесе» становится недостатком, т.к. не к месту добавленное условие… может заставить переделывать половину программы.
Работаю с ДРАКОНом для ТЗ «бизнесе». Проблемы такой не заметил. Заказчики постоянно добавляют что-нибудь не к месту. Дорисовываю диаграммы, и если добавления содержат противоречия, эти противоречия сразу видны.
А схема с борщом грамотная, кстати.
Насколько он популярен в зарубежной среде?
Этот Ваш Дракон — это правильно, но к сожалению он не развился. Взгляните на Matlab/Simulink/Stateflow сегодня — это то, чем мог бы стать Дракон, если бы развивался дальше. Представление алгоритмов как в виде блок-схем, так и в виде автоматов состояний. Автоматическая генерация кода для процессоров и ПЛИС. Используется и в космосе и в автомобилестроении. Моделирование — важнейшая функция. Сотни различных тулбоксов от DSP и до силовой электроники.
Всего не пересчесть.
Matlab/Simulink/StateflowЦена? Не для студента, если что.
если бы развивался дальше.Видимо, теперь, когда есть опенсорц редактор, можно и развивать. Потому и статья появилась.
Цена? Не для студента, если что.
Матлаб для студентов бесплатен. Цена для промышленности высокая, да — но это компенсируется повышенной скоростью разработки и меньшими вложениями в программирование и отладку.
Но плюсов всё таки больше.
Пример с борщом.
Другое дело, что DRAKON Editor это не поддерживает на данный момент.
Приходится обходиться другими методами, включая конечные автоматы в качестве акторов.
Есть иконы "Ввод" и "Вывод". Применются для обозначения приёма и посылки сообщений.
Есть икона "Полка". Там в верхней части обычно пишут исполнителя (если их несколько). Но можно написать отправителя и получателя сигнала. Например: Браузер > Сервер приложения
См. набор икон в https://ru.wikipedia.org/wiki/ДРАКОН
Алгоритм для "Фрегата" с разворотом на 355 градусов на ДРАКОНе писали?
Он привнёс в блок-схемы структуру, порядок и единообразие. Предсказуемость и опрятность ДРАКОН-схем приводят к тому, что визуальное программирование работает.
Структурное программирование делает то же самое для «текстовых» программ без изобретания велосипедов.
Справа налево можно исключительно через диагональные линии.
__________________________________________________________________
Забыл, что правый шампур — отброшенный сложный вариант. В нём можно легко перемещаться и вправо и влево, главное знать, что входы выше горизонтальной середины блока, выходы равны или ниже середины блока.
И как это будет всё происходить при визуальном редактировании? Понятно, что не все файлы так активно меняются, но заранее ж не угадаешь…
У меня есть ощущение, что при увеличении (и усложнении!) программ мы достаточно быстро в эту проблему будем упираться — то при разработке больших (и, соответственно, сложных) программ эта технология — скорее минус, чем плюс.
А небольшие (и, соответственно, несложные) программы, как бы, и без этого можно разрабатывать. Так кому оно нужно? Тому, кто разрабатывает несложные, но крайне ответственные программы? Ну теоретически — да, возможно, а на практике… есть ли выигрыш?
Но это ДРАКОН, язык. DRAKON Editor (софт) не поддерживает на данный момент некоторые фичи языка ДРАКОН. Поэтому я прибегаю к ДРАКОНовским конечным автоматам для такого.
Это в следующей статье.
А у графического языка имеются фундаментальные преимущества по сравнению с текстом.
Пусть так, но зачем изобретать было велосипед, если уже был ЕРС?
Можно ли как-то на Драконе изображать схемы в нотации ЕРС?
bipiem, вы задали важный и интересный вопрос. Событийная цепочка процессов (EPC — event-driven process chain) — тип диаграммы, используемой для бизнес-моделирования и для улучшения бизнес-процессов.
Вы правы, язык ДРАКОН можно использовать для описания и моделирования бизнес-процессов. Однако это уже не будет EPC-нотация. Потому что у ДРАКОНа есть своя собственная нотация, гораздо более выразительная и предназначенная для точного описания алгоритмов. В данном случае, бизнес-алгоритмов, то есть потоков работ (workflows).
С уважением,
Владимир Паронджанов
Вы правы, язык ДРАКОН можно использовать для описания и моделирования бизнес-процессов. Однако это уже не будет EPC-нотация. Потому что у ДРАКОНа есть своя собственная нотация, гораздо более выразительная и предназначенная для точного описания алгоритмов.
Можно узнать, чем она более «выразительная» по сравнению с ЕРС?
Заодно, и чем лучше «для точного описания алгоритмов» чем BPMN?
А заодно: чем лучше «великой и могучей» нотации ArchiMate, предназначенной для описания (страшно даже произнести) Enterprise Architecture:
habrahabr.ru/post/345948/#comment_10607662
В моём «шампуре» Yes — это всегда направо, т.к. любой положительное можно инвертировать: А < Б на А > Б, «дождь идёт?» на «дождь не идёт»…
Вы правы, любое положительное высказывание теоретически можно инвертировать.
Но здесь есть трудность, если учесть необходимость соблюдения норм профессиональной терминологии в терминах предметной области.
Отрицание может внести затруднение в понимание сути вопроса (если учитывать требование когнитивной эргономики).
Уместно привести слова Эдварда Йодана:
Если это возможно, то избегайте отрицаний в булевских выражениях; представляется, что их понимание составляет трудность для многих программистов.
Источник: Эдвард Э. Структурное проектирование и конструирование программ. — М.: Мир, 1979. — 415 с. — С. 252.
По этой причине в языке ДРАКОН предусмотрены оба случая:
1) Да вниз, Нет вправо
2) Нет вниз, Да вправо.
Такой подход создает наибольшую удобочитаемость и облегчает чтение сложных программных текстов.
С уважением,
Владимир Паронджанов
Положительные переходы можно было бы синей линией, отрицательные красной.
Просто раз уж избавляемся от текста, то надо бы до конца.
Почему в ДРАКОНе не используется цвет? Ведь цвет значительно облегчает ориентироваться в мире.
Вы правы, цвет очень помогает. В ДРАКОНе цвет используется, например, для заливки фона. Это помогает отделить фигуру от фона и направить внимание читателя на фигуру, то есть на дракон-схему.
В остальных случаях с цветом нужно быть осторожным. Неумелое использование цвета может вызвать раздражение у читателя. Тут необходимо пробовать и советоваться с художниками, специалистами по цвету.
С уважением,
Владимир Паронджанов
Визуальное программирование на языке ДРАКОН