Functional principles of registry-based service discovery

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Uittreksel

    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.
    Originele taal-2Engels
    Plaats van productieEnschede
    UitgeverijUniversiteit Twente
    Aantal pagina's8
    StatusGepubliceerd - 2005

    Publicatie series

    NaamCTIT Technical Report
    VolumeTR-CTIT-05-18

    Vingerafdruk

    Network protocols
    Network layers
    Formal verification

    Citeer dit

    Sundramoorthy, V., Tan, C., Hartel, P. H., Hartog, den, J. I., & Scholten, J. (2005). Functional principles of registry-based service discovery. (CTIT Technical Report; Vol. TR-CTIT-05-18). Enschede: Universiteit Twente.
    Sundramoorthy, V. ; Tan, C. ; Hartel, P.H. ; Hartog, den, J.I. ; Scholten, J. / Functional principles of registry-based service discovery. Enschede : Universiteit Twente, 2005. 8 blz. (CTIT Technical Report).
    @book{d49aec0c592340a195cf25bd24bf4b33,
    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.",
    author = "V. Sundramoorthy and C. Tan and P.H. Hartel and {Hartog, den}, J.I. and J. Scholten",
    year = "2005",
    language = "English",
    series = "CTIT Technical Report",
    publisher = "Universiteit Twente",

    }

    Sundramoorthy, V, Tan, C, Hartel, PH, Hartog, den, JI & Scholten, J 2005, Functional principles of registry-based service discovery. CTIT Technical Report, vol. TR-CTIT-05-18, Universiteit Twente, Enschede.

    Functional principles of registry-based service discovery. / Sundramoorthy, V.; Tan, C.; Hartel, P.H.; Hartog, den, J.I.; Scholten, J.

    Enschede : Universiteit Twente, 2005. 8 blz. (CTIT Technical Report; Vol. TR-CTIT-05-18).

    Onderzoeksoutput: Boek/rapportRapportAcademic

    TY - BOOK

    T1 - Functional principles of registry-based service discovery

    AU - Sundramoorthy, V.

    AU - Tan, C.

    AU - Hartel, P.H.

    AU - Hartog, den, J.I.

    AU - Scholten, J.

    PY - 2005

    Y1 - 2005

    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.

    M3 - Report

    T3 - CTIT Technical Report

    BT - Functional principles of registry-based service discovery

    PB - Universiteit Twente

    CY - Enschede

    ER -

    Sundramoorthy V, Tan C, Hartel PH, Hartog, den JI, Scholten J. Functional principles of registry-based service discovery. Enschede: Universiteit Twente, 2005. 8 blz. (CTIT Technical Report).