Информация о статье

2019 г., Том 24, № 6, с.60-68

Леонтьев Д.В., Одякова Д.С., Парахин Р.В., Харитонов Д.И.

Моделирование исключительных ситуаций в императивных программах в терминах сетей Петри

Предложен подход к моделированию обработки исключительных ситуаций в императивных программах. Рассмотрены проблематика использования исключительных ситуаций в программах, общий подход к автоматическому построению моделей программ, описан минимальный набор шаблонов семантических конструкций, необходимый для построения моделей императивных программ. В качестве примера описан процесс моделирования небольшой программы и приведена ее результирующая модель в композициональном виде.

[полный текст] [ссылка на elibrary]

Ключевые слова: язык программирования, автоматическое построение моделей программ, верификация программ, сети Петри

doi: 10.25743/ICT.2019.24.6.008.

Библиографическая ссылка:
Леонтьев Д.В., Одякова Д.С., Парахин Р.В., Харитонов Д.И. Моделирование исключительных ситуаций в императивных программах в терминах сетей Петри // Вычислительные технологии. 2019. Т. 24. № 6. С. 60-68
Главная| Цели| Редколлегия| Содержание| Поиск| Подписка| Правила| Контакты
ISSN 1560-7534
© 2024 ФИЦ ИВТ, Новосибирск