A Service-Oriented Model for Embedded Peer-to-Peer Systems

Authors:
Antonio Brogi;Răzvan Popescu;Francisco Gutiérrez;Pablo López;Ernesto Pimentel
Affiliations:
Department of Computer Science, University of Pisa, Italy;Department of Computer Science, University of Pisa, Italy;Dpto. de Lenguajes y Ciencias de la Computación, Univ. de Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, Univ. de Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, Univ. de Málaga, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 5
Cited 1

A scalable content-addressable network

Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
WSSecSpaces: a secure data-driven coordination service for Web Services applications

Proceedings of the 2004 ACM symposium on Applied computing
JMobiPeer: A Middleware for Mobile Peer-to-Peer Computing in MANETs

ICDCSW '05 Proceedings of the First International Workshop on Mobility in Peer-to-Peer Systems - Volume 08
Towards Composition Management for Component-based Peer-to-Peer Architectures

Electronic Notes in Theoretical Computer Science (ENTCS)
A behavioural congruence for web services

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering

A formalization of the SMEPP model in Maude

Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a service-oriented model for the development of Peer-to-Peer (P2P) systems. We first describe the set of abstract primitives supported by the model, and then the semantics for a simple calculus over these primitives that provides a solid ground to develop tools for the analysis and verification of P2P specifications.