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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Valentino, C.A.: Progress Monitoring for the Field Operations of the 2007 Philipine Cencus of Population, National Statistics Office, Philipines, December 10-12 (2007)
Mee, V.N., Selamat, A.: SMS Management System for Direct Sales and Network Marketing. In: Fifth International Conference on Information Technology in Asia (CITA 2007) (2007)
Shengguang, M., Wei, C., Gang, L., Shitong, W., Liu, W.: An Asset management System based on RFID, WebGIS and SMS. In: 2nd International Conference on Ubiquitous Information Management & Communication (ICUIMC 2008) (2008)
Messaging (2009), http://www.gsmworld.com/gsmdata
Chaki, S., Clarke, E., Sharygina, N., Sinha, N.: Verification of Evolving Software via Component, Substitutability Analysis. Springer Science+Business Media, LLC (2008)
Bollig, B.: Formal Models of Communicating Systems. Springer Science+Business Media (2006)
Eugenio, D.S., Francesco, M.D., Marina, M., Giacomo, P.: Web applications design and maintenance using Symbolic Model Checking. In: Proceedings of the Seventh European Conference on Software Maintenance and Reeingineering (CSMR 2003). IEEE, Los Alamitos (2003)
Yu, Y., Li, X.: A workflow model with temporal logic constrains and its automated verification. In: The Sixth International Conference on Grid and Cooperative Computing (GCC 2007). IEEE, Los Alamitos (2007)
Clarke Jr., E.M., Grumberg, O., Peled, A.D.: Model Checking. MIT Press, Cambridge (1999)
Anderson, B.B., Hansen, J.V., Lowry, P.B., Summers, S.L.: Model Checking for design and assurance of e-Business processes. Decision Support Systems 39, 333–344 (2005)
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L.: Systems and Software Verification Model Checking Techniques and Tools. Springer, Heidelberg (2001)
Katoen, J.P.: Concept, Algorithms and Tools for Model Checking. Lecture Notes of Course, vol. 32, pp. 31–36 (1999)
Bang Ki, S., Jin Hyun, W., Yoo, C., Choi Jin, Y.: System Resource Utilization Analysis based on Model Checking Method. An International Journal of Computing and Informatics (Informatica) (2005)
Xiao, M., Li, J.: The Modeling Analysis of Cryptographic Protocols using Promela. In: Proceeding of the 6th World Congress on Intelligent Control and Automation. IEEE, Los Alamitos (2006)
Bujang, A.S.D., Selamat, A.: Verification of Mobile SMS Application with Model Checking Agent. In: Eighth International Conference on Intelligent Systems Design and Applications( ISDA 2008). IEEE, Los Alamitos (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Selamat, A., Bujang, S.D.A., Selamat, M.H. (2009). Agent Verification Design of Short Text Messaging System Using Formal Method. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2009. Lecture Notes in Computer Science(), vol 5559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01665-3_51
Download citation
DOI: https://doi.org/10.1007/978-3-642-01665-3_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01664-6
Online ISBN: 978-3-642-01665-3
eBook Packages: Computer ScienceComputer Science (R0)