loading
Papers Papers/2022 Papers Papers/2022

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

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.

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 44.192.16.116

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; ISSN 2184-433X, SciTePress, 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},
issn={2184-433X},
}

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
IS - 2184-433X
AU - Marir, T.
AU - Mokhati, F.
AU - Seridi-Bouchelaghem, H.
PY - 2013
SP - 411
EP - 414
DO - 10.5220/0004259904110414
PB - SciTePress