Functional Principles of Registry-based Service Discovery

Sydney, Australia November 15-November 17

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/LCN.2005.71

The IEEE Conference on Local Computer ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by V. Sundramoorthy Articles by P.H. Hartel Articles by J.I.den Hartog Articles by J. Scholten Articles by C. Tan

	ASCII Text	x
	V. Sundramoorthy, P.H. Hartel, J.I.den Hartog, J. Scholten, C. Tan, "Functional Principles of Registry-based Service Discovery," Local Computer Networks, Annual IEEE Conference on, pp. 209-217, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l, 2005.

	BibTex	x
	@article{ 10.1109/LCN.2005.71, author = {V. Sundramoorthy and P.H. Hartel and J.I.den Hartog and J. Scholten and C. Tan}, title = {Functional Principles of Registry-based Service Discovery}, journal ={Local Computer Networks, Annual IEEE Conference on}, volume = {0}, year = {2005}, issn = {0742-1303}, pages = {209-217}, doi = {http://doi.ieeecomputersociety.org/10.1109/LCN.2005.71}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Local Computer Networks, Annual IEEE Conference on TI - Functional Principles of Registry-based Service Discovery SN - 0742-1303 SP209 EP217 A1 - V. Sundramoorthy, A1 - P.H. Hartel, A1 - J.I.den Hartog, A1 - J. Scholten, A1 - C. Tan, PY - 2005 KW - null VL - 0 JA - Local Computer Networks, Annual IEEE Conference on ER -

V. Sundramoorthy, University of Twente, Enschede, The Netherlands

P.H. Hartel, University of Twente, Enschede, The Netherlands

J.I.den Hartog, University of Twente, Enschede, The Netherlands

J. Scholten, University of Twente, Enschede, The Netherlands

C. Tan, MIT

As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the functional Principles of Service Discovery for robust, registry-based service discovery. A methodology to guarantee adherence to these principles is provided and illustrated by formal verification of the principles against FRODO, an SDP built for the home environment. We show that, to make behavioral guarantees, an SDP has to be robust against network disturbances, and cannot rely only on the network layer.

Citation:

V. Sundramoorthy, P.H. Hartel, J.I.den Hartog, J. Scholten, C. Tan, "Functional Principles of Registry-based Service Discovery," lcn, pp.209-217, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.