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