Иерархические диаграммы состояний и переходов в синтезе телекоммуникационных протокольных автоматов

В настоящей статье рассмотрен подход к организации вычислений в телекоммуникационном автомате, названный сериализацией. Он предусматривает создание иерархической ДСП на основе частично формализованных спецификаций телекоммуникационного автомата. Иерархическая ДСП описывается ограниченным набором переходов допустимого вида, специфических для телекоммуникационным систем. Неявные переходы и состояния доопределяются на этапе компиляции ДСП для реализации в целевой системе. На основе описанного подхода авторами создается язык спецификации иерархических ДСП, предназначенный для быстрого и эффективного создания реализаций телекоммуникационных автоматов в целевых системах различного назначения.