Agent Verification Design of Short Text Messaging System Using Formal Method

Authors:
Ali Selamat;Siti Dianah Bujang;Md. Hafiz Selamat
Affiliations:
Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310;Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310;Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310
Venue:
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Year:
2009

Citing 8
Cited 0

Model checking

Model checking
Web Applications Design and Maintenance Using Symbolic Model Checking

CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)
Model checking for design and assurance of e-business processes

Decision Support Systems
A Workflow Model with Temporal Logic Constraints and Its Automated Verification

GCC '07 Proceedings of the Sixth International Conference on Grid and Cooperative Computing
An asset management system based on RFID, WebGIS and SMS

Proceedings of the 2nd international conference on Ubiquitous information management and communication
Verification of Mobile SMS Application with Model Checking Agent

ISDA '08 Proceedings of the 2008 Eighth International Conference on Intelligent Systems Design and Applications - Volume 02
Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

Today, in the evolution of hardware and software system in mobile-driven applications, failure is unacceptable to many entrepreneurs. The use of Short Message Service (SMS) for internet-based business is acknowledged to be one of the applications that have a potential to give unreliable results to the information systems. Once the workload is optimized, the network traffic becomes congested, which minimizes the performance of the system. Therefore, to develop a dependable SMS system, we need a reliable verification method. Besides the agent-based verification method, formal method verification on the design is also needed. This is to ensure that the system design is secured from the unseen errors and bugs in the early stage of development. In order to make this successful, this paper will discuss more on the verification design of short-text messaging system with the implementation of an agent-based system known as model checking. The aim of this paper is to provide a reliable and verifiable system designs, using Spin as the model checker.