Abstract
Real-time multi-agent systems represent a promising area in the computer science domain. The majority of works realized in such a domain have been developed without tacking into account the formal specification of agent model. Formalizing real time multi-agent systems may offer a solid basis for their verification and validation. We present, in this paper, a formal approach supporting the specification and validation of ARTIS agent using RT-Maude. Based on rewriting logic, RT-Maude is an extension of Maude for specifying and analyzing the real-time and the hybrid systems. Maude is powerful language based on rewriting logic for specifying and analyzing of concurrent systems. Thus, RT-Maude seems to be an appropriate tool for specification, validation and verification of real-time multi-agent systems. The proposed approach essentially allows: (1) translating the description of ARTIS agent, in a RT-Maude specification and, (2) providing a sound description preserving the coherence and supporting their validation process. The generated RT-Maude specifications are validated by simulation. A case study is presented to illustrate the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kefalas, P., Holcombe, M., Eleftherakis, G., Gheorghe, M.: A Formal Method for the Development of Agent-Based Systems. In: Plekhanova, V. (ed.) Intelligent Agent Software Engineering. IDEA Group Publishing, USA (2003)
Duvallet, C., Sadeg, B., Cardon, A.: How to build real-time multi agent system with anytime techniques. In: Computers and Their Applications 2000, pp. 325–329 (2000)
Botti, V., Carrascosa, C., Julian, V., Soler, J.: The ARTIS Agent Architecture: Modelling Agents in Hard Real-Time Environments. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol. 1647, pp. 63–76. Springer, Heidelberg (1999)
Julian, V., Carrascosa, C., Robello, M., Soler, J., Botti, V.: SIMBA: an approach for Real-Time Multi-Agent Systems. In: Escrig, M.T., Toledo, F.J., Golobardes, E. (eds.) CCIA 2002. LNCS (LNAI), vol. 2504. Springer, Heidelberg (2002)
Julian, V., Botti, V.: Developing real time multi agents systems. Integrated Computer-Aided Engineering 11, 135–149 (2004)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: aude Manuel (version 2.3) (July 2007), http://maude.cs.uiuc.edu/maude2-manual/html/index.html
Mokhati, F., Boudiaf, N., Badri, M., Badri, L.: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 6(4) (May-June 2007), http://www.jot.fm/issues/issue_2007_05/article2/
Carrascosa, C., Bajo, J., Julian, V., Corchado, J.M., Botti, V.: Hybrid multi-agent architecture as a real-time problem-solving model. Expert Syst. Appl. 34(1), 2–17 (2008)
Soler, J., Julian, V., Carrascosa, C., Botti, V.: Applying the ARTIS Architecture to Mobile Robot Control. In: IBERAMIA-SBIA 2000, pp. 359–368 (2000)
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
Marir, T., Mokhati, F., Seridi-Bouchelaghem, H. (2009). Formalizing ARTIS Agent Model Using RT-Maude. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds) Multiagent System Technologies. MATES 2009. Lecture Notes in Computer Science(), vol 5774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04143-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-04143-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04142-6
Online ISBN: 978-3-642-04143-3
eBook Packages: Computer ScienceComputer Science (R0)