Táto diplomová práca sa zaoberá popisom interakcií medzi webovými službami pomocou abstraktných behaviorálnych typov. Na začiatku práce je vysvetlený pojem abstraktné behaviorálne typy a sú popísané základné kanály používané pri popise správania. V ďalšej časti sa práca zaoberá webovými službami. V tejto časti práce sú popísané jednotlivé technológie, jazyky a štandardy, ktoré najčastejšie využívajú webové služby, a je v nej navrhnutý model kompozície webových služieb. Navrhnutý model je na báze...