DOI: 10.17587/prin.8.99-111

УДК: 519.682.2

Технология автоматного программирования на примере программы управления лифтом

В. И. Шелехов, канд. техн. наук, зав. лаб., e-mail: vshel@iis.nsk.su, Э. Г. Тумуров, мл. науч. сотр., e-mail: erdemus@gmail.com, Институт систем информатики им. А. П. Ершова, г. Новосибирск

Технология автоматного программирования ориентирована на разработку простых, надежных и эффективных программ для класса реактивных систем. В качестве языка автоматного программирования используется формальный язык спецификации функциональных требований. Технология представлена в виде свода правил, определяющих правильный баланс в интеграции автоматного, предикатного и объектно-ориентированного программирования. Технология проиллюстрирована на примере программы управления лифтом.

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

Стр. 99–111

Работа выполнена при поддержке РФФИ, грант № 16-01-00498.