Целью диссертационной работы является разработка и развитие методов комплексного исследования протоколов обмена в локальных сетях распределенной обработки данных на основе единой схемы формального описания с целью всестороннего исследования вновь создаваемых или настройки уже существующих протоколов для конкретной проблемной ориентации распределенных информационно-вычислительных систем.