Model checking message exchange in location based services

Ashwini Moily, Guru Prasanna, Keerthi S. Shetty, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Over the past couple of years, the extent of the services provided on the mobile devices has increased rapidly. A special class of service among them is the Location Based Service which depends on the geographical position of the user. The aim of this paper is to model check the messages exchanged between the user and the service provider. Using a symbolic model checker tool called NuSMV, the message exchange in the system has been modelled and it is observed that the system takes care of all the constraints by satisfying all the specifications.

Original languageEnglish
Title of host publication2010 International Conference on Computer and Communication Technology, ICCCT-2010
Pages164-167
Number of pages4
DOIs
Publication statusPublished - 30-12-2010
Event2010 International Conference on Computer and Communication Technology, ICCCT-2010 - Allahabad, India
Duration: 17-09-201019-09-2010

Conference

Conference2010 International Conference on Computer and Communication Technology, ICCCT-2010
CountryIndia
CityAllahabad
Period17-09-1019-09-10

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems
  • Communication

Fingerprint Dive into the research topics of 'Model checking message exchange in location based services'. Together they form a unique fingerprint.

  • Cite this

    Moily, A., Prasanna, G., Shetty, K. S., & Singh, S. (2010). Model checking message exchange in location based services. In 2010 International Conference on Computer and Communication Technology, ICCCT-2010 (pp. 164-167). [5640417] https://doi.org/10.1109/ICCCT.2010.5640417