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 |