Hybrid multi-agent architecture as a real-time problem-solving model
Expert Systems with Applications: An International Journal
Developing real-time multi-agent systems
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
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 RTMaude. 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.