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

144 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 IEEE Conference on Local Computer Networks (LCN)
Place of Publication	Los Alamitos, CA
Publisher	IEEE
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 IEEE Conference on Local Computer Networks, LCN 2005 - Sydney, Australia Duration: 15 Nov 2005 → 17 Nov 2005 Conference number: 30

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 IEEE Conference on Local Computer Networks, LCN 2005
Abbreviated title	LCN
Country/Territory	Australia
City	Sydney
Period	15/11/05 → 17/11/05

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 IEEE Conference on Local Computer Networks, LCN 2005, LCN ; 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",

pages = "209--217",

booktitle = "30th IEEE Conference on Local Computer Networks (LCN)",

address = "United States",

}

Sundramoorthy, V, Tan, C, Hartel, PH, den Hartog, JI & Scholten, J 2005, Functional Principles of Registry-based Service Discovery. in 30th IEEE Conference on Local Computer Networks (LCN). Proceedings IEEE Conference on Local Computer Networks (LCN), vol. 2005, IEEE, Los Alamitos, CA, pp. 209-217, 30th IEEE Conference on Local Computer Networks, LCN 2005, Sydney, New South Wales, Australia, 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. et al.
30th IEEE Conference on Local Computer Networks (LCN). Los Alamitos, CA: IEEE, 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 - Conference code: 30

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 IEEE Conference on Local Computer Networks (LCN)

PB - IEEE

CY - Los Alamitos, CA

T2 - 30th 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