Model checking message exchange in Location Based Services
- Resource Type
- Conference
- Authors
- Moily, Ashwini; Prasanna, Guru; Shetty, Keerthi S.; Singh, Sanjay
- Source
- 2010 International Conference on Computer and Communication Technology (ICCCT) Computer and Communication Technology (ICCCT), 2010 International Conference on. :164-167 Sep, 2010
- Subject
- Computing and Processing
Communication, Networking and Broadcast Technologies
Radiofrequency identification
Global Positioning System
Computational modeling
Computers
Communications technology
Context-aware services
Authentication
Symbolic Model verifier
NuSMV
Location Based Services
Model Checker
- Language
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.