Rabota posvyashchena issledovaniyu svoystv protokolov informatsionnogo obmena. Predmet raboty - modeli i algoritmy vzaimodeystviya protokol'nykh ob"ektov. Pod protokol'nymi ob"ektami ponimayutsya elementy protokola (informatsionnoy sistemy), obladayushchie opredelennymi svoystvami i opredelennym obrazom reagiruyushchie na vneshnie sobytiya. Eto logicheskie moduli, vypolnyayushchie opredelennye funktsii i vzaimodeystvuyushchie s razlichnymi ob"ektami, sredi kotorykh obyazatel'no prisutstvuyut protokol'nye ob"ekty verkhnego i nizhnego sosednikh urovney i, vozmozhno, nekotorye vspomogatel'nye ob"ekty. Dlya vzaimodeystviya s drugimi ob"ektami v ob"ekte imeyutsya tochki dostupa. Samo vzaimodeystvie predstavlyaet soboy obmen komandami - primitivami, pri kotorom mozhet proiskhodit' obmen parametrami i dannymi mezhdu ob"ektami cherez tochki dostupa.Tsel' issledovaniya - povyshenie kachestva protsessov vzaimodeystviya protokol'nykh ob"ektov. Razrabotany: 1) Matematicheskie modeli vzaimodeystviya protokol'nykh ob"ektov, v tom chisle mezhurovnevogo vzaimodeystviya; 3) Metodika testirovaniya ukazannogo vzaimodeystviya. Primenen apparat setey Petri. Dostignuta optimizatsiya protokolov pri ikh sozdanii, ustranyayutsya izbytochnye vychisleniya.
