Аннотация

Книга посвящена решению проблемы повышения эффективности функционирования распределенных технических систем (РТС) за счет совершенствования управления информационным обменом между объектами РТС. Модель объекта протокольного взаимодействия – протокольный автомат (ПА) представляется расширенным конечным автоматом. Предложенная методика формирования ПА позволила разработать концептуальные основы процесса проектирования ПА, ориентированного на применение автоматических процедур реализации всех этапов проектирования: от формальной спецификации до реализации в среду функционирования.