Functional Principles of Registry-based Service Discovery

V. Sundramoorthy; C. Tan; P.H. Hartel; J.I. den Hartog; J. Scholten

doi:10.1109/LCN.2005.71

Functional Principles of Registry-based Service Discovery

V. Sundramoorthy, C. Tan, P.H. Hartel, J.I. den Hartog, J. Scholten

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

59 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	30th Annual IEEE Conf. on Local Computer Networks (LCN)
Place of Publication	Los Alamitos, California
Publisher	IEEE Computer Society Press
Pages	209-217
Number of pages	9
ISBN (Print)	0-7695-2421-4
DOIs	https://doi.org/10.1109/LCN.2005.71
Publication status	Published - Nov 2005
Event	30th Annual IEEE Conference on Local Computer Networks, LCN 2005 - Sydney, Australia Duration: 15 Nov 2005 → 17 Nov 2005

Publication series

Name	Proceedings IEEE Conference on Local Computer Networks (LCN)
Publisher	IEEE Computer Society Press
Volume	2005
ISSN (Print)	0742-1303

Conference

Conference	30th Annual IEEE Conference on Local Computer Networks, LCN 2005
Period	15/11/05 → 17/11/05
Other	15-17 Nov. 2005

Keywords

CAES-PS: Pervasive Systems

Access to Document

10.1109/LCN.2005.71

Sundramoorthy05functionalAccepted author version, 182 KB

Cite this

@inproceedings{e0c4581a4a38456d80b4524f803ad4d4,

title = "Functional Principles of Registry-based Service Discovery",

abstract = "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.",

keywords = "CAES-PS: Pervasive Systems",

author = "V. Sundramoorthy and C. Tan and P.H. Hartel and {den Hartog}, J.I. and J. Scholten",

note = "Imported from DIES; 30th Annual IEEE Conference on Local Computer Networks, LCN 2005 ; Conference date: 15-11-2005 Through 17-11-2005",

year = "2005",

month = nov,

doi = "10.1109/LCN.2005.71",

language = "English",

isbn = "0-7695-2421-4",

series = "Proceedings IEEE Conference on Local Computer Networks (LCN)",

publisher = "IEEE Computer Society Press",

pages = "209--217",

booktitle = "30th Annual IEEE Conf. on Local Computer Networks (LCN)",

}

Sundramoorthy, V, Tan, C, Hartel, PH, den Hartog, JI & Scholten, J 2005, Functional Principles of Registry-based Service Discovery. in 30th Annual IEEE Conf. on Local Computer Networks (LCN). Proceedings IEEE Conference on Local Computer Networks (LCN), vol. 2005, IEEE Computer Society Press, Los Alamitos, California, pp. 209-217, 30th Annual IEEE Conference on Local Computer Networks, LCN 2005, 15/11/05. https://doi.org/10.1109/LCN.2005.71

Functional Principles of Registry-based Service Discovery. / Sundramoorthy, V.; Tan, C.; Hartel, P.H.; den Hartog, J.I.; Scholten, J.

30th Annual IEEE Conf. on Local Computer Networks (LCN). Los Alamitos, California : IEEE Computer Society Press, 2005. p. 209-217 (Proceedings IEEE Conference on Local Computer Networks (LCN); Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Functional Principles of Registry-based Service Discovery

AU - Sundramoorthy, V.

AU - Tan, C.

AU - Hartel, P.H.

AU - den Hartog, J.I.

AU - Scholten, J.

N1 - Imported from DIES

PY - 2005/11

Y1 - 2005/11

N2 - 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.

AB - 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.

KW - CAES-PS: Pervasive Systems

U2 - 10.1109/LCN.2005.71

DO - 10.1109/LCN.2005.71

M3 - Conference contribution

SN - 0-7695-2421-4

T3 - Proceedings IEEE Conference on Local Computer Networks (LCN)

SP - 209

EP - 217

BT - 30th Annual IEEE Conf. on Local Computer Networks (LCN)

PB - IEEE Computer Society Press

CY - Los Alamitos, California

T2 - 30th Annual IEEE Conference on Local Computer Networks, LCN 2005

Y2 - 15 November 2005 through 17 November 2005

ER -

Functional Principles of Registry-based Service Discovery

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this