Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 11 2015 год

УДК: 519.683.2
Оптимизация автоматных программ методом трансформации требований
В. И. Шелехов, канд. техн. наук, зав. лаб., e-mail: vshel@iis.nsk.su, Институт систем информатики им. А. П. Ершова, г. Новосибирск

Технология автоматного программирования ориентирована на разработку простых, надежных и эффективных программ для класса реактивных систем. Автоматная программа реализует конечный автомат в виде гиперграфа управляющих состояний. В качестве языка спецификаций автоматных программ предложен язык продукций для описания функциональных требований. Построение эффективных автоматных программ реализовано применением набора оптимизирующих трансформаций программы, представленной в виде набора требований. Данный метод проиллюстрирован на примере сложного протокола передачи данных ATM Adaptation Layer уровня Type 2 AAL.

Ключевые слова: понимание программ, автоматное программирование, определение требований, продукционная система искусственного интеллекта, уровень адаптации ATM
Стр. 3–13

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