|
Эта публикация цитируется в 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, язык действий, событийно-управляемые системы, кодогенерация.
Образец цитирования:
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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp38 https://www.mathnet.ru/rus/tisp/v28/i3/p65
|
Статистика просмотров: |
Страница аннотации: | 170 | PDF полного текста: | 173 | Список литературы: | 43 |
|