DRAKON.SU

Текущее время: Вторник, 19 Март, 2024 13:05

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
СообщениеДобавлено: Понедельник, 21 Август, 2017 21:03 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Текстовый и графический редактор автоматных программ Владимира Шелехова

Владимир Шелехов писал(а):
Разработка дуального (текстового и графического) редактора автоматных программ запланирована на следующий год в рамках работ по гранту РФФИ. Первая задача -- конструирование транслятора с языка автоматных программ на язык Дракон. Проектирование включает три этапа:
    - разработка формальной семантики языка Дракон
    - построение праобраза Дракон-программы в текстовом языке программирования
    - кодирование автоматной программы через примитивы Дракон-программы.

Первоначально планировать описать формальную семантику Дракона через аппарат теории графов. Однако найдено другое более пр остое решение...

Формальная семантика определяет формальное представление структур управления языка Дракон. Это прямая формализация по сравнению с той, которая описана в книге "Учись ..." -- там Дракон-программа определена в проекции на редактор. Это также будет разговор о том, чем Дракон может стать. Предлагается включить новые структуры управления: гиперфункции -- схемы с несколькими выходами, недетерминированные и вероятностные автоматы.

Владимир Иванович, просьба рассказать о состоянии дел. Что планируется сделать к концу 2017 года?
А что — в 2018 году.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Август, 2017 15:01 

Зарегистрирован: Вторник, 22 Сентябрь, 2015 20:43
Сообщения: 76
Владимир Паронджанов писал(а):
Текстовый и графический редактор автоматных программ
Владимир Шелехов писал(а):
Разработка дуального (текстового и графического) редактора автоматных программ запланирована на следующий год в рамках работ по гранту РФФИ.
Просьба рассказать о состоянии дел. Что планируется сделать к концу 2017 года? А что — в 2018 году.

Разработка текстового и графического редактора -- одна из десятка разных тем, обозначенных в гранте. Один магистрант НГУ записался ко мне на эту тему. Начнет работать с сентября, если только не сменит тему -- такое бывает. Построим формальную семантику. Запроектируем текстовое представление языка Дракон и т.д. Здесь у меня нет четких планов. В условиях неопределенности детально планировать бесполезно.

Я сотрудничаю с одной фирмой. Им нужно написать документ -- требования на один из своих программных продуктов. В рамках этой работы я буду учить сотрудников этой фирмы инженерии требований. Буду использовать несколько стилей спецификации требований. Один из них на языке Дракон. Если этот эксперимент будет успешным, следующим этапом может стать разработка редактора в интересах этой фирмы.

Аналогичные перспективы возможны для одной организации авиационной отрасли. Но там я только веду переговоры.

С интересом смотрю на стандарт языка LML - LIFECYCLE MODELING LANGUAGE. Это новый более совершенный язык моделирования в системной инженерии вместо надоевших всем UML и SysUML.
Раздел 4.1. Диаграммы действий. Там было бы лучше использовать Дракон-схемы.
Раздел 4.4.6. Диаграммы машины состояний. Здесь также можно использовать Дракон-схемы.
Владимир Данилович, наверняка Вы найдете другие части стандарта, которые следовало бы исправить.


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

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


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

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


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

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