Средства поддержки исполняемого кода, синтезированного по спецификациям, на языке Cell

В статье рассматриваются аспекты генерации служебного программного кода, обеспечивающего функционирование протокольных автоматов, разработанных на языке Cell. Описывается понятие «исполняющей системы» как совокупности программного кода, включаемого компилятором языка Cell в процедурный код с целью обеспечения функционирования основного алгоритма протокольного автомата. Сериализация процедурного кода, выполняемая компилятором Cell во время его синтеза, предполагает возможность эффективного функционирования автомата без использования операционной системы (ОС), что накладывает на исполняющую систему задачи управления всеми ресурсами, используемыми автоматом.