Functional Principles of Registry-based Service Discovery

V. Sundramoorthy, C. Tan, Pieter H. Hartel, Jeremy den Hartog, Johan Scholten

Research output: Book/ReportReportProfessional

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 languageUndefined
Place of PublicationEnschede
PublisherDistributed and Embedded Security (DIES)
Number of pages8
Publication statusPublished - May 2005

Publication series

NameCTIT Technical Report Series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-05-18
ISSN (Print)1381-3625

Keywords

  • CAES-PS: Pervasive Systems
  • EWI-5741
  • METIS-248110
  • IR-57027

Cite this

Sundramoorthy, V., Tan, C., Hartel, P. H., den Hartog, J., & Scholten, J. (2005). Functional Principles of Registry-based Service Discovery. (CTIT Technical Report Series; No. TR-CTIT-05-18). Enschede: Distributed and Embedded Security (DIES).
Sundramoorthy, V. ; Tan, C. ; Hartel, Pieter H. ; den Hartog, Jeremy ; Scholten, Johan. / Functional Principles of Registry-based Service Discovery. Enschede : Distributed and Embedded Security (DIES), 2005. 8 p. (CTIT Technical Report Series; TR-CTIT-05-18).
@book{8472617c23d14cacaa065fb67f173c6c,
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, EWI-5741, METIS-248110, IR-57027",
author = "V. Sundramoorthy and C. Tan and Hartel, {Pieter H.} and {den Hartog}, Jeremy and Johan Scholten",
note = "Imported from CTIT",
year = "2005",
month = "5",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Distributed and Embedded Security (DIES)",
number = "TR-CTIT-05-18",

}

Sundramoorthy, V, Tan, C, Hartel, PH, den Hartog, J & Scholten, J 2005, Functional Principles of Registry-based Service Discovery. CTIT Technical Report Series, no. TR-CTIT-05-18, Distributed and Embedded Security (DIES), Enschede.

Functional Principles of Registry-based Service Discovery. / Sundramoorthy, V.; Tan, C.; Hartel, Pieter H.; den Hartog, Jeremy; Scholten, Johan.

Enschede : Distributed and Embedded Security (DIES), 2005. 8 p. (CTIT Technical Report Series; No. TR-CTIT-05-18).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Functional Principles of Registry-based Service Discovery

AU - Sundramoorthy, V.

AU - Tan, C.

AU - Hartel, Pieter H.

AU - den Hartog, Jeremy

AU - Scholten, Johan

N1 - Imported from CTIT

PY - 2005/5

Y1 - 2005/5

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

KW - EWI-5741

KW - METIS-248110

KW - IR-57027

M3 - Report

T3 - CTIT Technical Report Series

BT - Functional Principles of Registry-based Service Discovery

PB - Distributed and Embedded Security (DIES)

CY - Enschede

ER -

Sundramoorthy V, Tan C, Hartel PH, den Hartog J, Scholten J. Functional Principles of Registry-based Service Discovery. Enschede: Distributed and Embedded Security (DIES), 2005. 8 p. (CTIT Technical Report Series; TR-CTIT-05-18).