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.

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