skip to main content
10.1145/3055635.3056627acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicmlcConference Proceedingsconference-collections
research-article

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

Published: 24 February 2017 Publication History

Abstract

Service Discovery Protocol (SDP) provides a mechanism which allows the Ubiquitous system to detect automatically, the services offered 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.

References

[1]
B M. Wis. 1993. Ubiquitous Computing, Communications of ACM 36(1), 75--84, 1993.
[2]
S. Gribble, et al. 2000. The Ninja Architecture for Robust Internet-Scale Systems and Services, Special Issue of Computer Networks on Pervasive Computing.
[3]
M. Takemoto, et al. 2004. A Service-Composition and Service-Emergence Framework for Ubiquitous-Computing Environments. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems., SAINT2004, pp. 313--318, Jan. 2004.
[4]
Sejong Gu, Hongzhou Shi, Jian Ye, Zhenmin Zhu, 2007. A Service Discovery Framework for Ubiquitous Computing, 8th Intl. IEEE 2007.
[5]
Tianyin Xu, Baoliu Ye. 2008. A Gnutella Inspired Ubiquitous Service Discovery Framework for Pervasive Computing Environment. Tokyo 163--0914, JAPAN, 2008 IEEE.
[6]
Bethlehem, Service Advertisement and Discovery in Mobile Ad hoc Networks. PA 18015.
[7]
E. Guttman, C. Perkins, J. Veizades, and M. Day. 1999. Service Location Protocol, Version 2, Request for Comments (RFC) 2608, June 1999.
[8]
B.Miller and R.Pascoe. 2000. Salutation Service Discovery in Pervasive Computing Environments. Technical Report, IBM White Paper, February 2000.
[9]
Okkyung Choi and SangYong Han.2007. Ubiquitous Computing Services Discovery and Execution Using a Novel Intelligent Web Services Algorithm. Sensors 2007, 7, 1287--1305, ISSN 1424-8220.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ICMLC '17: Proceedings of the 9th International Conference on Machine Learning and Computing
February 2017
545 pages
ISBN:9781450348171
DOI:10.1145/3055635
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

  • Southwest Jiaotong University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 February 2017

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Liveness property
  2. SDL (Specification and Description Language)
  3. Safety property
  4. Service discovery
  5. Ubiquitous Computing
  6. Ubiquitous application
  7. context aware

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

ICMLC 2017

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 50
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media