Poqwlenie web-serwisow sozdalo znachitel'nye wozmozhnosti dlq biznesa segodnq, a mobil'nye seti stali standartnoj chast'ü sowremennoj zhizni. Veb-serwisy w besprowodnoj srede qwlqütsq nowym wyzowom dlq tehnologij. V ätoj dissertacii my sosredotochilis' na ocenke raboty web-serwisow. V chastnosti, my stremilis' smodelirowat', s pomosch'ü setewogo formalizma Petri, powedenie uslug w mobil'noj srede. Snachala my izuchili web-serwisy i swqzannye s nimi tehnologii, zatem predstawili sredu ispolneniq web-serwisow: mobil'nuü sredu, ee arhitekturu, ee harakteristiki i uprawlenie tranzakciqmi, a takzhe WAP-protokol. Zatem predstawleny horosho obuchennye stohasticheskie seti Petri, ispol'zuemye dlq modelirowaniq web-serwisow w mobil'noj srede, i, nakonec, my predlozhili model' proizwoditel'nosti i proanalizirowali chislennye rezul'taty, blagodarq utilite GreatSPN i WNSIM.