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

Вячеслав Любченко

Вячеслав Любченко

Любченко Вячеслав Селиверстович — независимый разработчик. Научные интересы: автоматное программирование.

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

Здесь можно скачать слайды доклада в формате PDF.

Доклад состоится 20 сентября 2018 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>