В. Н. Дубинин
ОПЕРАЦИОННАЯ СЕМАНТИКА ФУНКЦИОНАЛЬНЫХ
БЛОКОВ IEC 61499 (Часть 1. <...> Предлагается синтактико-семантическая модель базисных функциональных блоков стандарта IEC 61499. <...> Для определения абстрактного синтаксиса используется теоретико-множественный подход, а для представления
операционной семантики – аппарат машин абстрактных состояний. <...> Ключевые слова: функциональный блок, стандарт IEC 61499, операционная
семантика, абстрактный синтаксис, машины абстрактных состояний. <...> Новый язык программирования распределенных контроллеров IEC 61499 на основе функциональных блоков (ФБ) [2] существенно отличается от традиционных языков программирования. <...> 2) выполнение ФБ на основе принципа потока событий; <...> 4) наличие типизации и инстанциации большинства артефактов проектирования (ФБ, субприложений, ресурсов, устройств); <...> Подобные визуальные компонентно-базированные событийно-ориентированные языки требуют особых подходов к описанию их семантики. <...> На основе анализа известных публикаций можно констатировать, что в
настоящее время отсутствует целостное определение формальной семантики
ФБ [4]. <...> В стандарте IEC 61499 [2] дано неформальное определение семантики
ФБ. <...> Например, в работах [5, 6] приводится формализованное описание систем ФБ, но без учета моделей выполнения. <...> Несмотря на большую популярность структурной операционной семантики (SOS) Г. Плоткина [1], для определения операционной семантики языков программирования и проектирования в последнее время все большее распространение находит аппарат машин абстрактных состояний (МАС), вве1
Работа выполнена в рамках федеральной целевой программы «Научные и
научно-педагогические кадры инновационной России» на 2009–2013 годы. <...> Аппарат МАС
был положен в основу ряда работ автора по определению операционной семантики ФБ [4, 8–10]. <...> В работе [4] идентифицируется проблема определения
формальной семантики ФБ IEC 61499, предлагается формальная модель (нотация) для определения операционной семантики <...>