ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

A Formal Model for Service Discovery Protocol (SDP) using SDL

Giridharan, Anandi (2017) A Formal Model for Service Discovery Protocol (SDP) using SDL. In: 9th International Conference on Machine Learning and Computing, ICMLC 2017, 24 - 26 February 2017, Singapore, pp. 437-441.

[img] PDF
ICMLC 2017_F128357_437-441_2017.pdf - Published Version
Restricted to Registered users only

Download (703kB) | Request a copy
Official URL: https://doi.org/10.1145/3055635.3056627


Service Discovery Protocol (SDP) provides a mechanism which allows the Ubiquitous system to detect automatically, the services of fered by any service provider. This paper demonstrates the use of formal language SDL (Specification and Description Language) to design the SDP. The purpose of this framework is to provide a formal basis for their performance evaluation and behavioral study of the SDP. SDP is coupled with context aware system (C-SDP) to both identify and discover the desired service.

Item Type: Conference Paper
Publisher: Association for Computing Machinery
Additional Information: The copyright for this article belongs to the Association for Computing Machinery.
Keywords: Context aware; Liveness property; Safety property; SDL (Specification and description language); Service discovery; Ubiquitous application; Ubiquitous computing
Department/Centre: Division of Electrical Sciences > Electrical Communication Engineering
Date Deposited: 14 Jun 2022 06:06
Last Modified: 14 Jun 2022 06:06
URI: https://eprints.iisc.ac.in/id/eprint/73471

Actions (login required)

View Item View Item