The Design of Model Checking Agent for SMS Management System

  • Ali Selamat
  • Siti Dianah Abdul Bujang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4953)

Abstract

Nowadays the short messaging service (SMS) has been used in direct sales and network marketing which is a part of e-business. Many systems integrate information system using mobile phone as a medium of communication in ensuring business processes become more effective and conducive. The intention of the system is to enhance the connection and networking in management system for direct sales activities. However, as the SMS services have been used extensively by the mobile users, there are several exceptional issues occurred during the runtime of each state of the e-business processes. Consequently, the correctness and secureness of the system performance have not been confidently trusted. Therefore, in this paper we propose a design of model checking agent for SMS management system to address the issue. Agents become a platform for model checking in handling the verification and validation processes in SMS management system. We have developed a model checking agent as a reliable tool for evaluating the failure of protocols in SMS management system. We have also analyzed the propose model which has contributed to the quality of SMS messages and increase the failure detection in e-business process.

Keywords

model checking agent SMS management system e-business direct sales and network marketing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ali Selamat
    • 1
  • Siti Dianah Abdul Bujang
    • 1
  1. 1.Department of Software Engineering, Faculty of Computer Science and Information SystemsUniversiti Teknologi Malaysia (UTM)SkudaiMalaysia

Personalised recommendations