Typed Protocols for Peer-to-Peer Service Composition
Walton, Dr Christopher (2005) Typed Protocols for Peer-to-Peer Service Composition. 2nd International Workshop on Peer to Peer Knowledge Management (P2PKM 2005), San Diego, CA.
Full text available as:
|PDF - Requires Adobe Acrobat Reader or other PDF viewer.|
In this paper we present a technique which addresses the composition of web services into peer-to-peer systems. Our approach is founded on the definition of lightweight protocols, which provide the means to specify, execute, and verify these systems. The advantage of our approach is that the protocols are defined independent of the domain in question, and therefore allow us to focus specifically on the composition aspects of the system. We present a definition of the MAP language for service composition, and show how it can be used to specify a simple peer-to-peer file-sharing system. We also illustrate how the use of type information can allow us to gain confidence in the correctness of our protocols.
|Keywords:||Peer-to-peer, agent protocols, web service composition, semantic web, type systems|
|Subjects:||Status > AKT Submitted|
|Deposited By:||Walton, Dr Chris|
|Deposited On:||16 March 2006|
|Alternative Locations:||http://www.p2pkm.org/downloads/Walton2005.pdf, http://homepages.inf.ed.ac.uk/cdw/papers/p2pkm05/typedmap.pdf|
Contact the site administrator at: email@example.com