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.

PDF ICMLC 2017_F128357_437-441_2017.pdf - Published Version Restricted to Registered users only Download (703kB) | Request a copy

Abstract

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