Rabota poswqschena issledowaniü swojstw protokolow informacionnogo obmena. Predmet raboty - modeli i algoritmy wzaimodejstwiq protokol'nyh ob#ektow. Pod protokol'nymi ob#ektami ponimaütsq älementy protokola (informacionnoj sistemy), obladaüschie opredelennymi swojstwami i opredelennym obrazom reagiruüschie na wneshnie sobytiq. Jeto logicheskie moduli, wypolnqüschie opredelennye funkcii i wzaimodejstwuüschie s razlichnymi ob#ektami, sredi kotoryh obqzatel'no prisutstwuüt protokol'nye ob#ekty werhnego i nizhnego sosednih urownej i, wozmozhno, nekotorye wspomogatel'nye ob#ekty. Dlq wzaimodejstwiq s drugimi ob#ektami w ob#ekte imeütsq tochki dostupa. Samo wzaimodejstwie predstawlqet soboj obmen komandami - primitiwami, pri kotorom mozhet proishodit' obmen parametrami i dannymi mezhdu ob#ektami cherez tochki dostupa.Cel' issledowaniq - powyshenie kachestwa processow wzaimodejstwiq protokol'nyh ob#ektow. Razrabotany: 1) Matematicheskie modeli wzaimodejstwiq protokol'nyh ob#ektow, w tom chisle mezhurownewogo wzaimodejstwiq, 3) Metodika testirowaniq ukazannogo wzaimodejstwiq. Primenen apparat setej Petri. Dostignuta optimizaciq protokolow pri ih sozdanii, ustranqütsq izbytochnye wychisleniq.