Formalizing SIMBA RTMAS Models using Real-time Maude

Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem

2013

Abstract

Multi-agent systems paradigm is the most appropriate one to developing complex systems. Consequently, it is used to develop real-time intelligent systems which are one of complex systems categories. In the literature, several works have been proposed for formalizing many aspects of multi-agent systems. However, the application of formal methods upon real-time multi–agent systems (RTMAS) (where the time is the primordial aspect) stills in the immaturity stage. In this paper, we present the formalization of SIMBA real-time multi-agent systems using Real-Time Maude language as a main stone for formal development of based-SIMBA systems.

References

  1. Clavel, M., Durán, F., Eker, E., Lincoln, P., Martí-Oliet, N., Meseguer, J., and Talcott, C., L., (Eds.), 2007, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350. Springer.
  2. Julian, V., Carrascosa, C., Robello, M., Soler, J., and Botti. V., 2002., SIMBA: An Approach For Real Time Multi Agents Systems, In Proc. of V Conferncia Catalana d'Intelligncia Artificial, Castell. SpringerVerlage.
  3. Hutzler, G., Claudel, H., Wang, D., Y., 2004, Designing Real-Time Multi-Agent Systems Using Timed Automata, In Ghidiniet, C., al (Eds) EUMAS'04.
  4. Marir, T., Mokhati, F., and Seridi-Bouchelaghem, H., 2009, Formalizing ARTIS Agent Model using RTMaude, In L. Braubach and al. (Eds.): MATES 2009, LNAI 5774, pp. 226-231.
  5. Moscato F., Venticinque, S., Aversa, R., and Di Martino, B., 2008, Formal Modeling and Verification of RealTime Multi-Agent Systems: The REMM Framework, In Badica C., et al. (Eds.): Intel. Distributed Comput., Systems & Appl., SCI 162, pp. 187-196.
  6. Ölveczky. P., C., 2000, Specifying And Analysis of RealTime And Hybrid Systems In Rewriting Logic. Dr. Scient. Thesis, Department of Computer Science, University of Bergen.
  7. Ölveczky, P., Meseguer, J., 2007. Semantics and pragmatics of Real-Time Maude, In Higher-Order and Symbolic Computation, Volume 20 Issue 1-2, June 2007, Pages 161 - 196.
  8. Zhang, L., 2006, Development Method for Multi-Agent Real-Time Systems, In International Journal Of Information Technology, Vol. 12, No. 5, 19-28.
Download


Paper Citation


in Harvard Style

Marir T., Mokhati F. and Seridi-Bouchelaghem H. (2013). Formalizing SIMBA RTMAS Models using Real-time Maude . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8565-38-9, pages 411-414. DOI: 10.5220/0004259904110414


in Bibtex Style

@conference{icaart13,
author={Toufik Marir and Farid Mokhati and Hassina Seridi-Bouchelaghem},
title={Formalizing SIMBA RTMAS Models using Real-time Maude},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2013},
pages={411-414},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004259904110414},
isbn={978-989-8565-38-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Formalizing SIMBA RTMAS Models using Real-time Maude
SN - 978-989-8565-38-9
AU - Marir T.
AU - Mokhati F.
AU - Seridi-Bouchelaghem H.
PY - 2013
SP - 411
EP - 414
DO - 10.5220/0004259904110414