Информация о статье
2019 г., Том 24, № 6, с.60-68
Леонтьев Д.В., Одякова Д.С., Парахин Р.В., Харитонов Д.И.
Моделирование исключительных ситуаций в императивных программах в терминах сетей Петри
Предложен подход к моделированию обработки исключительных ситуаций в императивных программах. Рассмотрены проблематика использования исключительных ситуаций в программах, общий подход к автоматическому построению моделей программ, описан минимальный набор шаблонов семантических конструкций, необходимый для построения моделей императивных программ. В качестве примера описан процесс моделирования небольшой программы и приведена ее результирующая модель в композициональном виде.
[полный текст] [ссылка на elibrary]
Ключевые слова: язык программирования, автоматическое построение моделей программ, верификация программ, сети Петри
doi: 10.25743/ICT.2019.24.6.008.
Библиографическая ссылка: Леонтьев Д.В., Одякова Д.С., Парахин Р.В., Харитонов Д.И. Моделирование исключительных ситуаций в императивных программах в терминах сетей Петри // Вычислительные технологии. 2019. Т. 24. № 6. С. 60-68
|
|
|