Universiti Teknologi Malaysia Institutional Repository

Agent verification design of short text messaging system using formal method

Selamat, Ali and A. Bujang, S. D. and Selamat, Md. Hafiz (2009) Agent verification design of short text messaging system using formal method. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Elsevier, pp. 514-522. ISBN 3642016642; 978-364201664-6

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-3-642-01665-3_51


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.

Item Type:Book Section
Additional Information:3rd KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2009; Uppsala; 3 June 2009 through 5 June 2009; ISSN : 03029743
Uncontrolled Keywords:agent based, agent-based systems, hardware and software, internet based, model checker, network traffic, short message services, system design, text messaging, verification method
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Computer Science and Information System (Formerly known)
ID Code:12950
Deposited By: Zalinda Shuratman
Deposited On:07 Jul 2011 07:51
Last Modified:04 Oct 2017 06:43

Repository Staff Only: item control page