Functional principles of registry-based service discovery

V. Sundramoorthy, C. Tan, P.H. Hartel, J.I. Hartog, den, J. Scholten

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    1 Citation (Scopus)

    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 languageEnglish
    Title of host publicationProceedings 30th Annual IEEE Conference on Local Computer Networks (LCN'05, Sydney, Australia, November 15-17, 2005)
    Place of PublicationNew York
    PublisherIEEE Computer Society
    Pages209-217
    ISBN (Print)0-7695-2421-4
    DOIs
    Publication statusPublished - 2005

    Fingerprint

    Dive into the research topics of 'Functional principles of registry-based service discovery'. Together they form a unique fingerprint.

    Cite this