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