Снова о прикладных исследованиях
Опубликованы окончательные результаты проекта META, который в прошлом году вела DARPA. Работы является частью продолжающейся и сегодня программы Adaptive Vehicle Make (AVM).
По оценке отечественного специалиста в области системной и программной инженерий Анатолия Левенчука, завершенные работы по проекту META свидетельствуют об успешных результатах реализации нового подхода в разработке предметно-ориентированных языков (domain-specific language – DSL) – интеграции инженерных DSL.
Разработанный метаязык («язык языков») – Formal United System Engineering Development (FUSED) – позволяет работать в единой системе управления жизненным циклом (СУЖЦ) с различными программными моделями на многочисленных языках проектирования и программирования, реализованными разными авторами, с разным уровнем абстракции и для разных целей и объектов управления.
Практически это означает, что на примере разработки маломассогабаритного БПЛА группа разработчиков продемонстрировала интеграцию десяти разнородных моделей (требований, концептуальной, геометрической, динамической, замысла применения, функциональной и др.), выполненных на девяти языках моделирования и программирования в различных средах (SysML, Excel, Creo/ProE, AVL, Modelica, AADL, ATSV, SMTLib, MiniZinc).
Разработанные спецификации и процедуры FUSED позволили «автоматически» преобразовывать получаемые артефакты проектирования в цепочке ЖЦ изделия.
Загрузка...
- Комментарии
- Vkontakte
- Новое
- Популярное
Александр Катенин
02 февраля 2012
http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык) ;
http://drakon.su/
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Александр Катенин
10 февраля 2012
<*
aashalyto, 15:14, 10 Февраля 2012
Язык программирования "Дракон" (http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык)). Зачем управляющие алгоритмы описывать так громоздко (http://www.youtube.com/watch?v=Ua9dUUONjdk&feature=youtu.be), когда есть автоматное программирование (http://is.ifmo.ru/), в котором используются схемы связей и графы переходов (http://is.ifmo.ru/books/_book.pdf). Что применять схемы, похожие на схемы алгоритмов, применять нецелесообразно показано здесь (http://is.ifmo.ru/books/djvu/pdf/A009.pdf).
*>
.
.
.
Анатолий Абрамович! Ждем от Вас критических статей не только на сайт, но и в печатный вариант. Помогите формализовать сценарий морского боя.
<< http://alternathistory.org.ua/bitva-avianostsev-26-iyulya-2021-goda >>
С уважением!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Владислав Жаринов
14 марта 2012
Насчёт ДРАКОНа. В принципе его можно использовать для эскизного представления автоматной автоматной программы. Если она пишется на ЯВУ с goto (ну или на асме с jmp-ами) - то этот эскиз напрямую можно и кодировать. Если на языке без goto - то нужно сначала преобразовать в цикл Дейкстры, эмулирующий силуэт. Но можно сразу писать автоматный цикл Дейкстры (не по номерам веток, а по состояниям). Хотя они всё равно кодируются номерами... :) Как Вам такое решение, Анатолий Абрамович? Перед этим, конечно, уже д.б. решены вопросы с полнотой и/или непротиворечивостью переходов.
Как пример взял вариант задачи из "Автоматного программирования": http://grafit-basis.narod.ru/L3/part_viz_know-imper.html#Pril3-n111. Кстати, логика автоматной программы в книге (зацикленная главная, вызывающая автоматные кейсы) как раз эмулирует ЦД по образцу, предложенному переводчиком нового издания "Алгоритмов..." Вирта: http://forum.oberoncore.ru/viewtopic.php?p=50482#p50482.
Кстати, как дела с EiffelState? Успехов!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
amogytatvig
16 мая 2013
Hello. And Bye.
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Александр Катенин
02 февраля 2012
http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык) ;
http://drakon.su/
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Александр Катенин
10 февраля 2012
<*
aashalyto, 15:14, 10 Февраля 2012
Язык программирования "Дракон" (http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык)). Зачем управляющие алгоритмы описывать так громоздко (http://www.youtube.com/watch?v=Ua9dUUONjdk&feature=youtu.be), когда есть автоматное программирование (http://is.ifmo.ru/), в котором используются схемы связей и графы переходов (http://is.ifmo.ru/books/_book.pdf). Что применять схемы, похожие на схемы алгоритмов, применять нецелесообразно показано здесь (http://is.ifmo.ru/books/djvu/pdf/A009.pdf).
*>
.
.
.
Анатолий Абрамович! Ждем от Вас критических статей не только на сайт, но и в печатный вариант. Помогите формализовать сценарий морского боя.
<< http://alternathistory.org.ua/bitva-avianostsev-26-iyulya-2021-goda >>
С уважением!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Владислав Жаринов
14 марта 2012
Насчёт ДРАКОНа. В принципе его можно использовать для эскизного представления автоматной автоматной программы. Если она пишется на ЯВУ с goto (ну или на асме с jmp-ами) - то этот эскиз напрямую можно и кодировать. Если на языке без goto - то нужно сначала преобразовать в цикл Дейкстры, эмулирующий силуэт. Но можно сразу писать автоматный цикл Дейкстры (не по номерам веток, а по состояниям). Хотя они всё равно кодируются номерами... :) Как Вам такое решение, Анатолий Абрамович? Перед этим, конечно, уже д.б. решены вопросы с полнотой и/или непротиворечивостью переходов.
Как пример взял вариант задачи из "Автоматного программирования": http://grafit-basis.narod.ru/L3/part_viz_know-imper.html#Pril3-n111. Кстати, логика автоматной программы в книге (зацикленная главная, вызывающая автоматные кейсы) как раз эмулирует ЦД по образцу, предложенному переводчиком нового издания "Алгоритмов..." Вирта: http://forum.oberoncore.ru/viewtopic.php?p=50482#p50482.
Кстати, как дела с EiffelState? Успехов!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
amogytatvig
16 мая 2013
Hello. And Bye.
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Александр Катенин
02 февраля 2012
http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык) ;
http://drakon.su/
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Александр Катенин
10 февраля 2012
<*
aashalyto, 15:14, 10 Февраля 2012
Язык программирования "Дракон" (http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык)). Зачем управляющие алгоритмы описывать так громоздко (http://www.youtube.com/watch?v=Ua9dUUONjdk&feature=youtu.be), когда есть автоматное программирование (http://is.ifmo.ru/), в котором используются схемы связей и графы переходов (http://is.ifmo.ru/books/_book.pdf). Что применять схемы, похожие на схемы алгоритмов, применять нецелесообразно показано здесь (http://is.ifmo.ru/books/djvu/pdf/A009.pdf).
*>
.
.
.
Анатолий Абрамович! Ждем от Вас критических статей не только на сайт, но и в печатный вариант. Помогите формализовать сценарий морского боя.
<< http://alternathistory.org.ua/bitva-avianostsev-26-iyulya-2021-goda >>
С уважением!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
Владислав Жаринов
14 марта 2012
Насчёт ДРАКОНа. В принципе его можно использовать для эскизного представления автоматной автоматной программы. Если она пишется на ЯВУ с goto (ну или на асме с jmp-ами) - то этот эскиз напрямую можно и кодировать. Если на языке без goto - то нужно сначала преобразовать в цикл Дейкстры, эмулирующий силуэт. Но можно сразу писать автоматный цикл Дейкстры (не по номерам веток, а по состояниям). Хотя они всё равно кодируются номерами... :) Как Вам такое решение, Анатолий Абрамович? Перед этим, конечно, уже д.б. решены вопросы с полнотой и/или непротиворечивостью переходов.
Как пример взял вариант задачи из "Автоматного программирования": http://grafit-basis.narod.ru/L3/part_viz_know-imper.html#Pril3-n111. Кстати, логика автоматной программы в книге (зацикленная главная, вызывающая автоматные кейсы) как раз эмулирует ЦД по образцу, предложенному переводчиком нового издания "Алгоритмов..." Вирта: http://forum.oberoncore.ru/viewtopic.php?p=50482#p50482.
Кстати, как дела с EiffelState? Успехов!
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
amogytatvig
16 мая 2013
Hello. And Bye.
- Войдите или зарегистрируйтесь, чтобы отправлять комментарии
- <i class="custom-icon icon-answer"></i><span>ответить</span>
