Нейзов29окт26

Докладчики: Максим Нейзов (Институт автоматики и Электрометрии СО РАН) Тема: Инерционность автоматных моделей поведения реагирующих систем. (Доклад по материалам статьи Программирование. 2026. № 1. С. 84–107) Аннотация: Для описания поведения реагирующих систем (РС) применяются как специальные языки и формализмы, так и языки общего назначения. Независимо от языка при взаимодействии различных частей программы/спецификации могут возникать задержки по времени между определенными событиями, имеющими причинно-следственную связь. Данные задержки порождают явление инерционности, которое оказывает влияние на процесс и результат разработки. В статье проводится исследование инерционности на уровне модели поведения РС, представляемой в виде синхронной сети автоматов. Соответствующий сети композиционный автомат демонстрирует общее поведение РС (программы / спецификации), а компонентные автоматы сети моделируют интересующие конструкции или части программы. В целом сетевая модель отражает характер взаимодействия составляющих ее компонентов: показывает связи и наличие в них задержек, влияющих на инерционность. Вводится количественная характеристика инерционности I, которая формирует классификацию инерционных (I ﹥ 0) и безынерционных (I = 0) автоматных моделей. Инерционность оценивается в контексте определенного окружения и набора требований реагирования. Результаты исследования показывают, что инерционные модели могут обладать недостатками. Для гарантированного появления отложенной реакции, появляющейся в конце некоторого переходного процесса, требуется выполнение специальных условий. Их выявление и соблюдение при проектировании РС вызывает дополнительную нагрузку на разработчика. Высокая инерционность модели приводит к увеличению времени реакции системы, так как требуется больше итераций выполнения программы. При попытке снизить инерционность модели могут возникать мгновенные циклические зависимости, которые затрудняют отслеживание причинно-следственных связей или приводят к нарушению корректности автоматной модели.