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.
|Place of Publication||Enschede|
|Number of pages||8|
|Publication status||Published - 2005|
|Name||CTIT Technical Report|