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 proceedingConference contributionAcademicpeer-review

    59 Downloads (Pure)


    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 languageEnglish
    Title of host publication30th Annual IEEE Conf. on Local Computer Networks (LCN)
    Place of PublicationLos Alamitos, California
    PublisherIEEE Computer Society Press
    Number of pages9
    ISBN (Print)0-7695-2421-4
    Publication statusPublished - Nov 2005
    Event30th Annual IEEE Conference on Local Computer Networks, LCN 2005 - Sydney, Australia
    Duration: 15 Nov 200517 Nov 2005

    Publication series

    NameProceedings IEEE Conference on Local Computer Networks (LCN)
    PublisherIEEE Computer Society Press
    ISSN (Print)0742-1303


    Conference30th Annual IEEE Conference on Local Computer Networks, LCN 2005
    Other15-17 Nov. 2005


    • CAES-PS: Pervasive Systems


    Dive into the research topics of 'Functional Principles of Registry-based Service Discovery'. Together they form a unique fingerprint.

    Cite this