Title :
Model checking message exchange in Location Based Services
Author :
Moily, Ashwini ; Prasanna, Guru ; Shetty, Keerthi S. ; Singh, Sanjay
Author_Institution :
Dept. of Inf. & Commun. Technol., Manipal Inst. of Technol., Manipal, India
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.
Keywords :
formal specification; mobile computing; user interfaces; NuSMV model checker tool; location based services; mobile devices; model checking message exchange; user geographical position; Authentication; Communications technology; Computational modeling; Computers; Context-aware services; Global Positioning System; Radiofrequency identification; Location Based Services; Model Checker; NuSMV; Symbolic Model verifier;
Conference_Titel :
Computer and Communication Technology (ICCCT), 2010 International Conference on
Conference_Location :
Allahabad, Uttar Pradesh
Print_ISBN :
978-1-4244-9033-2
DOI :
10.1109/ICCCT.2010.5640417
