DRAKON.SU https://forum.drakon.su/ |
|
Текстовое лицо графического языка Дракон https://forum.drakon.su/viewtopic.php?f=143&t=6160 |
Страница 2 из 2 |
Автор: | Rifat [ Пятница, 08 Декабрь, 2017 17:21 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Alexey_Donskoy писал(а): Rifat писал(а): У меня открывается, все нормально. Спасибо, кэп. Может, ещё и приехать к вам предложите для работы в Интернете? Если я говорю о магистральном провайдере, это значит, что проблема известна, существует давно и наблюдается со множеством сайтов. И ни на одном устройстве ни у одного из местных провайдеров эти адреса не открываются (потому что все они, как ни удивительно, работают через магистральный Ростелеком). И плевать на список Роскомнадзора - в Ростелекоме заблокировано гораздо больше. Сайт, конечно, можно открыть - через open proxy, которые теперь запрещены в России законодательно... Возможно, вы его так и открываете, не подозревая даже об этом Никакими анонимайзерами не пользуюсь. Проверил через 2 провайдера: МТС и ЛидерТелеком, через оба нормально работает. Еще есть бесплатный сервис, который проверяет доступность сайта из разных городов и из разных стран. http://ping-admin.ru (ссылка на результаты проверки http://ping-admin.ru/free_test/result/1 ... li2gc.html будут доступны сколько то дней) Там практически отовсюду доступно, несколько городов российских только подсвечено, что сайт там не ответил в течение 8 секунд. Так что сайт практически везде работает. Мне кажется, наврятли, что специальная блокировка, просто технические проблемы где-то. |
Автор: | Alexey_Donskoy [ Пятница, 08 Декабрь, 2017 19:49 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Rifat писал(а): Мне кажется, наврятли, что специальная блокировка, просто технические проблемы где-то. Всё возможно. Чудеса, но сейчас открывается везде, а днём было доступно только через open proxy.Много раз пытался озадачить своих провайдеров, но они долго изучали трассировку и приходили к выводу, что ничего сделать нельзя - проблема у магистрального провайдера. |
Автор: | PSV100 [ Пятница, 08 Декабрь, 2017 20:45 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Цитата: Мне кажется, что конечные автоматы - это слишком низкий уровень для человека. На низком уровне в аппаратуре переходы между состояними так и работают. Но для человека нужно что-нибудь более высокоуровневое. ... И да, и нет. Бывают автоматы низкого уровня, бывают автоматы высокого уровня. ... Мне не удобно думать в понятиях автомата для данной задачи. А что удобно? Удобно явно задать шаги... ... Просто мне сложно найти аналоги описания конечных автоматов в докомпьютерной истории человечества... Про "уровневость" конечных автоматов, почему их не было в докомпьютерную эпоху и пр., неплохо изложено у В.Е. Зюбина, например: Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие На "высоком" уровне "для человека" понятие "состояние" трансформируется (по Зюбину) в функцию-состояние. Простой автомат с одной функцией-состоянием соответствует обычной функции (т.е. функции без состояния как "памяти о прошлом", или комбинационная схема). Прочие автоматы (с состоянием, или множеством функций-состояний) представляются как гиперпроцесс -- нечто вроде полиморфной функции, но выбор конкретной функции для исполнения осуществляется не статически, а динамически на основе событий. Иными словами, гиперпроцесс изменяет своё поведение во времени при наступлении определенных событий. |
Автор: | Владимир Паронджанов [ Пятница, 08 Декабрь, 2017 22:52 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
PSV100 писал(а): Про "уровневость" конечных автоматов, почему их не было в докомпьютерную эпоху и пр., неплохо изложено у В.Е. Зюбина, например: Огромное спасибо.Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие Цитирую стр. 68, 69 Цитата: Итоговые замечания. Таким образом, язык Рефлекс, ориентированный на описание алгоритмов функционирования сложных автоматизированных или полностью автоматических систем, построен как диалект языка Си. Синтаксис языка имеет как англоязычный, так и русскоязычный вариант. Си-подобный синтаксис упрощает изучение языка большинством программистов, русскоязычность делает его особенно привлекательным для отечественных пользователей. Синтаксис Си расширен концептом параллельно исполняемого процесса (полиморфной функции событийного типа) и состояния (альтернативной функции процесса). Синтаксис исключает описание рутинных операций по циклическому считыванию данных с модулей УСО и периодическую активизацию процессов. Контекстно определяются начальный процесс гиперавтомата и начальное состояние процесса. 69 http://reflex-language.narod.ru Текстовая форма записи позволила снизить трудоемкость задания конечного автомата, присущую классическим табличным и графическим способам его описания. Конструктивно обеспечены полнота определения автомата и выполнение условия однозначности переходов. В синтаксис языка введены специальные операторы, обеспечивающие простой механизм дивергенции и конвергенции потока управления на основе процессов, а также механизм временной синхронизации. Способ организации алгоритма на основе процессов обеспечивает структуризацию программы и абстрагирование от исполнительных органов системы управления, позволяя понятийно совместить описание алгоритма с предметной областью. Синтаксис и семантика языка концептуально адекватны модели гиперавтомата, что избавляет пользователя от необходимости изучать внутреннюю организацию событийного полиморфизма. Семантика языка гарантирует безопасную работу с локальными переменными. Событийность как неотъемлемое свойство процесса конструктивно обеспечивает отсутствие гонок и свободу при выборе стратегии управления. Делаю вывод. Надо скрестить язык Рефлекс с языком ДРАКОН |
Автор: | Владимир Шелехов [ Понедельник, 11 Декабрь, 2017 15:32 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Наверное, можно было бы сделать еще один графический редактор для языка Дракон и потом говорить, что он лучше всех. Однако пора подумать об инфраструктуре для всех разработчиков редакторов. На первом этапе предлагаю рассмотреть трансляцию с текстового языка в графический язык Дракон. Каким должен быть универсальный инструмент для всех редакторов? Два интерфейса: входной и выходной. Входной интерфейс описан в моем первом сообщении. Это текстовое лицо языка Дракон. Выходной интерфейс: команды работы с редактором для построения Дракон-схемы по исходной тестовой программе, поданной через входной интерфейс. Команды для работы в пакетном режиме, не диалоговом. Возможно в форме API. Предлагаю разработчикам редакторов высказываться относительно архитектуры инструмента. Объявляется конкурс на лучшее название инструмента. |
Автор: | Степан Митькин [ Вторник, 12 Декабрь, 2017 12:54 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Владимир Шелехов писал(а): На первом этапе предлагаю рассмотреть трансляцию с текстового языка в графический язык Дракон. Так что же должны сделать авторы редакторов? Я понял вот что: Юзкейс: "Трансляция программы на языке S в ДРАКОН-схему." 1. Человек пишет программу на языке S. 2. Язык S транслируется на язык C++, в котором присутствуют дополнительные символы (разметка). 3. Программа на C++ с разметкой транслируется в единый язык описания ДРАКОН-схем (далее "единый язык"). Единый язык понимается несколькими ДРАКОН-редакторами. 4. ДРАКОН-редактор преобразует описание ДРАКОН-схемы на едином языке в ДРАКОН-схему. Требуется: 1. Разработать единый язык описания ДРАКОН-схем. 2. Написать конвертор из C++ с разметкой в единый язык описания ДРАКОН-схем. 3. Для каждого ДРАКОН-редактора: написать код для импорта единого языка в редактор. Не требуется: 1. Написать конвертор из языка S в C++ с разметкой (это уже делается в рамках проекта Шелехова). 2. Написать конвертор из ДРАКОНа на другие языки (пока не требуется). Я правильно понял задачу? |
Автор: | Владимир Шелехов [ Вторник, 12 Декабрь, 2017 15:57 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Степан Митькин писал(а): Так что же должны сделать авторы редакторов? Не совсем.Я понял вот что: Юзкейс: "Трансляция программы на языке S в ДРАКОН-схему." 1. Человек пишет программу на языке S. 2. Язык S транслируется на язык C++, в котором присутствуют дополнительные символы (разметка). 3. Программа на C++ с разметкой транслируется в единый язык описания ДРАКОН-схем (далее "единый язык"). Единый язык понимается несколькими ДРАКОН-редакторами. 4. ДРАКОН-редактор преобразует описание ДРАКОН-схемы на едином языке в ДРАКОН-схему. Требуется: 1. Разработать единый язык описания ДРАКОН-схем. 2. Написать конвертор из C++ с разметкой в единый язык описания ДРАКОН-схем. 3. Для каждого ДРАКОН-редактора: написать код для импорта единого языка в редактор. Не требуется: 1. Написать конвертор из языка S в C++ с разметкой (это уже делается в рамках проекта Шелехова). 2. Написать конвертор из ДРАКОНа на другие языки (пока не требуется). Я правильно понял задачу? Во первых, я запутал всех с языком С++. Об этом надо было бы говорить в отдаленном будущем. Да, автоматная программа транслируется на С++ перед исполнением. Но работаем мы на языке автоматного программирования, а не на С++. Отображать в Дракон-схему нужно будет текст операторов на исходном языке автоматного программирования. Проще считать, что языка С++ нет. Язык S это текстовое лицо языка Дракон. То, что Степан назвал Юзкейс, реализуется другим образом. 1. Программу с исходного языка надо оттранслировать на язык S. 2. Универсальный инструмент с помощью команд, поданных во внешнем интерфейсе, строит Дракон-схему в пакетном режиме для программы на языке S. Что требуется от разработчика редактора языка Дракон? Отобразить набор своих команд во внешнем интерфейсе для возможности работы в пакетном режиме. А типовой набор команд во внешнем интерфейсе видимо должен быть единым для всех редакторов. Язык S будет разрабатывать студент. В двух вариантах: текстовый с разметкой специальными разделителями и в виде абстрактных структур, обычно используемых в трансляторах. То, что здесь предлагается, лишь одна из возможных архитектур. |
Автор: | Владимир Ситников [ Вторник, 12 Декабрь, 2017 16:13 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Всё равно непонятно что имеется ввиду. Можете показать конкретный пример? И, да, язык S уже давным давно есть. Вы именно статистический язык S имели ввиду? Выбирайте названия аккуратнее, пожалуйста. |
Автор: | Vladimir Zyubin [ Среда, 04 Май, 2022 09:52 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
Владимир Паронджанов писал(а): Делаю вывод. Надо скрестить язык Рефлекс с языком ДРАКОН Если интересно, можно познакомиться с текущими работами в области процесс-ориентированного программирования и принять участие в семинаре. Семинар посвящен сравнительному анализу различных подходов к решению задач управления, но ведущая часть разработчиков процесс-ориентированного программирования будет принимать участие (инженерия требований, IDE, динамическая и статическая верификация, спецификация): Коллеги, добрый день! 6 мая 2022 г. (пятница), 15:00 (11:00 МСК), google-meet состоится вебинар «Инжиниринг современных информационных систем» Тема: Автоматно-функциональный подход к моделированию киберфизических систем (на примере Event-B модели для верификации свойств алгоритма управления движением автомобилей на мосту) Докладчик: Нейзов Максим Вячеславович Аннотация: Описывается оригинальный подход к построению моделей киберфизических систем с целью их дедуктивной верификации. В качестве примера будет рассмотрена задача управления движением автомобилей на мосту. Представлена модель киберфизической системы в нотации Event-B, проведена формализация требований к системе. Верификация выполняется с помощью платформы Rodin. ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj (лучше использовать браузер гугл-хромиум) __ С уважением, координатор семинара Владимир Е. Зюбин https://www.iae.nsk.su/ru/seminars-and- ... s/sem-isis |
Автор: | LKom [ Среда, 01 Июнь, 2022 05:43 ] |
Заголовок сообщения: | Re: Текстовое лицо графического языка Дракон |
https://www.iae.nsk.su/ru/seminars-and-conferences/sem-isis/3035-220517-otklik-a-shalyto-na-seriyu-vebinarov-isis 17.05.2022 О развитии автоматного программирования: отклик А. Шалыто на серию вебинаров ИСИС Цитата: III. Шелехов, который не признает структурное программирование и использует операторы перехода, строит автоматное программирование на базе предикатного программирования.
... Поясняя свой подход, Владимир Иванович говорит: «Картинка здесь тоже понятная», но картинок у него нет – только тексты на предложенном языке требований. При этом автоматная программа пишется, как говорит Шелехов, «в стиле языка «Фортран» и представляется в виде набора правил: управляющее состояние М: <условие 1>, … <условие n> стрелка <действие 1>, … <действие m> #управляющее состояние L. Правила выполняются последовательно. Такие записи красивы, но Владимир Иванович, видимо, не знает, что Алиса говорила: «Девочки любят картинки». Оказалось, что не только девочки, и особенно в тех случаях, когда картинки являются наглядными формальными спецификациями, по которым во многом видна динамика переходов автоматов. Шелехов, правда, отметил, что есть специалисты, которые более близки графические спецификации и в качестве примера привел не мой подход с графами переходов, а язык «Дракон» со схемами алгоритмов, построенными особым образом. |
Страница 2 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |