Universiti Teknologi Malaysia Institutional Repository

The design of model checking agent for SMS management system

Selamat, Ali and Abdul Bujang, Siti Dianah (2008) The design of model checking agent for SMS management system. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Germany, 813-821. ISBN 978-354078581-1

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-3-540-78582-8_82


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.

Item Type:Book Section
Additional Information:ISBN: 978-354078581-1; 2nd KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2008; Incheon; 26 March 2008 through 28 March 2008
Uncontrolled Keywords:direct sales and network marketing, E-business, model checking agent, SMS management system
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:12777
Deposited By: Liza Porijo
Deposited On:29 Jun 2011 07:54
Last Modified:29 Jun 2011 07:54

Repository Staff Only: item control page