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