Diplomová práca: Abstraktné behaviorálne typy pre webové služby

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 interakcií medzi webovými službami, ktoré sú v práci uvedené a popísané. V hlavnej časti práca popisuje jednotlivé interakcie medzi webovými službami pomocou abstraktných behaviorálnych typov, a uvedené interakcie sú ilustrované na zložitejšom príklade, ktorý je rozdelený do menších častí. Na záver je zhodnotenie práce, jej prínos a návrh ďalšej štúdie.