loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Toufik Marir 1 ; Farid Mokhati 2 and Hassina Seridi-Bouchelaghem 3

Affiliations: 1 University Of Oum El Bouaghi, Algeria ; 2 Université Larbi ben M'hidi-Ouml el bouaghi Algérie, Algeria ; 3 University Of Annaba, Algeria

ISBN: 978-989-8565-38-9

Keyword(s): Formal Specification, Real-time Multi-Agent System, Real-time Maude, SIMBA.

Related Ontology Subjects/Areas/Topics: Agent Models and Architectures ; Agents ; Artificial Intelligence ; Programming Environments and Languages ; SOA and Software Agents

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.170.81.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.