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

Fingerprint

Location based services
Model checking
Mobile devices
Specifications
service provider

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems
  • Communication

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
Moily, Ashwini ; Prasanna, Guru ; Shetty, Keerthi S. ; Singh, Sanjay. / Model checking message exchange in location based services. 2010 International Conference on Computer and Communication Technology, ICCCT-2010. 2010. pp. 164-167
@inproceedings{784132abf0e44d26b08c8c94af16f01f,
title = "Model checking message exchange in location based services",
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.",
author = "Ashwini Moily and Guru Prasanna and Shetty, {Keerthi S.} and Sanjay Singh",
year = "2010",
month = "12",
day = "30",
doi = "10.1109/ICCCT.2010.5640417",
language = "English",
isbn = "9781424490349",
pages = "164--167",
booktitle = "2010 International Conference on Computer and Communication Technology, ICCCT-2010",

}

Moily, A, Prasanna, G, Shetty, KS & Singh, S 2010, Model checking message exchange in location based services. in 2010 International Conference on Computer and Communication Technology, ICCCT-2010., 5640417, pp. 164-167, 2010 International Conference on Computer and Communication Technology, ICCCT-2010, Allahabad, India, 17-09-10. https://doi.org/10.1109/ICCCT.2010.5640417

Model checking message exchange in location based services. / Moily, Ashwini; Prasanna, Guru; Shetty, Keerthi S.; Singh, Sanjay.

2010 International Conference on Computer and Communication Technology, ICCCT-2010. 2010. p. 164-167 5640417.

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

TY - GEN

T1 - Model checking message exchange in location based services

AU - Moily, Ashwini

AU - Prasanna, Guru

AU - Shetty, Keerthi S.

AU - Singh, Sanjay

PY - 2010/12/30

Y1 - 2010/12/30

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=78650553778&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650553778&partnerID=8YFLogxK

U2 - 10.1109/ICCCT.2010.5640417

DO - 10.1109/ICCCT.2010.5640417

M3 - Conference contribution

SN - 9781424490349

SP - 164

EP - 167

BT - 2010 International Conference on Computer and Communication Technology, ICCCT-2010

ER -

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