Автоматное программирование: определение, модель, реализация

Любченко Вячеслав Селиверстович — независимый разработчик. Научные интересы: автоматное программирование. В докладе дается оценка текущему состоянию автоматного программирования. По мнению автора доклада, это универсальная технология проектирования программ на базе теории конечных автоматов. Рассматриваются вопросы формализации и реализации автоматного программирования. В качестве формальной модели автоматных программ на структурном уровне предлагается использовать схему программы, управление описывается в виде абстрактной модели конечного автомата. Для эффективного описания, алгоритмизации, программирования и реализации программных автоматных процессов на уровне модели управления вводятся следующие законы и модели: инерционный закон функционирования автоматов, модель дизъюнктивных автоматов, модель вложенных автоматов и модель сетей на их базе. В контексте параллельной модели автоматного программирования формулируется сетевая модель управления автоматных программ. Для корректной реализации параллелизма реальных процессов модель параллельных автоматных программ дополняется концепцией теневой памяти. Рассматривается алгоритм программного ядра интерпретации автоматных программ, заданных таблицами переходов. Дается определение параллельного объектного автоматного программирования и рассматривается его возможная реализации на языке С++. В заключение обсуждается перспектива использования и развития парадигмы визуального автоматного программирования и его приложений в качестве модели и средства реализации программных процессов кибер-физических систем. Доклад состоялся 20 сентября 2018 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова.