Model checking message exchange in location based services

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

doi:10.1109/ICCCT.2010.5640417

Model checking message exchange in location based services

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

Department of Information and Communication Technology, Manipal Institute of Technology, Manipal

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	2010 International Conference on Computer and Communication Technology, ICCCT-2010
Pages	164-167
Number of pages	4
DOIs	https://doi.org/10.1109/ICCCT.2010.5640417
Publication status	Published - 30-12-2010
Event	2010 International Conference on Computer and Communication Technology, ICCCT-2010 - Allahabad, India Duration: 17-09-2010 → 19-09-2010

Conference

Conference	2010 International Conference on Computer and Communication Technology, ICCCT-2010
Country/Territory	India
City	Allahabad
Period	17-09-10 → 19-09-10

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Information Systems
Communication

Access to Document

10.1109/ICCCT.2010.5640417

Cite this

@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 = dec,

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",

note = "2010 International Conference on Computer and Communication Technology, ICCCT-2010 ; Conference date: 17-09-2010 Through 19-09-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

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

AN - SCOPUS:78650553778

SN - 9781424490349

SP - 164

EP - 167

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

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

Y2 - 17 September 2010 through 19 September 2010

ER -

Model checking message exchange in location based services

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this