Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2016, том 28, выпуск 3, страницы 65–84
DOI: https://doi.org/10.15514/ISPRAS-2016-28(3)-5
(Mi tisp38)
 

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Automatic code generation from nested Petri nets to event-based systems on the Telegram platform
[Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram]

D. I. Samokhvalov, L. V. Dvoryanskiy

National Research University Higher School of Economics
Список литературы:
Аннотация: Вложенные сети Петри - это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне. Мультиагентные системы находят применение во многих областях - начиная системами, для которых безопасность играет критическую роль, заканчивая повседневными системами, работающими на персональных вычислительных устройствах. Число таких систем в современном мире растет вместе с увеличивающимся числом мобильных вычислительных устройств. На данный момент разработаны инструменты и методы моделирования и анализа вложенных сетей Петри, но синтез мультиагентных систем по моделям вложенных сетей Петри еще недостаточно исследован и находится в стадии активного изучения. Метод автоматической генерация исполняемого кода целевой системы по спроектированной и верифицированной модели вложенной сети Петри обеспечивает получение корректных системы из корректных спецификаций на языке вложенных сетей Петри. В данной работе, демонстрируется применение формализма вложенных сетей Петри для построения модели системы управления поисковыми и спасательными операциями и автоматической генерации реализации в виде исполняемого кода событийно-управляемых систем основанных на платформе Telegram. Мы добавляем возможность аннотировать модели вложенных сетей Петри с помощью Action Language, который позволяет связывать срабатывания переходов на модельном уровне с вызовами Telegram Bot API на уровне реализации. Предложенный подход продемонстрирован на примере аннотированной модели системы координирования спасательной операции
Ключевые слова: вложенные сети Петри, telegram bot api, язык действий, событийно-управляемые системы, кодогенерация.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-01-00546
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: D. I. Samokhvalov, L. V. Dvoryanskiy, “Automatic code generation from nested Petri nets to event-based systems on the Telegram platform”, Труды ИСП РАН, 28:3 (2016), 65–84
Цитирование в формате AMSBIB
\RBibitem{SamDvo16}
\by D.~I.~Samokhvalov, L.~V.~Dvoryanskiy
\paper Automatic code generation from nested Petri nets to event-based systems on the Telegram platform
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 3
\pages 65--84
\mathnet{http://mi.mathnet.ru/tisp38}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(3)-5}
\elib{https://elibrary.ru/item.asp?id=26605247}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp38
  • https://www.mathnet.ru/rus/tisp/v28/i3/p65
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:170
    PDF полного текста:173
    Список литературы:43
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024