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