Analysis on the model checking agent for SMS Management System verification using temporal logic

Abstract

Nowadays, Short Message Service (SMS) is an emerging software mobile technology that support mobile-driven for business and telecommunication industry. The use of SMS has become an essential to most enterprises because the technology is known excellent. However, once SMS has been applied in distributed computing, the performance shows not given satisfied results. Extensive usage of SMS transaction has lead to the unseen faulty and errors. Also, the system is not able to support secure service to the users. This problem occurred because tremendous amount of SMS consume high bandwidth which could limit the network resources. Therefore, verification is needed to ensure the reliability of the system. This paper proposed the use of model checking agent approach for the verification of SMS Management System. The analysis of modeling shows the model checking agent is a basis approach to handle the SMS verification at the early stage of the software development.